From fb707827c172daf8344f90ee5b7ea0c1634d48cd Mon Sep 17 00:00:00 2001 From: CompatHelper Julia Date: Fri, 7 Jul 2023 00:58:06 +0000 Subject: [PATCH 01/54] CompatHelper: add new compat entry for Nemo at version 0.35, (keep existing compat) --- Project.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/Project.toml b/Project.toml index d68e391..9bbf864 100644 --- a/Project.toml +++ b/Project.toml @@ -14,6 +14,7 @@ Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" [compat] +Nemo = "0.35" StatsBase = "0.34" julia = "1.1" From e4b6768db8141fecb6562b921a088b3141e38309 Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 3 Aug 2023 00:09:55 +0200 Subject: [PATCH 02/54] make.jl deploydocs --- docs/make.jl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index c356373..27cd2b4 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -39,5 +39,8 @@ makedocs(; deploydocs(; repo="github.com/singular-gpispace/GromovWitten.git", - devbranch="main", + branch = "gh-pages", + devbranch="dev", + devurl = "dev", + ) From 679c5831cd9a2356d15ca63b396c7a1984a3f05e Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 3 Aug 2023 00:17:35 +0200 Subject: [PATCH 03/54] update manifest --- Manifest.toml | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 281df89..b799d0a 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.1" manifest_format = "2.0" -project_hash = "02c7692aedfc4a563196c874993ae67f99fe6a8d" +project_hash = "7260334df26664c7ba8101b9011582918f392546" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" @@ -57,9 +57,9 @@ version = "0.401.100+0" [[deps.CodeTracking]] deps = ["InteractiveUtils", "UUIDs"] -git-tree-sha1 = "d730914ef30a06732bdd9f763f6cc32e92ffbff1" +git-tree-sha1 = "8dd599a2fdbf3132d4c0be3a016f8f1518e28fa8" uuid = "da1fd8a2-8d9e-5ec2-8556-3022fb5608a2" -version = "1.3.1" +version = "1.3.2" [[deps.Combinatorics]] git-tree-sha1 = "08c8b6831dc00bfea825826be0bc8336fc369860" @@ -68,9 +68,9 @@ version = "1.0.2" [[deps.Compat]] deps = ["UUIDs"] -git-tree-sha1 = "4e88377ae7ebeaf29a047aa1ee40826e0b708a5d" +git-tree-sha1 = "e460f044ca8b99be31d35fe54fc33a5c33dd8ed7" uuid = "34da2185-b29b-5c13-b0c7-acf172513d20" -version = "4.7.0" +version = "4.9.0" weakdeps = ["Dates", "LinearAlgebra"] [deps.Compat.extensions] @@ -267,9 +267,9 @@ version = "2022.10.11" [[deps.Nemo]] deps = ["AbstractAlgebra", "Antic_jll", "Arb_jll", "Calcium_jll", "FLINT_jll", "Libdl", "LinearAlgebra", "Pkg", "Random", "RandomExtensions", "SHA"] -git-tree-sha1 = "80519dc5fb552ba5df38585aebce1f7b08ece02f" +git-tree-sha1 = "ec53c3b5dd3bd16a8b1d5b7edfb89246e2d2c5b6" uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a" -version = "0.35.1" +version = "0.35.3" [[deps.NetworkOptions]] uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" @@ -293,9 +293,9 @@ version = "1.6.2" [[deps.Parsers]] deps = ["Dates", "PrecompileTools", "UUIDs"] -git-tree-sha1 = "4b2e829ee66d4218e0cef22c0a64ee37cf258c29" +git-tree-sha1 = "716e24b21538abc91f6205fd1d8363f39b442851" uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0" -version = "2.7.1" +version = "2.7.2" [[deps.Pkg]] deps = ["Artifacts", "Dates", "Downloads", "FileWatching", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"] From 8a92bfae0bf787b2186c0a483f9e6df1e1de20e0 Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 3 Aug 2023 09:24:26 +0200 Subject: [PATCH 04/54] make.jl --- docs/make.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/make.jl b/docs/make.jl index 27cd2b4..50b1009 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -39,6 +39,7 @@ makedocs(; deploydocs(; repo="github.com/singular-gpispace/GromovWitten.git", + target = "build", branch = "gh-pages", devbranch="dev", devurl = "dev", From 282c095f857847952de74d82bd17ce1225b9c961 Mon Sep 17 00:00:00 2001 From: blociss Date: Tue, 24 Oct 2023 20:47:37 +0200 Subject: [PATCH 05/54] dev_new --- src/GromovWitten.jl | 2 +- src/coefterm.jl | 150 +++++++++++++++++++++++++++++++------ src/feynmanIntegral.jl | 164 ++++++++++++++++++++++++++++++++++++++++- 3 files changed, 289 insertions(+), 27 deletions(-) diff --git a/src/GromovWitten.jl b/src/GromovWitten.jl index 597f7fd..108c7b0 100644 --- a/src/GromovWitten.jl +++ b/src/GromovWitten.jl @@ -14,7 +14,7 @@ sum_of_divisor_powers,express_as_eisenstein_series,express_as_powers,polynomial_ solve_polynomial_system, quasi_matrix,sfunction,inv_sfunction export eisenstein_series,quasimodular_form export cache_integral_result, get_integral_from_cache, feynman_integral_branch_type_cache, feynman_integral_degree_cache,feynman_integral_degree_sum_cache - +export feynman_integral,generate_permutation,find_equal_pairs,vector_to_monomial,replace,feynman_integral_deg include("graph.jl") include("coeftermV.jl") include("coefterm.jl") diff --git a/src/coefterm.jl b/src/coefterm.jl index 88c4e7b..66dc199 100644 --- a/src/coefterm.jl +++ b/src/coefterm.jl @@ -23,6 +23,20 @@ p=coeff(p,x,L) # compute the coefficients of degree x1^l1,...,xn^ln. return p end =# +function replace(vector) + result_vector = [x == -1 ? 0 : (x == 0 ? -1 : x) for x in vector] + return result_vector +end +function count_zero(arr) + count_zeros = 0 + + for element in arr + if element == 0 + count_zeros += 1 + end + end + return count_zeros +end @doc raw""" partition(k::Integer, n::Integer) @@ -95,8 +109,7 @@ function flip_signature(G::FeynmanGraph ,p::Vector{Int64},a::Vector{Int64}) #gra b[i] = ai end end - -return b + return b end function signature_and_multiplicities_order(G::FeynmanGraph, a::Vector{Int64},o::Vector) b=Vector{Tuple{Int64, Vector{Int64}}}() @@ -123,32 +136,121 @@ julia> signature_and_multiplicities(G,a) (1, [-2, -1, -1, 1]) ``` """ -function signature_and_multiplicities( G::FeynmanGraph, a::Vector{Int64}) - ee=Edge.(G.edge) - p=Vector{Int64}() - b=Vector{Tuple{Int64, Vector{Int64}}}() - l=zeros(Int,nv(G)) - y=Vector{Vector{Int64}}() - for (ev,ai) in zip(ee,a) - if ai==0 && src(ev) != dst(ev) - l[src(ev)] =1 - l[dst(ev)] =1 +function signature_and_multiplicities(G::FeynmanGraph, a::Vector{Int64}) + ee = Edge.(G.edge) + p = Vector{Int64}() + b = Vector{Tuple{Int64, Vector{Int64}}}() + l = zeros(Int, nv(G)) + y = Vector{Vector{Int64}}() + if count_zero(a)<=1 + push!(b,(factorial( nv(G)) ,a)) + return b + else + for (ev,ai) in zip(ee,a) + if ai==0 && src(ev) != dst(ev) + l[src(ev)] =1 + l[dst(ev)] =1 + end end - end - for (i,li) in enumerate(l) - if li==1 - push!(p,i) + #println(l) + + for (i,li) in enumerate(l) + if li==1 + push!(p,i) + end + end + p=collect(permutations(p)) + + for ga in p + fl=flip_signature(G,ga,a) + push!(y,fl) + end + dd=div(factorial( nv(G) ) , length( p ) ) + py=countmap(y) + for (key, val) in py + push!(b, (dd*val,key )) end - end - p=collect(permutations(p)) + if length(b) == 1 + return b + else + group = Vector{Tuple{Int64, Vector{Int64}}}() + + for (n, values1) in b + mm = 2 * n + if (n, values1) in group || (mm, values1) in group + continue + end + + equiv = false + + for (m, values2) in b + if (m, values2) in group || (2 * m, values2) in group + continue + end - for ga in p - push!(y,flip_signature(G,ga,a)) + if n == m && values2 == replace(values1) + equiv = true + break + end + end + + mn = 2 * n + + if equiv + push!(group, (mm, values1)) + end + end + + # Convert Set to Vector for consistency with the original return type + return group + end + end +end + + +function find_equal_pairs(ve::Vector{Tuple{Int64, Int64}}) + equal_pairs = Dict{Tuple{Int, Int}, Vector{Int}}() + for (i, pair) in enumerate(ve) + if haskey(equal_pairs, pair) + push!(equal_pairs[pair], i) + else + equal_pairs[pair] = [i] + end end - dd=div(factorial( nv(G) ) , length( p ) ) - for (key, val) in countmap(y) - push!(b,( val*dd, key) ) + indices = [v for v in values(equal_pairs) if length(v) > 1] + return indices +end +function vector_to_monomial(F::FeynmanIntegral,v::Vector{Int64}) + S=@polynomial_ring(QQ, x[1:nv(F.G)], q[1:ne(F.G)], z[1:nv(F.G)]) + q=S[3] + v = 2 * v + vec=[] + for i in eachindex(v) + push!(vec,q[i]^v[i]) end - return b + poly = prod(vec) + return poly end +function generate_permutation(l::Vector{Int64}, indices::Vector{Vector{Int64}}) + original_l = copy(l) + permuted_lists = Set{Vector{Int64}}() # Use a Set to ensure uniqueness + group_permutations = [] + + for group_indices in indices + group_elements = l[group_indices] + push!(group_permutations, collect(permutations(group_elements))) + end + + # Generate permutations for each group + for permuted_indices in Iterators.product(group_permutations...) + temp_l = copy(original_l) + for (i, group_indices) in enumerate(indices) + for (j, idx) in enumerate(group_indices) + temp_l[idx] = permuted_indices[i][j] + end + end + push!(permuted_lists, temp_l) + end + return collect(permuted_lists) +end \ No newline at end of file diff --git a/src/feynmanIntegral.jl b/src/feynmanIntegral.jl index b94250e..924f440 100644 --- a/src/feynmanIntegral.jl +++ b/src/feynmanIntegral.jl @@ -306,7 +306,113 @@ julia> feynman_integral_degree(F,3,g) 115//3*q[1]^6 + 1//4*q[1]^4*q[2]^2 + 1//4*q[1]^4*q[3]^2 + 1//4*q[1]^2*q[2]^4 + 1//2*q[1]^2*q[2]^2*q[3]^2 + 1//4*q[1]^2*q[3]^4 + 115//3*q[2]^6 + 1//4*q[2]^4*q[3]^2 + 1//4*q[2]^2*q[3]^4 + 115//3*q[3]^6 ``` """ - function feynman_integral_degree( F::FeynmanIntegral,d::Integer ;l=zeros(Int,nv(F.G))) + function feynman_integral_degree(F::FeynmanIntegral, d::Int64 ; l=zeros(Int, nv(F.G)) ) + # ve==F.G.edge + indices = find_equal_pairs(F.G.edge) + if isempty(indices) + return feynman_integral_deg(F,d;l) + else + ee=Edge.(F.G.edge) + + re = Vector{Vector{Any}}() + res = [] + L = partition(length(ee), d) + + while !isempty(L) + ll = popfirst!(L) + + found = false + + for sublist in re + if ll in sublist + found = true + break + end + end + + if !found + ge = generate_permutation(ll, indices) + L = setdiff(L, ge) # Remove the processed partition from L + if length(ge) == 1 + kk= ge[1] + push!(res, feynman_integral_branch_type(F, kk;l)) + else + k=ge[1] + f = feynman_integral_branch_type(F, k;l) + if f != 0 + push!(res, f) + c1 = collect(coefficients(f))[1] + for i in eachindex(ge)[2:end] + li = ge[i] + r2 = c1 * vector_to_monomial(F,li) + push!(res, r2) + + end + end + end + end + end + if isempty(res) + return 0 + else + return sum(res) + end + end + end + function feynman_integral_degree( F::FeynmanIntegral,d::Integer,g::Vector{Int} ;aa=1,l=zeros(Int,nv(F.G)) ) + # ve==F.G.edge + indices = find_equal_pairs(F.G.edge) + if isempty(indices) + return feynman_integral_deg(F,d,g;aa,l) + else + ee=Edge.(F.G.edge) + + re = Vector{Vector{Any}}() + res = [] + L = partition(length(ee), d) + + while !isempty(L) + ll = popfirst!(L) + + found = false + + for sublist in re + if ll in sublist + found = true + break + end + end + + if !found + ge = generate_permutation(ll, indices) + L = setdiff(L, ge) # Remove the processed partition from L + if length(ge) == 1 + kk= ge[1] + push!(res, feynman_integral_branch_type(F, kk,g;aa,l)) + else + k=ge[1] + f = feynman_integral_branch_type(F, k,g;aa,l) + if f != 0 + push!(res, f) + c1 = collect(coefficients(f))[1] + for i in eachindex(ge)[2:end] + li = ge[i] + r2 = c1 * vector_to_monomial(F,li) + push!(res, r2) + + end + end + end + end + end + if isempty(res) + return 0 + else + return sum(res) + end + end + end + function feynman_integral_deg( F::FeynmanIntegral,d::Integer ;l=zeros(Int,nv(F.G))) ee=Edge.(F.G.edge) a=partition(length(ee),d) sum=0 @@ -315,7 +421,7 @@ julia> feynman_integral_degree(F,3,g) end return sum end -function feynman_integral_degree( F::FeynmanIntegral,d::Integer,g ;aa=1,l=zeros(Int,nv(F.G))) +function feynman_integral_deg( F::FeynmanIntegral,d::Integer,g ;aa=1,l=zeros(Int,nv(F.G))) ee=Edge.(F.G.edge) a=partition(length(ee),d) sum=0 @@ -493,3 +599,57 @@ julia> substitute(f) end return evaluate(p,r) end + +function feynman_integral_degree(F::FeynmanIntegral, d::Int64 ; l=zeros(Int, nv(F.G)) ) + # ve==F.G.edge + indices = find_equal_pairs(F.G.edge) + if isempty(indices) + return feynman_integral_deg(F,d;l) + else + ee=Edge.(F.G.edge) + + re = Vector{Vector{Any}}() + res = [] + L = partition(length(ee), d) + + while !isempty(L) + ll = popfirst!(L) + + found = false + + for sublist in re + if ll in sublist + found = true + break + end + end + + if !found + ge = generate_permutation(ll, indices) + L = setdiff(L, ge) # Remove the processed partition from L + if length(ge) == 1 + kk= ge[1] + push!(res, feynman_integral_branch_type(F, kk;l)) + else + k=ge[1] + f = feynman_integral_branch_type(F, k;l) + if f != 0 + push!(res, f) + c1 = collect(coefficients(f))[1] + for i in eachindex(ge)[2:end] + li = ge[i] + r2 = c1 * vector_to_monomial(F,li) + push!(res, r2) + + end + end + end + end + end + if isempty(res) + return 0 + else + return sum(res) + end + end +end \ No newline at end of file From 827dae412f27c8409d29dd6c4454ff96ddc1ef1a Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 25 Oct 2023 08:50:22 +0200 Subject: [PATCH 06/54] length to eachindex --- .github/workflows/CI.yml | 1 + .github/workflows/document.yml | 1 + docs/src/quasimodular.md | 13 ++- src/feynmanIntegral.jl | 184 +++++++++++++++++++++------------ test/feynmanint.jl | 2 +- 5 files changed, 132 insertions(+), 69 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index e3ad0b8..ed10bd1 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -3,6 +3,7 @@ on: push: branches: - main + - dev_new tags: ['*'] pull_request: jobs: diff --git a/.github/workflows/document.yml b/.github/workflows/document.yml index 2f4a88e..8d7abd1 100644 --- a/.github/workflows/document.yml +++ b/.github/workflows/document.yml @@ -3,6 +3,7 @@ on: push: branches: - main + - dev_new tags: ['*'] pull_request: jobs: diff --git a/docs/src/quasimodular.md b/docs/src/quasimodular.md index f504979..334bda4 100644 --- a/docs/src/quasimodular.md +++ b/docs/src/quasimodular.md @@ -56,10 +56,19 @@ julia> R,q=@polynomial_ring(QQ,q) (Multivariate polynomial ring in 1 variable over QQ, q) ``` - we compute quasimodular form of Iq : + + + + +```jldoctest quasi +julia> Iqq=886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 + 32*q^4 +886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 + 32*q^4 +``` + +we compute quasimodular form of Iq : ```jldoctest quasi -julia> quasimodular_form(q,Iq,12) +julia> quasimodular_form(Iqq,12) (1//93312, -3*E2^6 + 6*E2^4*E4 + 4*E2^3*E6 - 3*E2^2*E4^2 - 12*E2*E4*E6 + 4*E4^3 + 4*E6^2) ``` diff --git a/src/feynmanIntegral.jl b/src/feynmanIntegral.jl index 924f440..cc70667 100644 --- a/src/feynmanIntegral.jl +++ b/src/feynmanIntegral.jl @@ -43,10 +43,10 @@ function feynman_integral_branch_type(F::FeynmanIntegral, a::Vector{Int64}; l=ze x = F.S[2] # Vector of elements x from the polynomial ring R q = F.S[3] # Vector of elements q from the polynomial ring R - for i in 1:length(f) + for i in eachindex(f) tmp = 1 # Use the identity element of the polynomial ring R - for j in 1:length(f[i][2]) + for j in eachindex(f[i][2]) if f[i][2][j] == -1 tmp *= constterm(x[src(ee[j])], x[dst(ee[j])], N) elseif f[i][2][j] == 0 @@ -72,13 +72,13 @@ function feynman_integral_branch_type(F::FeynmanIntegral, a::Vector{Int64},g::Ve z = F.S[4] # Vector of elements z from the polynomial ring R sz=1 g=2 .* g - for k in 1:length(l) + for k in eachindex(l) sz=sz*filter_term(inv_sfunction(z[k],aa),z,g) end sz=filter_term(sz,z,g) - for i in 1:length(f) + for i in eachindex(f) tmp=1 - for j in 1:length(f[i][2]) + for j in eachindex(f[i][2]) if f[i][2][j] == -1 tmp = tmp * filter_term(constterm(x[src(ee[j])], x[dst(ee[j])], z[src(ee[j])], z[dst(ee[j])],aa,N),z,g) @@ -152,10 +152,10 @@ function feynman_integral_branch_type_order(F::FeynmanIntegral, a::Vector{Int64} q = F.S[3] # Vector of elements q from the polynomial ring R - for i in 1:length(f) + for i in eachindex(f) tmp = 1 # Use the identity element of the polynomial ring R - for j in 1:length(f[i][2]) + for j in eachindex(f[i][2]) if f[i][2][j] == -1 tmp *= constterm(x[src(ee[j])], x[dst(ee[j])], N) elseif f[i][2][j] == 0 @@ -184,13 +184,13 @@ function feynman_integral_branch_type_order(F::FeynmanIntegral, a::Vector{Int64} sz=1 g=2 .* g - for k in 1:length(l) + for k in eachindex(l) sz=sz*filter_term(inv_sfunction(z[k],aa),z,g) end sz=filter_term(sz,z,g) - for i in 1:length(f) + for i in eachindex(f) tmp=1 - for j in 1:length(f[i][2]) + for j in eachindex(f[i][2]) if f[i][2][j] == -1 tmp = tmp * filter_term(constterm(x[src(ee[j])], x[dst(ee[j])], z[src(ee[j])], z[dst(ee[j])],aa,N),z,g) @@ -252,7 +252,113 @@ julia> feynman_integral_degree_order(F,Ω,3,g) 1//24*q[1]^4*q[2]^2 + 1//24*q[1]^4*q[3]^2 + 1//24*q[1]^2*q[2]^4 + 1//12*q[1]^2*q[2]^2*q[3]^2 + 1//24*q[1]^2*q[3]^4 + 1//24*q[2]^4*q[3]^2 + 1//24*q[2]^2*q[3]^4 + 115//6*q[3]^6 ``` """ -function feynman_integral_degree_order(F::FeynmanIntegral,o::Vector{Int64},d::Integer;l=zeros(Int,nv(F.G))) +function feynman_integral_degree_order( F::FeynmanIntegral,o::Vector{Int64},d::Integer,;l=zeros(Int,nv(F.G)) ) + # ve==F.G.edge + indices = find_equal_pairs(F.G.edge) + if isempty(indices) + return feynman_integral_deg_order(F,o,d;l) + else + ee=Edge.(F.G.edge) + + re = Vector{Vector{Any}}() + res = [] + L = partition(length(ee), d) + + while !isempty(L) + ll = popfirst!(L) + + found = false + + for sublist in re + if ll in sublist + found = true + break + end + end + + if !found + ge = generate_permutation(ll, indices) + L = setdiff(L, ge) # Remove the processed partition from L + if length(ge) == 1 + kk= ge[1] + push!(res, feynman_integral_branch_type_order(F, kk,o;l)) + else + k=ge[1] + f = feynman_integral_branch_type_order(F, k,o;l) + if f != 0 + push!(res, f) + c1 = collect(coefficients(f))[1] + for i in eachindex(ge)[2:end] + li = ge[i] + r2 = c1 * vector_to_monomial(F,li) + push!(res, r2) + + end + end + end + end + end + if isempty(res) + return 0 + else + return sum(res) + end + end + end +function feynman_integral_degree_order( F::FeynmanIntegral,o::Vector{Int64},d::Integer,g::Vector{Int} ;aa=1,l=zeros(Int,nv(F.G)) ) + # ve==F.G.edge + indices = find_equal_pairs(F.G.edge) + if isempty(indices) + return feynman_integral_deg_order(F,o,d,g;aa,l) + else + ee=Edge.(F.G.edge) + + re = Vector{Vector{Any}}() + res = [] + L = partition(length(ee), d) + + while !isempty(L) + ll = popfirst!(L) + + found = false + + for sublist in re + if ll in sublist + found = true + break + end + end + + if !found + ge = generate_permutation(ll, indices) + L = setdiff(L, ge) # Remove the processed partition from L + if length(ge) == 1 + kk= ge[1] + push!(res, feynman_integral_branch_type_order(F, kk,o,g;aa,l)) + else + k=ge[1] + f = feynman_integral_branch_type_order(F, k,o,g;aa,l) + if f != 0 + push!(res, f) + c1 = collect(coefficients(f))[1] + for i in eachindex(ge)[2:end] + li = ge[i] + r2 = c1 * vector_to_monomial(F,li) + push!(res, r2) + + end + end + end + end + end + if isempty(res) + return 0 + else + return sum(res) + end + end + end +function feynman_integral_deg_order(F::FeynmanIntegral,o::Vector{Int64},d::Integer;l=zeros(Int,nv(F.G))) ee=Edge.(F.G.edge) a=partition(length(ee),d) sum=0 @@ -261,7 +367,7 @@ function feynman_integral_degree_order(F::FeynmanIntegral,o::Vector{Int64},d::In end return sum end -function feynman_integral_degree_order(F::FeynmanIntegral,o::Vector{Int64},d::Integer,g;aa=1,l=zeros(Int,nv(F.G))) +function feynman_integral_deg_order(F::FeynmanIntegral,o::Vector{Int64},d::Integer,g;aa=1,l=zeros(Int,nv(F.G))) ee=Edge.(F.G.edge) a=partition(length(ee),d) sum=0 @@ -599,57 +705,3 @@ julia> substitute(f) end return evaluate(p,r) end - -function feynman_integral_degree(F::FeynmanIntegral, d::Int64 ; l=zeros(Int, nv(F.G)) ) - # ve==F.G.edge - indices = find_equal_pairs(F.G.edge) - if isempty(indices) - return feynman_integral_deg(F,d;l) - else - ee=Edge.(F.G.edge) - - re = Vector{Vector{Any}}() - res = [] - L = partition(length(ee), d) - - while !isempty(L) - ll = popfirst!(L) - - found = false - - for sublist in re - if ll in sublist - found = true - break - end - end - - if !found - ge = generate_permutation(ll, indices) - L = setdiff(L, ge) # Remove the processed partition from L - if length(ge) == 1 - kk= ge[1] - push!(res, feynman_integral_branch_type(F, kk;l)) - else - k=ge[1] - f = feynman_integral_branch_type(F, k;l) - if f != 0 - push!(res, f) - c1 = collect(coefficients(f))[1] - for i in eachindex(ge)[2:end] - li = ge[i] - r2 = c1 * vector_to_monomial(F,li) - push!(res, r2) - - end - end - end - end - end - if isempty(res) - return 0 - else - return sum(res) - end - end -end \ No newline at end of file diff --git a/test/feynmanint.jl b/test/feynmanint.jl index 675c383..a853c1e 100644 --- a/test/feynmanint.jl +++ b/test/feynmanint.jl @@ -12,5 +12,5 @@ @test feynman_integral_branch_type(F,a,l=[0,0,0])==6*q[1]^4*q[4]^2 @test feynman_integral_degree_order(F,o,3,l=[0,0,0])==3*q[1]^4*q[4]^2+ q[1]^2*q[2]^2*q[3]^2+ q[1]^2*q[2]^2*q[4]^2+ q[1]^2*q[3]^2*q[4]^2+ 9*q[1]^2*q[4]^4 @test sum_of_coeff(feynman_integral_degree_order(F,o,3))==15 - @test sum_of_coeff(feynman_integral_degree(F ,3))==90 + @test sum_of_coeff(feynman_integral_degree(F ,3))==72 end \ No newline at end of file From 7e12dcc9383bfe423595b15eb15653dc9e6b7744 Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 25 Oct 2023 08:57:17 +0200 Subject: [PATCH 07/54] m --- Manifest.toml | 112 ++++++++++++++++++++++++++++++-------------------- 1 file changed, 67 insertions(+), 45 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 53b8fa0..730125a 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -1,6 +1,6 @@ # This file is machine-generated - editing it directly is not advised -julia_version = "1.9.1" +julia_version = "1.9.3" manifest_format = "2.0" project_hash = "02c7692aedfc4a563196c874993ae67f99fe6a8d" @@ -11,9 +11,14 @@ version = "0.0.1" [[deps.AbstractAlgebra]] deps = ["GroupsCore", "InteractiveUtils", "LinearAlgebra", "MacroTools", "Preferences", "Random", "RandomExtensions", "SparseArrays", "Test"] -git-tree-sha1 = "0eb58a9abe767f5813194a2610b5295c2d22ce9d" +git-tree-sha1 = "ce0cb2804273e9147a765501c719038247d7ccd9" uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" -version = "0.31.0" +version = "0.33.0" + +[[deps.AbstractTrees]] +git-tree-sha1 = "faa260e4cb5aba097a73fab382dd4b5819d8ec8c" +uuid = "1520ce14-60c1-5f80-bbc7-55ef81b5835c" +version = "0.4.4" [[deps.Antic_jll]] deps = ["Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"] @@ -57,9 +62,9 @@ version = "0.401.100+0" [[deps.CodeTracking]] deps = ["InteractiveUtils", "UUIDs"] -git-tree-sha1 = "8dd599a2fdbf3132d4c0be3a016f8f1518e28fa8" +git-tree-sha1 = "c0216e792f518b39b22212127d4a84dc31e4e386" uuid = "da1fd8a2-8d9e-5ec2-8556-3022fb5608a2" -version = "1.3.2" +version = "1.3.5" [[deps.Combinatorics]] git-tree-sha1 = "08c8b6831dc00bfea825826be0bc8336fc369860" @@ -68,9 +73,9 @@ version = "1.0.2" [[deps.Compat]] deps = ["UUIDs"] -git-tree-sha1 = "e460f044ca8b99be31d35fe54fc33a5c33dd8ed7" +git-tree-sha1 = "8a62af3e248a8c4bad6b32cbbe663ae02275e32c" uuid = "34da2185-b29b-5c13-b0c7-acf172513d20" -version = "4.9.0" +version = "4.10.0" weakdeps = ["Dates", "LinearAlgebra"] [deps.Compat.extensions] @@ -79,7 +84,7 @@ weakdeps = ["Dates", "LinearAlgebra"] [[deps.CompilerSupportLibraries_jll]] deps = ["Artifacts", "Libdl"] uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae" -version = "1.0.2+0" +version = "1.0.5+0" [[deps.DataAPI]] git-tree-sha1 = "8da84edb865b0b5b0100c0666a9bc9a0b71c553c" @@ -88,9 +93,9 @@ version = "1.15.0" [[deps.DataStructures]] deps = ["Compat", "InteractiveUtils", "OrderedCollections"] -git-tree-sha1 = "cf25ccb972fec4e4817764d01c82386ae94f77b4" +git-tree-sha1 = "3dbd312d370723b6bb43ba9d02fc36abade4518d" uuid = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8" -version = "0.18.14" +version = "0.18.15" [[deps.Dates]] deps = ["Printf"] @@ -107,10 +112,10 @@ uuid = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae" version = "0.9.3" [[deps.Documenter]] -deps = ["ANSIColoredPrinters", "Base64", "Dates", "DocStringExtensions", "IOCapture", "InteractiveUtils", "JSON", "LibGit2", "Logging", "Markdown", "REPL", "Test", "Unicode"] -git-tree-sha1 = "39fd748a73dce4c05a9655475e437170d8fb1b67" +deps = ["ANSIColoredPrinters", "AbstractTrees", "Base64", "Dates", "DocStringExtensions", "Downloads", "IOCapture", "InteractiveUtils", "JSON", "LibGit2", "Logging", "Markdown", "MarkdownAST", "Pkg", "PrecompileTools", "REPL", "RegistryInstances", "SHA", "Test", "Unicode"] +git-tree-sha1 = "662fb21ae7fad33e044c2b59ece832fdce32c171" uuid = "e30172f5-a6a5-5a46-863b-614d45cd2de4" -version = "0.27.25" +version = "1.1.2" [[deps.Downloads]] deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"] @@ -133,9 +138,9 @@ version = "6.2.1+2" [[deps.Graphs]] deps = ["ArnoldiMethod", "Compat", "DataStructures", "Distributed", "Inflate", "LinearAlgebra", "Random", "SharedArrays", "SimpleTraits", "SparseArrays", "Statistics"] -git-tree-sha1 = "1cf1d7dcb4bc32d7b4a5add4232db3750c27ecb4" +git-tree-sha1 = "899050ace26649433ef1af25bc17a815b3db52b7" uuid = "86223c79-3864-5bf0-83f7-82e725a168b6" -version = "1.8.0" +version = "1.9.0" [[deps.GroupsCore]] deps = ["Markdown", "Random"] @@ -150,9 +155,9 @@ uuid = "b5f81e59-6552-4d32-b1f0-c071b021bf89" version = "0.2.3" [[deps.Inflate]] -git-tree-sha1 = "5cd07aab533df5170988219191dfad0519391428" +git-tree-sha1 = "ea8031dea4aff6bd41f1df8f2fdfb25b33626381" uuid = "d25df0c9-e2be-5dd7-82c8-3ad0b3e990b9" -version = "0.1.3" +version = "0.1.4" [[deps.InteractiveUtils]] deps = ["Markdown"] @@ -164,10 +169,10 @@ uuid = "92d709cd-6900-40b7-9082-c6be49f344b6" version = "0.2.2" [[deps.JLLWrappers]] -deps = ["Preferences"] -git-tree-sha1 = "abc9885a7ca2052a736a600f7fa66209f96506e1" +deps = ["Artifacts", "Preferences"] +git-tree-sha1 = "7e5d6779a1e09a36db2a7b6cff50942a0a7d0fca" uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210" -version = "1.4.1" +version = "1.5.0" [[deps.JSON]] deps = ["Dates", "Mmap", "Parsers", "Unicode"] @@ -177,9 +182,14 @@ version = "0.21.4" [[deps.JuliaInterpreter]] deps = ["CodeTracking", "InteractiveUtils", "Random", "UUIDs"] -git-tree-sha1 = "6a125e6a4cb391e0b9adbd1afa9e771c2179f8ef" +git-tree-sha1 = "0592b1810613d1c95eeebcd22dc11fba186c2a57" uuid = "aa1ae85d-cabe-5617-a682-6adf51b2e16a" -version = "0.9.23" +version = "0.9.26" + +[[deps.LazilyInitializedFields]] +git-tree-sha1 = "410fe4739a4b092f2ffe36fcb0dcc3ab12648ce1" +uuid = "0e77f7df-68c5-4e49-93ce-4cd80f5598bf" +version = "1.2.1" [[deps.LibCURL]] deps = ["LibCURL_jll", "MozillaCACerts_jll"] @@ -209,9 +219,9 @@ uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" [[deps.LogExpFunctions]] deps = ["DocStringExtensions", "IrrationalConstants", "LinearAlgebra"] -git-tree-sha1 = "c3ce8e7420b3a6e071e0fe4745f5d4300e37b13f" +git-tree-sha1 = "7d6dd4e9212aebaeed356de34ccf262a3cd415aa" uuid = "2ab3a3ac-af41-5b50-aa03-7779005ae688" -version = "0.3.24" +version = "0.3.26" [deps.LogExpFunctions.extensions] LogExpFunctionsChainRulesCoreExt = "ChainRulesCore" @@ -239,14 +249,20 @@ version = "4.1.1+4" [[deps.MacroTools]] deps = ["Markdown", "Random"] -git-tree-sha1 = "42324d08725e200c23d4dfb549e0d5d89dede2d2" +git-tree-sha1 = "9ee1618cbf5240e6d4e0371d6f24065083f60c48" uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09" -version = "0.5.10" +version = "0.5.11" [[deps.Markdown]] deps = ["Base64"] uuid = "d6f4376e-aef5-505a-96c1-9c027394607a" +[[deps.MarkdownAST]] +deps = ["AbstractTrees", "Markdown"] +git-tree-sha1 = "465a70f0fc7d443a00dcdc3267a497397b8a3899" +uuid = "d0879d2d-cac2-40c8-9cee-1863dc0c7391" +version = "0.1.2" + [[deps.MbedTLS_jll]] deps = ["Artifacts", "Libdl"] uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1" @@ -267,9 +283,9 @@ version = "2022.10.11" [[deps.Nemo]] deps = ["AbstractAlgebra", "Antic_jll", "Arb_jll", "Calcium_jll", "FLINT_jll", "Libdl", "LinearAlgebra", "Pkg", "Random", "RandomExtensions", "SHA"] -git-tree-sha1 = "ec53c3b5dd3bd16a8b1d5b7edfb89246e2d2c5b6" +git-tree-sha1 = "3d2d9fe3ada429bd2c8b11a4c5361e05a8b6fe36" uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a" -version = "0.35.3" +version = "0.37.2" [[deps.NetworkOptions]] uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" @@ -300,19 +316,19 @@ version = "2.7.2" [[deps.Pkg]] deps = ["Artifacts", "Dates", "Downloads", "FileWatching", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"] uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" -version = "1.9.0" +version = "1.9.2" [[deps.PrecompileTools]] deps = ["Preferences"] -git-tree-sha1 = "9673d39decc5feece56ef3940e5dafba15ba0f81" +git-tree-sha1 = "03b4c25b43cb84cee5c90aa9b5ea0a78fd848d2f" uuid = "aea7be01-6a6a-4083-8856-8a6e6704d82a" -version = "1.1.2" +version = "1.2.0" [[deps.Preferences]] deps = ["TOML"] -git-tree-sha1 = "7eb1686b4f04b82f96ed7a4ea5890a4f0c7a09f1" +git-tree-sha1 = "00805cd429dcb4870060ff49ef443486c262e38e" uuid = "21216c6a-2e73-6563-6e65-726566657250" -version = "1.4.0" +version = "1.4.1" [[deps.Printf]] deps = ["Unicode"] @@ -332,9 +348,15 @@ uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" [[deps.RandomExtensions]] deps = ["Random", "SparseArrays"] -git-tree-sha1 = "062986376ce6d394b23d5d90f01d81426113a3c9" +git-tree-sha1 = "b8a399e95663485820000f26b6a43c794e166a49" uuid = "fb686558-2515-59ef-acaa-46db3789a887" -version = "0.4.3" +version = "0.4.4" + +[[deps.RegistryInstances]] +deps = ["LazilyInitializedFields", "Pkg", "TOML", "Tar"] +git-tree-sha1 = "ffd19052caf598b8653b99404058fce14828be51" +uuid = "2792f1a3-b283-48e8-9a74-f99dce5104f3" +version = "0.1.0" [[deps.Requires]] deps = ["UUIDs"] @@ -344,9 +366,9 @@ version = "1.3.0" [[deps.Revise]] deps = ["CodeTracking", "Distributed", "FileWatching", "JuliaInterpreter", "LibGit2", "LoweredCodeUtils", "OrderedCollections", "Pkg", "REPL", "Requires", "UUIDs", "Unicode"] -git-tree-sha1 = "1e597b93700fa4045d7189afa7c004e0584ea548" +git-tree-sha1 = "609c26951d80551620241c3d7090c71a73da75ab" uuid = "295af30f-e4ad-537b-8983-00126c2a3abe" -version = "3.5.3" +version = "3.5.6" [[deps.SHA]] uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" @@ -370,9 +392,9 @@ uuid = "6462fe0b-24de-5631-8697-dd941f90decc" [[deps.SortingAlgorithms]] deps = ["DataStructures"] -git-tree-sha1 = "c60ec5c62180f27efea3ba2908480f8055e17cee" +git-tree-sha1 = "5165dfb9fd131cf0c6957a3a7605dede376e7b63" uuid = "a2af1166-a08f-5f64-846c-94a0d3cef48c" -version = "1.1.1" +version = "1.2.0" [[deps.SparseArrays]] deps = ["Libdl", "LinearAlgebra", "Random", "Serialization", "SuiteSparse_jll"] @@ -380,9 +402,9 @@ uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" [[deps.StaticArrays]] deps = ["LinearAlgebra", "Random", "StaticArraysCore"] -git-tree-sha1 = "9cabadf6e7cd2349b6cf49f1915ad2028d65e881" +git-tree-sha1 = "0adf069a2a490c47273727e029371b31d44b72b2" uuid = "90137ffa-7385-5640-81b9-e52037218182" -version = "1.6.2" +version = "1.6.5" weakdeps = ["Statistics"] [deps.StaticArrays.extensions] @@ -400,15 +422,15 @@ version = "1.9.0" [[deps.StatsAPI]] deps = ["LinearAlgebra"] -git-tree-sha1 = "45a7769a04a3cf80da1c1c7c60caf932e6f4c9f7" +git-tree-sha1 = "1ff449ad350c9c4cbc756624d6f8a8c3ef56d3ed" uuid = "82ae8749-77ed-4fe6-ae5f-f523153014b0" -version = "1.6.0" +version = "1.7.0" [[deps.StatsBase]] deps = ["DataAPI", "DataStructures", "LinearAlgebra", "LogExpFunctions", "Missings", "Printf", "Random", "SortingAlgorithms", "SparseArrays", "Statistics", "StatsAPI"] -git-tree-sha1 = "75ebe04c5bed70b91614d684259b661c9e6274a4" +git-tree-sha1 = "1d77abd07f617c4868c33d4f5b9e1dbb2643c9cf" uuid = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" -version = "0.34.0" +version = "0.34.2" [[deps.SuiteSparse_jll]] deps = ["Artifacts", "Libdl", "Pkg", "libblastrampoline_jll"] From a01e32588bce67b1dce3ccdc1b30e1f6242a5f67 Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 25 Oct 2023 15:05:05 +0200 Subject: [PATCH 08/54] polynomial_ring --- Manifest.toml | 4 ++-- docs/make.jl | 2 +- src/graph.jl | 4 ++-- test/function.jl | 3 --- 4 files changed, 5 insertions(+), 8 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 730125a..d98bab5 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -366,9 +366,9 @@ version = "1.3.0" [[deps.Revise]] deps = ["CodeTracking", "Distributed", "FileWatching", "JuliaInterpreter", "LibGit2", "LoweredCodeUtils", "OrderedCollections", "Pkg", "REPL", "Requires", "UUIDs", "Unicode"] -git-tree-sha1 = "609c26951d80551620241c3d7090c71a73da75ab" +git-tree-sha1 = "ba168f8fc36bf83c8d0573d464b7aab0f8a81623" uuid = "295af30f-e4ad-537b-8983-00126c2a3abe" -version = "3.5.6" +version = "3.5.7" [[deps.SHA]] uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" diff --git a/docs/make.jl b/docs/make.jl index c356373..d0663bc 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -10,7 +10,7 @@ makedocs(; clean = true, checkdocs = :none, doctest = true, - strict = true, + #strict = true, sitename="GromovWitten.jl", expandfirst = ["Overview.md"], format=Documenter.HTML(; diff --git a/src/graph.jl b/src/graph.jl index c6bde8a..784e18c 100644 --- a/src/graph.jl +++ b/src/graph.jl @@ -10,7 +10,7 @@ end nv(G::FeynmanGraph) = nv(DiGraph(Edge.(G.edge))) ne(G::FeynmanGraph) = length(Edge.(G.edge)) -function polynomial_ring(G::FeynmanGraph, x::String, q::String, z::String) +#=function polynomial_ring(G::FeynmanGraph, x::String, q::String, z::String) ee=Edge.(G.edge) if length(ee)==0 throw(DomainError(G,"G must be non empty graph")) @@ -25,7 +25,7 @@ function polynomial_ring(G::FeynmanGraph, x::String, q::String) else return @polynomial_ring(QQ, x[1:nv(G)], q[1:ne(G)]) end -end +end=# const FeynmanRing{T} =Tuple{Ring,Vararg{Vector{T}}} where T <:QQMPolyRingElem struct FeynmanIntegral diff --git a/test/function.jl b/test/function.jl index ac0c2c4..6a0ff2a 100644 --- a/test/function.jl +++ b/test/function.jl @@ -13,8 +13,5 @@ @test preimg(L, xi) == 3 end - ve=[] - G=FeynmanGraph(ve) - @test_throws UndefVarError R,x,q=polynomial_ring(G,"x","q") end \ No newline at end of file From 9008ceb09a021b2643d5b3eeb6c0a1348d63f3d5 Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 25 Oct 2023 16:35:34 +0200 Subject: [PATCH 09/54] sublist remove in feyn --- test/coefterm.jl | 14 ++++++++++++++ test/feynmanIntegral.jl | 5 +++++ test/feynmanint.jl | 8 ++++++++ 3 files changed, 27 insertions(+) diff --git a/test/coefterm.jl b/test/coefterm.jl index 2667c13..c1b3269 100644 --- a/test/coefterm.jl +++ b/test/coefterm.jl @@ -15,4 +15,18 @@ @test feynman_integral_degree(F,3,g)==115//3*q[1]^6 + 1//4*q[1]^4*q[2]^2 + 1//4*q[1]^4*q[3]^2 + 1//4*q[1]^2*q[2]^4 + 1//2*q[1]^2*q[2]^2*q[3]^2 + 1//4*q[1]^2*q[3]^4 + 115//3*q[2]^6 + 1//4*q[2]^4*q[3]^2 + 1//4*q[2]^2*q[3]^4 + 115//3*q[3]^6 @test feynman_integral_degree_sum_order(F,o,[1,2],g)==1//24*q[1]^2*q[2]^2 + 1//24*q[1]^2*q[3]^2 + 1//24*q[2]^2*q[3]^2 + 19//8*q[3]^4 + 1//24*q[3]^2 @test feynman_integral_degree_sum(F,3,g)==115//3*q[1]^6 + 1//4*q[1]^4*q[2]^2 + 1//4*q[1]^4*q[3]^2 + 19//4*q[1]^4 + 1//4*q[1]^2*q[2]^4 + 1//2*q[1]^2*q[2]^2*q[3]^2 + 1//4*q[1]^2*q[2]^2 + 1//4*q[1]^2*q[3]^4 + 1//4*q[1]^2*q[3]^2 + 1//12*q[1]^2 + 115//3*q[2]^6 + 1//4*q[2]^4*q[3]^2 + 19//4*q[2]^4 + 1//4*q[2]^2*q[3]^4 + 1//4*q[2]^2*q[3]^2 + 1//12*q[2]^2 + 115//3*q[3]^6 + 19//4*q[3]^4 + 1//12*q[3]^2 + + ve = [ (1, 2), (1, 2), (1, 2)] + G=FeynmanGraph(ve) + F=FeynmanIntegral(G) + o=[1,2]; + g=[1,0] + q=F.S[3] + + @test feynman_integral_degree_order(F,o,2,g)==5//12*q[1]^4 + 5//12*q[1]^2*q[2]^2 + 5//12*q[1]^2*q[3]^2 + 5//12*q[2]^4 + 5//12*q[2]^2*q[3]^2 + 5//12*q[3]^4 + @test feynman_integral_degree_order(F,o,1,g)==0 + @test feynman_integral_degree(F,2,g)==5//6*q[1]^4 + 5//6*q[1]^2*q[2]^2 + 5//6*q[1]^2*q[3]^2 + 5//6*q[2]^4 + 5//6*q[2]^2*q[3]^2 + 5//6*q[3]^4 + @test feynman_integral_degree(F,1,g)==0 + @test feynman_integral_degree(F,1)==0 + end \ No newline at end of file diff --git a/test/feynmanIntegral.jl b/test/feynmanIntegral.jl index 999c178..8baa30b 100644 --- a/test/feynmanIntegral.jl +++ b/test/feynmanIntegral.jl @@ -19,4 +19,9 @@ @test substitute(0)==0 p=6*q[1]^2*q[2]^2*q[3]^4 + 12*q[1]^2*q[2]^2*q[3]^2*q[4]^2 + 6*q[1]^2*q[2]^2*q[4]^4 + 56*q[1]^2*q[3]^6 + 6*q[1]^2*q[3]^4*q[4]^2 + 6*q[1]^2*q[3]^2*q[4]^4 + 56*q[1]^2*q[4]^6 + q[1] @test filter_term(p,q[1],1)==q[1] + ve=[(1, 3), (1,2),(1, 2), (2, 4) ,(3, 4),(3,4)] + G=FeynmanGraph(ve) + F=FeynmanIntegral(G) + d=1 + @test feynman_integral_degree_order(F,o,d)==0 end \ No newline at end of file diff --git a/test/feynmanint.jl b/test/feynmanint.jl index a853c1e..aed1d54 100644 --- a/test/feynmanint.jl +++ b/test/feynmanint.jl @@ -13,4 +13,12 @@ @test feynman_integral_degree_order(F,o,3,l=[0,0,0])==3*q[1]^4*q[4]^2+ q[1]^2*q[2]^2*q[3]^2+ q[1]^2*q[2]^2*q[4]^2+ q[1]^2*q[3]^2*q[4]^2+ 9*q[1]^2*q[4]^4 @test sum_of_coeff(feynman_integral_degree_order(F,o,3))==15 @test sum_of_coeff(feynman_integral_degree(F ,3))==72 + ve=[(1, 2), (1, 2), (2, 3), (3, 1)] + G=FeynmanGraph(ve) + F=FeynmanIntegral(G) + q=F.S[3] + + @test feynman_integral_degree_order(F,o,3,g)==5//12*q[1]^4*q[3]^2 + 11//3*q[1]^4*q[4]^2 + 5//12*q[1]^2*q[3]^2*q[4]^2 + 31//4*q[1]^2*q[4]^4 + 5//12*q[2]^4*q[3]^2 + 11//3*q[2]^4*q[4]^2 + 5//12*q[2]^2*q[3]^2*q[4]^2 + 31//4*q[2]^2*q[4]^4 + 39//2*q[4]^6 + + end \ No newline at end of file From 368cf2ba8905890c3616fb1e35853f6fa7a57ac3 Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 25 Oct 2023 17:07:23 +0200 Subject: [PATCH 10/54] m --- src/feynmanIntegral.jl | 30 ++---------------------------- test/feynmanint.jl | 5 ++--- 2 files changed, 4 insertions(+), 31 deletions(-) diff --git a/src/feynmanIntegral.jl b/src/feynmanIntegral.jl index cc70667..6ba9dd9 100644 --- a/src/feynmanIntegral.jl +++ b/src/feynmanIntegral.jl @@ -269,12 +269,7 @@ function feynman_integral_degree_order( F::FeynmanIntegral,o::Vector{Int64},d::I found = false - for sublist in re - if ll in sublist - found = true - break - end - end + if !found ge = generate_permutation(ll, indices) @@ -322,12 +317,7 @@ function feynman_integral_degree_order( F::FeynmanIntegral,o::Vector{Int64},d::I found = false - for sublist in re - if ll in sublist - found = true - break - end - end + if !found ge = generate_permutation(ll, indices) @@ -428,14 +418,6 @@ julia> feynman_integral_degree(F,3,g) ll = popfirst!(L) found = false - - for sublist in re - if ll in sublist - found = true - break - end - end - if !found ge = generate_permutation(ll, indices) L = setdiff(L, ge) # Remove the processed partition from L @@ -481,14 +463,6 @@ julia> feynman_integral_degree(F,3,g) ll = popfirst!(L) found = false - - for sublist in re - if ll in sublist - found = true - break - end - end - if !found ge = generate_permutation(ll, indices) L = setdiff(L, ge) # Remove the processed partition from L diff --git a/test/feynmanint.jl b/test/feynmanint.jl index aed1d54..e10c688 100644 --- a/test/feynmanint.jl +++ b/test/feynmanint.jl @@ -13,11 +13,10 @@ @test feynman_integral_degree_order(F,o,3,l=[0,0,0])==3*q[1]^4*q[4]^2+ q[1]^2*q[2]^2*q[3]^2+ q[1]^2*q[2]^2*q[4]^2+ q[1]^2*q[3]^2*q[4]^2+ 9*q[1]^2*q[4]^4 @test sum_of_coeff(feynman_integral_degree_order(F,o,3))==15 @test sum_of_coeff(feynman_integral_degree(F ,3))==72 - ve=[(1, 2), (1, 2), (2, 3), (3, 1)] - G=FeynmanGraph(ve) + v=[(1, 2), (1, 2), (2, 3), (3, 1)] + G=FeynmanGraph(v) F=FeynmanIntegral(G) q=F.S[3] - @test feynman_integral_degree_order(F,o,3,g)==5//12*q[1]^4*q[3]^2 + 11//3*q[1]^4*q[4]^2 + 5//12*q[1]^2*q[3]^2*q[4]^2 + 31//4*q[1]^2*q[4]^4 + 5//12*q[2]^4*q[3]^2 + 11//3*q[2]^4*q[4]^2 + 5//12*q[2]^2*q[3]^2*q[4]^2 + 31//4*q[2]^2*q[4]^4 + 39//2*q[4]^6 From 64020b5a071700af5a2e6c813ad28dedf4db7e40 Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 25 Oct 2023 21:13:47 +0200 Subject: [PATCH 11/54] merge main-dev --- .github/workflows/CompatHelper.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml index cba9134..41e5d36 100644 --- a/.github/workflows/CompatHelper.yml +++ b/.github/workflows/CompatHelper.yml @@ -14,3 +14,4 @@ jobs: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }} run: julia -e 'using CompatHelper; CompatHelper.main()' + \ No newline at end of file From 4721a3cb049c860d2d67936713cd4c5bd6faa7c9 Mon Sep 17 00:00:00 2001 From: blociss <46294807+blociss@users.noreply.github.com> Date: Wed, 25 Oct 2023 21:50:29 +0200 Subject: [PATCH 12/54] Create jekyll-gh-pages.yml --- .github/workflows/jekyll-gh-pages.yml | 51 +++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 .github/workflows/jekyll-gh-pages.yml diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml new file mode 100644 index 0000000..559bddf --- /dev/null +++ b/.github/workflows/jekyll-gh-pages.yml @@ -0,0 +1,51 @@ +# Sample workflow for building and deploying a Jekyll site to GitHub Pages +name: Deploy Jekyll with GitHub Pages dependencies preinstalled + +on: + # Runs on pushes targeting the default branch + push: + branches: ["main"] + + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + +# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. +# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. +concurrency: + group: "pages" + cancel-in-progress: false + +jobs: + # Build job + build: + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v3 + - name: Setup Pages + uses: actions/configure-pages@v3 + - name: Build with Jekyll + uses: actions/jekyll-build-pages@v1 + with: + source: ./ + destination: ./_site + - name: Upload artifact + uses: actions/upload-pages-artifact@v2 + + # Deployment job + deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + needs: build + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v2 From 90b68b03dc0d416739cbb61cd3056ed73b80c615 Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 25 Oct 2023 22:20:44 +0200 Subject: [PATCH 13/54] remove jekyll --- .github/workflows/jekyll-gh-pages.yml | 51 --------------------------- 1 file changed, 51 deletions(-) delete mode 100644 .github/workflows/jekyll-gh-pages.yml diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml deleted file mode 100644 index 559bddf..0000000 --- a/.github/workflows/jekyll-gh-pages.yml +++ /dev/null @@ -1,51 +0,0 @@ -# Sample workflow for building and deploying a Jekyll site to GitHub Pages -name: Deploy Jekyll with GitHub Pages dependencies preinstalled - -on: - # Runs on pushes targeting the default branch - push: - branches: ["main"] - - # Allows you to run this workflow manually from the Actions tab - workflow_dispatch: - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - contents: read - pages: write - id-token: write - -# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. -# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. -concurrency: - group: "pages" - cancel-in-progress: false - -jobs: - # Build job - build: - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v3 - - name: Setup Pages - uses: actions/configure-pages@v3 - - name: Build with Jekyll - uses: actions/jekyll-build-pages@v1 - with: - source: ./ - destination: ./_site - - name: Upload artifact - uses: actions/upload-pages-artifact@v2 - - # Deployment job - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v2 From 8e978d4536b009ebe6937e3bafc3a6ef6bd04df0 Mon Sep 17 00:00:00 2001 From: CompatHelper Julia Date: Thu, 26 Oct 2023 00:36:35 +0000 Subject: [PATCH 14/54] CompatHelper: add new compat entry for Nemo at version 0.37, (keep existing compat) --- Project.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/Project.toml b/Project.toml index 5d94ff2..f3f177f 100644 --- a/Project.toml +++ b/Project.toml @@ -14,6 +14,7 @@ Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" [compat] +Nemo = "0.37" StatsBase = "0.34" julia = "1.1" From 61e796e38a7750bf061fde49a256eb955cee5ec8 Mon Sep 17 00:00:00 2001 From: blociss Date: Fri, 27 Oct 2023 20:20:06 +0200 Subject: [PATCH 15/54] struct feynman --- src/graph.jl | 8 +++++++- test/coefterm.jl | 1 - 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/src/graph.jl b/src/graph.jl index 784e18c..ddac89d 100644 --- a/src/graph.jl +++ b/src/graph.jl @@ -43,4 +43,10 @@ struct FeynmanIntegral S=@polynomial_ring(QQ, x[1:nv(G)], q[1:ne(G)], z[1:nv(G)]) return new(G, Dict{Symbol, Dict{Vector{Int64}, QQMPolyRingElem}}(), S) end -end \ No newline at end of file + function FeynmanIntegral(ve::Vector{Tuple{Int, Int}}) + G = FeynmanGraph(ve) + F = FeynmanIntegral(G) + return F + end +end + edge(F::FeynmanIntegral) = Edge.(F.G.edge) \ No newline at end of file diff --git a/test/coefterm.jl b/test/coefterm.jl index c1b3269..22898e6 100644 --- a/test/coefterm.jl +++ b/test/coefterm.jl @@ -28,5 +28,4 @@ @test feynman_integral_degree(F,2,g)==5//6*q[1]^4 + 5//6*q[1]^2*q[2]^2 + 5//6*q[1]^2*q[3]^2 + 5//6*q[2]^4 + 5//6*q[2]^2*q[3]^2 + 5//6*q[3]^4 @test feynman_integral_degree(F,1,g)==0 @test feynman_integral_degree(F,1)==0 - end \ No newline at end of file From bcc9e1407c02cdde438e791b8b68c0cc1145459e Mon Sep 17 00:00:00 2001 From: blociss Date: Fri, 27 Oct 2023 20:34:05 +0200 Subject: [PATCH 16/54] graph --- test/coefterm.jl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/test/coefterm.jl b/test/coefterm.jl index 22898e6..d15cc9d 100644 --- a/test/coefterm.jl +++ b/test/coefterm.jl @@ -28,4 +28,7 @@ @test feynman_integral_degree(F,2,g)==5//6*q[1]^4 + 5//6*q[1]^2*q[2]^2 + 5//6*q[1]^2*q[3]^2 + 5//6*q[2]^4 + 5//6*q[2]^2*q[3]^2 + 5//6*q[3]^4 @test feynman_integral_degree(F,1,g)==0 @test feynman_integral_degree(F,1)==0 + S=@polynomial_ring(QQ, x[1:nv(G)], q[1:ne(G)]) + FF=FeynmanIntegral(G,S) + Fv=FeynmanIntegral(ve) end \ No newline at end of file From 17054077afad4f875771586dff50fe3eb3fbb9e1 Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 25 Jan 2024 15:07:18 +0100 Subject: [PATCH 17/54] update Nemo --- Manifest.toml | 121 +++++++++++++++++++++++++++++++++----------------- 1 file changed, 80 insertions(+), 41 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index d98bab5..4a59cca 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "02c7692aedfc4a563196c874993ae67f99fe6a8d" +project_hash = "386c7d4b5680ddcab7797a5b67de4b0167c22e78" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" @@ -50,9 +50,9 @@ uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" [[deps.BenchmarkTools]] deps = ["JSON", "Logging", "Printf", "Profile", "Statistics", "UUIDs"] -git-tree-sha1 = "d9a9701b899b30332bbcb3e1679c41cce81fb0e8" +git-tree-sha1 = "f1f03a9fa24271160ed7e73051fba3c1a759b53f" uuid = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf" -version = "1.3.2" +version = "1.4.0" [[deps.Calcium_jll]] deps = ["Antic_jll", "Arb_jll", "Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"] @@ -72,10 +72,10 @@ uuid = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" version = "1.0.2" [[deps.Compat]] -deps = ["UUIDs"] -git-tree-sha1 = "8a62af3e248a8c4bad6b32cbbe663ae02275e32c" +deps = ["TOML", "UUIDs"] +git-tree-sha1 = "75bd5b6fc5089df449b5d35fa501c846c9b6549b" uuid = "34da2185-b29b-5c13-b0c7-acf172513d20" -version = "4.10.0" +version = "4.12.0" weakdeps = ["Dates", "LinearAlgebra"] [deps.Compat.extensions] @@ -87,15 +87,15 @@ uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae" version = "1.0.5+0" [[deps.DataAPI]] -git-tree-sha1 = "8da84edb865b0b5b0100c0666a9bc9a0b71c553c" +git-tree-sha1 = "abe83f3a2f1b857aac70ef8b269080af17764bbe" uuid = "9a962f9c-6df0-11e9-0e5d-c546b8b5ee8a" -version = "1.15.0" +version = "1.16.0" [[deps.DataStructures]] deps = ["Compat", "InteractiveUtils", "OrderedCollections"] -git-tree-sha1 = "3dbd312d370723b6bb43ba9d02fc36abade4518d" +git-tree-sha1 = "ac67408d9ddf207de5cfa9a97e114352430f01ed" uuid = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8" -version = "0.18.15" +version = "0.18.16" [[deps.Dates]] deps = ["Printf"] @@ -112,21 +112,27 @@ uuid = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae" version = "0.9.3" [[deps.Documenter]] -deps = ["ANSIColoredPrinters", "AbstractTrees", "Base64", "Dates", "DocStringExtensions", "Downloads", "IOCapture", "InteractiveUtils", "JSON", "LibGit2", "Logging", "Markdown", "MarkdownAST", "Pkg", "PrecompileTools", "REPL", "RegistryInstances", "SHA", "Test", "Unicode"] -git-tree-sha1 = "662fb21ae7fad33e044c2b59ece832fdce32c171" +deps = ["ANSIColoredPrinters", "AbstractTrees", "Base64", "Dates", "DocStringExtensions", "Downloads", "Git", "IOCapture", "InteractiveUtils", "JSON", "LibGit2", "Logging", "Markdown", "MarkdownAST", "Pkg", "PrecompileTools", "REPL", "RegistryInstances", "SHA", "Test", "Unicode"] +git-tree-sha1 = "2613dbec8f4748273bbe30ba71fd5cb369966bac" uuid = "e30172f5-a6a5-5a46-863b-614d45cd2de4" -version = "1.1.2" +version = "1.2.1" [[deps.Downloads]] deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"] uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6" version = "1.6.0" +[[deps.Expat_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "4558ab818dcceaab612d1bb8c19cee87eda2b83c" +uuid = "2e619515-83b5-522b-bb60-26c02a35a201" +version = "2.5.0+0" + [[deps.FLINT_jll]] deps = ["Artifacts", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "OpenBLAS32_jll"] -git-tree-sha1 = "5c9a3c03282df69a9108d67978d193a2b881f476" +git-tree-sha1 = "4eef82c467ec1020174d96f83f44e1ef84061e8c" uuid = "e134572f-a0d5-539d-bddf-3cad8db41a82" -version = "200.900.7+0" +version = "200.900.9+0" [[deps.FileWatching]] uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee" @@ -136,6 +142,18 @@ deps = ["Artifacts", "Libdl"] uuid = "781609d7-10c4-51f6-84f2-b8444358ff6d" version = "6.2.1+2" +[[deps.Git]] +deps = ["Git_jll"] +git-tree-sha1 = "51764e6c2e84c37055e846c516e9015b4a291c7d" +uuid = "d7ba0133-e1db-5d97-8f8c-041e4b3a1eb2" +version = "1.3.0" + +[[deps.Git_jll]] +deps = ["Artifacts", "Expat_jll", "JLLWrappers", "LibCURL_jll", "Libdl", "Libiconv_jll", "OpenSSL_jll", "PCRE2_jll", "Zlib_jll"] +git-tree-sha1 = "b30c473c97fcc1e1e44fab8f3e88fd1b89c9e9d1" +uuid = "f8c6e375-362e-5223-8a59-34ff63f689eb" +version = "2.43.0+0" + [[deps.Graphs]] deps = ["ArnoldiMethod", "Compat", "DataStructures", "Distributed", "Inflate", "LinearAlgebra", "Random", "SharedArrays", "SimpleTraits", "SparseArrays", "Statistics"] git-tree-sha1 = "899050ace26649433ef1af25bc17a815b3db52b7" @@ -144,15 +162,15 @@ version = "1.9.0" [[deps.GroupsCore]] deps = ["Markdown", "Random"] -git-tree-sha1 = "9e1a5e9f3b81ad6a5c613d181664a0efc6fe6dd7" +git-tree-sha1 = "6df9cd6ee79fc59feab33f63a1b3c9e95e2461d5" uuid = "d5909c97-4eac-4ecc-a3dc-fdd0858a4120" -version = "0.4.0" +version = "0.4.2" [[deps.IOCapture]] deps = ["Logging", "Random"] -git-tree-sha1 = "d75853a0bdbfb1ac815478bacd89cd27b550ace6" +git-tree-sha1 = "8b72179abc660bfab5e28472e019392b97d0985c" uuid = "b5f81e59-6552-4d32-b1f0-c071b021bf89" -version = "0.2.3" +version = "0.2.4" [[deps.Inflate]] git-tree-sha1 = "ea8031dea4aff6bd41f1df8f2fdfb25b33626381" @@ -182,14 +200,14 @@ version = "0.21.4" [[deps.JuliaInterpreter]] deps = ["CodeTracking", "InteractiveUtils", "Random", "UUIDs"] -git-tree-sha1 = "0592b1810613d1c95eeebcd22dc11fba186c2a57" +git-tree-sha1 = "04663b9e1eb0d0eabf76a6d0752e0dac83d53b36" uuid = "aa1ae85d-cabe-5617-a682-6adf51b2e16a" -version = "0.9.26" +version = "0.9.28" [[deps.LazilyInitializedFields]] -git-tree-sha1 = "410fe4739a4b092f2ffe36fcb0dcc3ab12648ce1" +git-tree-sha1 = "8f7f3cabab0fd1800699663533b6d5cb3fc0e612" uuid = "0e77f7df-68c5-4e49-93ce-4cd80f5598bf" -version = "1.2.1" +version = "1.2.2" [[deps.LibCURL]] deps = ["LibCURL_jll", "MozillaCACerts_jll"] @@ -213,6 +231,12 @@ version = "1.10.2+0" [[deps.Libdl]] uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb" +[[deps.Libiconv_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "f9557a255370125b405568f9767d6d195822a175" +uuid = "94ce4f54-9a6c-5748-9c1c-f9c7231a4531" +version = "1.17.0+0" + [[deps.LinearAlgebra]] deps = ["Libdl", "OpenBLAS_jll", "libblastrampoline_jll"] uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" @@ -238,9 +262,9 @@ uuid = "56ddb016-857b-54e1-b83d-db4d58db5568" [[deps.LoweredCodeUtils]] deps = ["JuliaInterpreter"] -git-tree-sha1 = "60168780555f3e663c536500aa790b6368adc02a" +git-tree-sha1 = "20ce1091ba18bcdae71ad9b71ee2367796ba6c48" uuid = "6f1432cf-f94c-5a45-995e-cdbf5db27b0b" -version = "2.3.0" +version = "2.4.4" [[deps.MPFR_jll]] deps = ["Artifacts", "GMP_jll", "Libdl"] @@ -249,9 +273,9 @@ version = "4.1.1+4" [[deps.MacroTools]] deps = ["Markdown", "Random"] -git-tree-sha1 = "9ee1618cbf5240e6d4e0371d6f24065083f60c48" +git-tree-sha1 = "2fa9ee3e63fd3a4f7a9a4f4744a52f4856de82df" uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09" -version = "0.5.11" +version = "0.5.13" [[deps.Markdown]] deps = ["Base64"] @@ -283,9 +307,9 @@ version = "2022.10.11" [[deps.Nemo]] deps = ["AbstractAlgebra", "Antic_jll", "Arb_jll", "Calcium_jll", "FLINT_jll", "Libdl", "LinearAlgebra", "Pkg", "Random", "RandomExtensions", "SHA"] -git-tree-sha1 = "3d2d9fe3ada429bd2c8b11a4c5361e05a8b6fe36" +git-tree-sha1 = "8667cf3d54989fefb28f72d26011993f20eed107" uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a" -version = "0.37.2" +version = "0.37.5" [[deps.NetworkOptions]] uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" @@ -302,16 +326,27 @@ deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"] uuid = "4536629a-c528-5b80-bd46-f80d51c5b363" version = "0.3.21+4" +[[deps.OpenSSL_jll]] +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "cc6e1927ac521b659af340e0ca45828a3ffc748f" +uuid = "458c3c95-2e84-50aa-8efc-19380b2a3a95" +version = "3.0.12+0" + [[deps.OrderedCollections]] -git-tree-sha1 = "2e73fe17cac3c62ad1aebe70d44c963c3cfdc3e3" +git-tree-sha1 = "dfdf5519f235516220579f949664f1bf44e741c5" uuid = "bac558e1-5e72-5ebc-8fee-abe8a469f55d" -version = "1.6.2" +version = "1.6.3" + +[[deps.PCRE2_jll]] +deps = ["Artifacts", "Libdl"] +uuid = "efcefdf7-47ab-520b-bdef-62a2eaa19f15" +version = "10.42.0+0" [[deps.Parsers]] deps = ["Dates", "PrecompileTools", "UUIDs"] -git-tree-sha1 = "716e24b21538abc91f6205fd1d8363f39b442851" +git-tree-sha1 = "8489905bcdbcfac64d1daa51ca07c0d8f0283821" uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0" -version = "2.7.2" +version = "2.8.1" [[deps.Pkg]] deps = ["Artifacts", "Dates", "Downloads", "FileWatching", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"] @@ -366,9 +401,9 @@ version = "1.3.0" [[deps.Revise]] deps = ["CodeTracking", "Distributed", "FileWatching", "JuliaInterpreter", "LibGit2", "LoweredCodeUtils", "OrderedCollections", "Pkg", "REPL", "Requires", "UUIDs", "Unicode"] -git-tree-sha1 = "ba168f8fc36bf83c8d0573d464b7aab0f8a81623" +git-tree-sha1 = "3fe4e5b9cdbb9bbc851c57b149e516acc07f8f72" uuid = "295af30f-e4ad-537b-8983-00126c2a3abe" -version = "3.5.7" +version = "3.5.13" [[deps.SHA]] uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" @@ -392,24 +427,28 @@ uuid = "6462fe0b-24de-5631-8697-dd941f90decc" [[deps.SortingAlgorithms]] deps = ["DataStructures"] -git-tree-sha1 = "5165dfb9fd131cf0c6957a3a7605dede376e7b63" +git-tree-sha1 = "66e0a8e672a0bdfca2c3f5937efb8538b9ddc085" uuid = "a2af1166-a08f-5f64-846c-94a0d3cef48c" -version = "1.2.0" +version = "1.2.1" [[deps.SparseArrays]] deps = ["Libdl", "LinearAlgebra", "Random", "Serialization", "SuiteSparse_jll"] uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" [[deps.StaticArrays]] -deps = ["LinearAlgebra", "Random", "StaticArraysCore"] -git-tree-sha1 = "0adf069a2a490c47273727e029371b31d44b72b2" +deps = ["LinearAlgebra", "PrecompileTools", "Random", "StaticArraysCore"] +git-tree-sha1 = "f68dd04d131d9a8a8eb836173ee8f105c360b0c5" uuid = "90137ffa-7385-5640-81b9-e52037218182" -version = "1.6.5" -weakdeps = ["Statistics"] +version = "1.9.1" [deps.StaticArrays.extensions] + StaticArraysChainRulesCoreExt = "ChainRulesCore" StaticArraysStatisticsExt = "Statistics" + [deps.StaticArrays.weakdeps] + ChainRulesCore = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4" + Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2" + [[deps.StaticArraysCore]] git-tree-sha1 = "36b3d696ce6366023a0ea192b4cd442268995a0d" uuid = "1e83bf80-4336-4d27-bf5d-d5a4f845583c" From dfed842f82d9002d751923eca6d15564c42e3b71 Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 25 Jan 2024 20:19:11 +0100 Subject: [PATCH 18/54] update polynomial_ring update Nemo@0.39.1 --- Manifest.toml | 10 +++++----- Project.toml | 2 +- src/GromovWitten.jl | 4 ++-- src/coefterm.jl | 2 +- src/graph.jl | 4 ++-- src/quasimodular.jl | 2 +- test/coefterm.jl | 2 +- 7 files changed, 13 insertions(+), 13 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 4a59cca..dff6af1 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "386c7d4b5680ddcab7797a5b67de4b0167c22e78" +project_hash = "a41b7a6e78023a5e21e0ffce3fbd71ea5bfaf05f" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" @@ -11,9 +11,9 @@ version = "0.0.1" [[deps.AbstractAlgebra]] deps = ["GroupsCore", "InteractiveUtils", "LinearAlgebra", "MacroTools", "Preferences", "Random", "RandomExtensions", "SparseArrays", "Test"] -git-tree-sha1 = "ce0cb2804273e9147a765501c719038247d7ccd9" +git-tree-sha1 = "f548e31d85b4f98ee3ce6d905338bc7221fd3395" uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" -version = "0.33.0" +version = "0.35.3" [[deps.AbstractTrees]] git-tree-sha1 = "faa260e4cb5aba097a73fab382dd4b5819d8ec8c" @@ -307,9 +307,9 @@ version = "2022.10.11" [[deps.Nemo]] deps = ["AbstractAlgebra", "Antic_jll", "Arb_jll", "Calcium_jll", "FLINT_jll", "Libdl", "LinearAlgebra", "Pkg", "Random", "RandomExtensions", "SHA"] -git-tree-sha1 = "8667cf3d54989fefb28f72d26011993f20eed107" +git-tree-sha1 = "26d12d1c2995ef0fd6d520f41b7a2f41e8c5ba03" uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a" -version = "0.37.5" +version = "0.39.1" [[deps.NetworkOptions]] uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" diff --git a/Project.toml b/Project.toml index f3f177f..66e676a 100644 --- a/Project.toml +++ b/Project.toml @@ -14,7 +14,7 @@ Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" [compat] -Nemo = "0.37" +Nemo = "0.39.1" StatsBase = "0.34" julia = "1.1" diff --git a/src/GromovWitten.jl b/src/GromovWitten.jl index 108c7b0..771959f 100644 --- a/src/GromovWitten.jl +++ b/src/GromovWitten.jl @@ -4,7 +4,7 @@ GromovWitten is a package for computing Gromov-Witten invariant via Feynman Int module GromovWitten # Write your package code here. using Nemo, Graphs, Combinatorics,StatsBase -export QQFieldElem,@polynomial_ring +export polynomial_ring import Graphs: nv,ne,Edge,dst, src export FeynmanGraph,nv,ne,PolynomialRing,QQ,FeynmanIntegral export polynomial_ring,constterm, proterm, propagator, coefterm, partition, preimg, substitute,flip,signature_and_multiplicities_order, @@ -20,6 +20,6 @@ include("coeftermV.jl") include("coefterm.jl") include("feynmanIntegral.jl") include("propagator.jl") -include("quasimodular.jl") +#include("quasimodular.jl") include("hashtable.jl") end diff --git a/src/coefterm.jl b/src/coefterm.jl index 66dc199..2f54425 100644 --- a/src/coefterm.jl +++ b/src/coefterm.jl @@ -221,7 +221,7 @@ function find_equal_pairs(ve::Vector{Tuple{Int64, Int64}}) return indices end function vector_to_monomial(F::FeynmanIntegral,v::Vector{Int64}) - S=@polynomial_ring(QQ, x[1:nv(F.G)], q[1:ne(F.G)], z[1:nv(F.G)]) + S=polynomial_ring(QQ, :x =>1:nv(F.G), :q =>1:ne(F.G), :z => 1:nv(F.G)) q=S[3] v = 2 * v vec=[] diff --git a/src/graph.jl b/src/graph.jl index ddac89d..bd26ff7 100644 --- a/src/graph.jl +++ b/src/graph.jl @@ -23,7 +23,7 @@ function polynomial_ring(G::FeynmanGraph, x::String, q::String) if length(ee)==0 throw(DomainError(G,"G must be non empty graph")) else - return @polynomial_ring(QQ, x[1:nv(G)], q[1:ne(G)]) + return polynomial_ring(QQ, :x =>1:nv(G), :q =>1:ne(G), :z => 1:nv(G)) end end=# const FeynmanRing{T} =Tuple{Ring,Vararg{Vector{T}}} where T <:QQMPolyRingElem @@ -40,7 +40,7 @@ struct FeynmanIntegral # Inner constructor with default values for S function FeynmanIntegral(G::FeynmanGraph) - S=@polynomial_ring(QQ, x[1:nv(G)], q[1:ne(G)], z[1:nv(G)]) + S=polynomial_ring(QQ, :x =>1:nv(G), :q =>1:ne(G), :z => 1:nv(G)) return new(G, Dict{Symbol, Dict{Vector{Int64}, QQMPolyRingElem}}(), S) end function FeynmanIntegral(ve::Vector{Tuple{Int, Int}}) diff --git a/src/quasimodular.jl b/src/quasimodular.jl index 776306c..0b6f773 100644 --- a/src/quasimodular.jl +++ b/src/quasimodular.jl @@ -108,7 +108,7 @@ function eisenstein_series( num_terms::Int,k::Int) if k % 2 != 0 error("input k must be even in eisenstein_series(q, num_terms,k)") end - S, q = @polynomial_ring(QQ,q) + S, q = polynomial_ring(QQ,:q) return e2 = 1 - ((((2*k)// bernoulli(k))))* sum(sum_of_divisor_powers(d, k-1) * q^(2*d) for d in 1:num_terms) end diff --git a/test/coefterm.jl b/test/coefterm.jl index d15cc9d..d9e5b51 100644 --- a/test/coefterm.jl +++ b/test/coefterm.jl @@ -28,7 +28,7 @@ @test feynman_integral_degree(F,2,g)==5//6*q[1]^4 + 5//6*q[1]^2*q[2]^2 + 5//6*q[1]^2*q[3]^2 + 5//6*q[2]^4 + 5//6*q[2]^2*q[3]^2 + 5//6*q[3]^4 @test feynman_integral_degree(F,1,g)==0 @test feynman_integral_degree(F,1)==0 - S=@polynomial_ring(QQ, x[1:nv(G)], q[1:ne(G)]) + S=polynomial_ring(QQ, :x =>1:nv(G), :q =>1:ne(G), :z => 1:nv(G)) FF=FeynmanIntegral(G,S) Fv=FeynmanIntegral(ve) end \ No newline at end of file From a3f4bfad87a64aa4692c355243b4e4476201a0da Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 25 Jan 2024 21:24:05 +0100 Subject: [PATCH 19/54] feynman_graph --- src/GromovWitten.jl | 2 +- src/graph.jl | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/GromovWitten.jl b/src/GromovWitten.jl index 771959f..baee54a 100644 --- a/src/GromovWitten.jl +++ b/src/GromovWitten.jl @@ -6,7 +6,7 @@ module GromovWitten using Nemo, Graphs, Combinatorics,StatsBase export polynomial_ring import Graphs: nv,ne,Edge,dst, src -export FeynmanGraph,nv,ne,PolynomialRing,QQ,FeynmanIntegral +export FeynmanGraph,nv,ne,PolynomialRing,QQ,FeynmanIntegral,feynman_graph export polynomial_ring,constterm, proterm, propagator, coefterm, partition, preimg, substitute,flip,signature_and_multiplicities_order, feynman_integral_branch_type, feynman_integral_degree,feynman_integral_degree_sum_order,feynman_integral_degree_sum,sum_of_coeff,loopterm, flip_signature,signature_and_multiplicities, feynman_integral_branch_type_order,feynman_integral_degree_order,lis,filter_term,filter_vector, diff --git a/src/graph.jl b/src/graph.jl index bd26ff7..7627457 100644 --- a/src/graph.jl +++ b/src/graph.jl @@ -9,7 +9,9 @@ end # edge(G::FeynmanGraph) = Edge.(G.edge) nv(G::FeynmanGraph) = nv(DiGraph(Edge.(G.edge))) ne(G::FeynmanGraph) = length(Edge.(G.edge)) - +function feynman_graph(edges::Vector{Tuple{Int, Int}}) + return FeynmanGraph(edges) +end #=function polynomial_ring(G::FeynmanGraph, x::String, q::String, z::String) ee=Edge.(G.edge) if length(ee)==0 From 9f22eff7e510e5413b95edb2b3cad94a5fe91ab0 Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 25 Jan 2024 23:31:54 +0100 Subject: [PATCH 20/54] quasimodular pause --- src/GromovWitten.jl | 2 +- src/coeftermV.jl | 2 +- src/quasimodular.jl | 36 ++++++++++++++++++------------------ test/quasimod.jl | 6 +++--- test/runtests.jl | 2 +- 5 files changed, 24 insertions(+), 24 deletions(-) diff --git a/src/GromovWitten.jl b/src/GromovWitten.jl index baee54a..644fb52 100644 --- a/src/GromovWitten.jl +++ b/src/GromovWitten.jl @@ -20,6 +20,6 @@ include("coeftermV.jl") include("coefterm.jl") include("feynmanIntegral.jl") include("propagator.jl") -#include("quasimodular.jl") +include("quasimodular.jl") include("hashtable.jl") end diff --git a/src/coeftermV.jl b/src/coeftermV.jl index fa2802c..707e9eb 100644 --- a/src/coeftermV.jl +++ b/src/coeftermV.jl @@ -160,7 +160,7 @@ julia> filter_term(p,q[1],1) q[1] ``` """ - function filter_term(pols::Union{QQMPolyRingElem, Int64}, variables::Union{Vector{QQMPolyRingElem}, QQMPolyRingElem}, power::Union{Vector{Int64}, Int64}) + function filter_term(pols::Union{QQMPolyRingElem,QQPolyRingElem, Int64}, variables::Union{Vector{QQPolyRingElem},Vector{QQMPolyRingElem}, QQMPolyRingElem,QQPolyRingElem}, power::Union{Vector{Int64}, Int64}) if typeof(variables) <: QQMPolyRingElem T = parent(variables) pols = T(pols) diff --git a/src/quasimodular.jl b/src/quasimodular.jl index 0b6f773..b4eaa51 100644 --- a/src/quasimodular.jl +++ b/src/quasimodular.jl @@ -1,5 +1,5 @@ -#=function filter_term(pols::Union{QQMPolyRingElem, Int64}, variables::Vector{QQMPolyRingElem}, power::Vector{Int64}) +#=function filter_term(pols::Union{QQPolyRingElem, Int64}, variables::Vector{QQPolyRingElem}, power::Vector{Int64}) T = parent(variables[1]) if typeof(pols) <: Integer pols = T(pols) @@ -22,24 +22,24 @@ end =# @doc raw""" - filter_vector(polyvector::Vector{QQMPolyRingElem}, variables::Union{Vector{QQMPolyRingElem}, QQMPolyRingElem}, power::Union{Vector{Int64}, Int64}) + filter_vector(polyvector::Vector{QQPolyRingElem}, variables::Union{Vector{QQPolyRingElem}, QQPolyRingElem}, power::Union{Vector{Int64}, Int64}) returns the number filter_term of function in a vector of polynomial. # Example ```julia -julia> R,q=@polynomial_ring(QQ,q) +julia> R,q= polynomial_ring(QQ,:q) julia> v=[-122976*q^6 - 16632*q^4 - 504*q^2 + 1, -645120*q^12 - 691200*q^10 - 339840*q^8 - 62496*q^6 - 3672*q^4 + 216*q^2 + 1, -884736*q^18 - 1990656*q^16 - 2156544*q^14 - 1340928*q^12 - 497664*q^10 - 95040*q^8 - 3744*q^6 + 1512*q^4 - 72*q^2 + 1] julia> filter_vector(v,q,6) -3-element Vector{QQMPolyRingElem}: +3-element Vector{QQPolyRingElem}: -122976*q^6 - 16632*q^4 - 504*q^2 + 1 -62496*q^6 - 3672*q^4 + 216*q^2 + 1 -3744*q^6 + 1512*q^4 - 72*q^2 + 1 ``` """ -function filter_vector(polyvector::Vector{QQMPolyRingElem}, variables::Union{Vector{QQMPolyRingElem}, QQMPolyRingElem}, power::Union{Vector{Int64}, Int64}) - result = Vector{QQMPolyRingElem}() +function filter_vector(polyvector::Vector{QQPolyRingElem}, variables::Union{Vector{QQPolyRingElem}, QQPolyRingElem}, power::Union{Vector{Int64}, Int64}) + result = Vector{QQPolyRingElem}() for pols in polyvector push!(result, filter_term(pols, variables, power)) end @@ -84,7 +84,7 @@ julia> eisenstein_series(5,4) #E4 ``` - eisenstein_series( num_terms::Int,k::Int,q::Union{QQMPolyRingElem, Vector{QQMPolyRingElem}}) + eisenstein_series( num_terms::Int,k::Int,q::Union{QQPolyRingElem, Vector{QQPolyRingElem}}) ```julia @@ -94,11 +94,11 @@ julia> eisenstein_series(5,4,q) #E4 30240*q^10 + 17520*q^8 + 6720*q^6 + 2160*q^4 + 240*q^2 + 1 ``` """ -function eisenstein_series( num_terms::Int,k::Int,q::Union{QQMPolyRingElem, Vector{QQMPolyRingElem}}) +function eisenstein_series( num_terms::Int,k::Int,q::Union{QQPolyRingElem, Vector{QQPolyRingElem}}) if k % 2 != 0 error("input k must be even in eisenstein_series(q, num_terms,k)") end - if typeof(q) == Vector{QQMPolyRingElem} + if typeof(q) == Vector{QQPolyRingElem} return e2 = 1 - ((((2*k)// bernoulli(k))))* sum(sum_of_divisor_powers(d, k-1) * q[1]^(2*d) for d in 1:num_terms) else return e2 = 1 - ((((2*k)// bernoulli(k))))* sum(sum_of_divisor_powers(d, k-1) * q^(2*d) for d in 1:num_terms) @@ -113,7 +113,7 @@ function eisenstein_series( num_terms::Int,k::Int) end function express_as_powers( max_degree::Int,weightmax::Int64) - result = Vector{QQMPolyRingElem}() + result = Vector{QQPolyRingElem}() nb=Int64(max_degree) E6=eisenstein_series( nb,6) E4=eisenstein_series( nb,4) @@ -132,7 +132,7 @@ function express_as_powers( max_degree::Int,weightmax::Int64) end function express_as_eisenstein_series(n::Int) - S,E2,E4,E6=@polynomial_ring(QQ,E2,E4,E6) + S,(E2,E4,E6)=polynomial_ring(QQ,["E2","E4","E6"]) expressions = [] for e2 in 0:n for e4 in 0:n @@ -157,7 +157,7 @@ function express_as_eisenstein_series(n::Int) return expressions end @doc raw""" - polynomial_to_matrix(vect::Vector{QQMPolyRingElem}) + polynomial_to_matrix(vect::Vector{QQPolyRingElem}) returns a matrix fromed by the coefficients of a given vector of polynomials with same degree. The returned matrix is of type QQMatrix. @@ -174,12 +174,12 @@ julia> polynomial_to_matrix(vp) [-122976 -62496 -3744] ``` """ -function polynomial_to_matrix(vect::Vector{QQMPolyRingElem}) +function polynomial_to_matrix(vect::Vector{QQPolyRingElem}) A = matrix(QQ, hcat([collect(coefficients_of_univariate(poly)) for poly in vect]...)) return A end @doc raw""" - polynomial_to_matrix(vect::Vector{QQMPolyRingElem}) + polynomial_to_matrix(vect::Vector{QQPolyRingElem}) returns a matrix from a given polynomial. The returned matrix is of type QQMatrix. @@ -198,7 +198,7 @@ julia> matrix_of_integral(Iq) [25344] ``` """ -function matrix_of_integral(Iq::QQMPolyRingElem) +function matrix_of_integral(Iq::QQPolyRingElem) # Obtain the coefficients of Iq Q = coefficients_of_univariate(Iq) @@ -226,7 +226,7 @@ function solve_polynomial_system(A::QQMatrix, Q::QQMatrix) end end #=@doc raw""" - quasi_matrix(q::Union{QQMPolyRingElem, Vector{QQMPolyRingElem}},Iq::QQMPolyRingElem, max_degree::Int64) + quasi_matrix(q::Union{QQPolyRingElem, Vector{QQPolyRingElem}},Iq::QQPolyRingElem, max_degree::Int64) returns solution of the system $Ax=b$, where A is a matrix from homogeneous Eisenstein series $E_2, E_4, E_6$ and $b$ from the Feynman Integral $I(q)$ @@ -241,7 +241,7 @@ julia> quasi_matrix(q,Iq,12) (1//93312, QQFieldElem[4; 4; -12; -3; 4; 6; -3]) ``` """=# -function quasi_matrix(Iq::QQMPolyRingElem, weightmax::Int64) +function quasi_matrix(Iq::QQPolyRingElem, weightmax::Int64) q=vars(Iq) max_degree=total_degree(Iq) Evector=filter_vector(express_as_powers(max_degree,weightmax),q,max_degree) @@ -257,7 +257,7 @@ This leads to $$I(q)=\sum_{i,j,k} b_{i,j,k} E_2^i E_4^j E_6^k$$ ```julia -julia> R,q=@polynomial_ring(QQ,q) +julia> R,q= polynomial_ring(QQ,:q) julia> Iq=886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 +32q^4 ``` diff --git a/test/quasimod.jl b/test/quasimod.jl index 989acc9..b4e2658 100644 --- a/test/quasimod.jl +++ b/test/quasimod.jl @@ -1,7 +1,7 @@ @testset "quasimod.jl" begin import Nemo: QQFieldElem - S,E2,E4,E6=@polynomial_ring(QQ,E2,E4,E6) - R, q = @polynomial_ring(QQ,q) + S,(E2,E4,E6)=polynomial_ring(QQ,["E2","E4","E6"]) + R, q = polynomial_ring(QQ,:q) ve=[(1, 3), (1,2),(1, 2), (2, 4) ,(3, 4),(3,4)] G=FeynmanGraph(ve) F=FeynmanIntegral(G) @@ -136,7 +136,7 @@ end Iq= 886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 + 32*q^4 - @testset "quasi_matrix case Vector{QQMPolyRingElem}" begin + @testset "quasi_matrix case Vector{QQPolyRingElem}" begin weightmax=12 expected_result = (QQFieldElem(1//93312),QQFieldElem[4 diff --git a/test/runtests.jl b/test/runtests.jl index 513a06c..7d919eb 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -3,5 +3,5 @@ using Test include("coefterm.jl") include("feynmanIntegral.jl") include("feynmanint.jl") -include("quasimod.jl") +#include("quasimod.jl") include("function.jl") \ No newline at end of file From 17ef9e08848526542a39242a114bdf94728f1cf8 Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 25 Jan 2024 23:48:33 +0100 Subject: [PATCH 21/54] graph --- src/GromovWitten.jl | 2 +- src/graph.jl | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/GromovWitten.jl b/src/GromovWitten.jl index 644fb52..6283358 100644 --- a/src/GromovWitten.jl +++ b/src/GromovWitten.jl @@ -6,7 +6,7 @@ module GromovWitten using Nemo, Graphs, Combinatorics,StatsBase export polynomial_ring import Graphs: nv,ne,Edge,dst, src -export FeynmanGraph,nv,ne,PolynomialRing,QQ,FeynmanIntegral,feynman_graph +export FeynmanGraph,nv,ne,PolynomialRing,QQ,FeynmanIntegral,feynman_graph,feynman_integral export polynomial_ring,constterm, proterm, propagator, coefterm, partition, preimg, substitute,flip,signature_and_multiplicities_order, feynman_integral_branch_type, feynman_integral_degree,feynman_integral_degree_sum_order,feynman_integral_degree_sum,sum_of_coeff,loopterm, flip_signature,signature_and_multiplicities, feynman_integral_branch_type_order,feynman_integral_degree_order,lis,filter_term,filter_vector, diff --git a/src/graph.jl b/src/graph.jl index 7627457..254a06c 100644 --- a/src/graph.jl +++ b/src/graph.jl @@ -9,6 +9,7 @@ end # edge(G::FeynmanGraph) = Edge.(G.edge) nv(G::FeynmanGraph) = nv(DiGraph(Edge.(G.edge))) ne(G::FeynmanGraph) = length(Edge.(G.edge)) + function feynman_graph(edges::Vector{Tuple{Int, Int}}) return FeynmanGraph(edges) end @@ -50,5 +51,8 @@ struct FeynmanIntegral F = FeynmanIntegral(G) return F end +end +function feynman_integral(G::FeynmanGraph) + return FeynmanIntegral(G) end edge(F::FeynmanIntegral) = Edge.(F.G.edge) \ No newline at end of file From d8ecc3dbcfed1f859939c684369af0b0350dfac5 Mon Sep 17 00:00:00 2001 From: blociss Date: Fri, 26 Jan 2024 00:44:00 +0100 Subject: [PATCH 22/54] quasimodular added --- docs/src/quasimodular.md | 16 ++++++---------- src/quasimodular.jl | 40 ++++++++++++++++++++-------------------- test/quasimod.jl | 20 ++++++++++---------- test/runtests.jl | 2 +- 4 files changed, 37 insertions(+), 41 deletions(-) diff --git a/docs/src/quasimodular.md b/docs/src/quasimodular.md index 334bda4..6c0eb9b 100644 --- a/docs/src/quasimodular.md +++ b/docs/src/quasimodular.md @@ -52,16 +52,12 @@ julia> Iq=substitute(feynman_integral_degree_sum(F,6)) To express the Feynman Integral Iq in term of Eisenstein series $E_2, E_4, E_6$, we define a polynomial ring in q ```jldoctest quasi -julia> R,q=@polynomial_ring(QQ,q) -(Multivariate polynomial ring in 1 variable over QQ, q) +julia> R,q=polynomial_ring(QQ,["q"]) +(Multivariate polynomial ring in 1 variable over QQ, Nemo.QQMPolyRingElem[q]) ``` - - - - ```jldoctest quasi -julia> Iqq=886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 + 32*q^4 +julia> Iqq=886656*q[1]^12 + 182272*q[1]^10 + 25344*q[1]^8 + 1792*q[1]^6 + 32*q[1]^4 886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 + 32*q^4 ``` @@ -83,14 +79,14 @@ We want to find the quasimodular form of the sum of Feynman Integral $Iq$ up to We define first a polynomial ring in one variable $q$. ```jldoctest form -julia> R,q=@polynomial_ring(QQ,q) -(Multivariate polynomial ring in 1 variable over QQ, q) +julia> R,q=polynomial_ring(QQ,["q"]) +(Multivariate polynomial ring in 1 variable over QQ, Nemo.QQMPolyRingElem[q]) ``` The sum of Feynman Integral up to degree 6 is: ```jldoctest form -julia> Iq= 843264*q^12 + 165888*q^10 + 20736*q^8 + 1152*q^6 +julia> Iq= 843264*q[1]^12 + 165888*q[1]^10 + 20736*q[1]^8 + 1152*q[1]^6 843264*q^12 + 165888*q^10 + 20736*q^8 + 1152*q^6 ``` diff --git a/src/quasimodular.jl b/src/quasimodular.jl index b4eaa51..9b698ee 100644 --- a/src/quasimodular.jl +++ b/src/quasimodular.jl @@ -1,5 +1,5 @@ -#=function filter_term(pols::Union{QQPolyRingElem, Int64}, variables::Vector{QQPolyRingElem}, power::Vector{Int64}) +#=function filter_term(pols::Union{QQMPolyRingElem, Int64}, variables::Vector{QQMPolyRingElem}, power::Vector{Int64}) T = parent(variables[1]) if typeof(pols) <: Integer pols = T(pols) @@ -22,24 +22,24 @@ end =# @doc raw""" - filter_vector(polyvector::Vector{QQPolyRingElem}, variables::Union{Vector{QQPolyRingElem}, QQPolyRingElem}, power::Union{Vector{Int64}, Int64}) + filter_vector(polyvector::Vector{QQMPolyRingElem}, variables::Union{Vector{QQMPolyRingElem}, QQMPolyRingElem}, power::Union{Vector{Int64}, Int64}) returns the number filter_term of function in a vector of polynomial. # Example ```julia -julia> R,q= polynomial_ring(QQ,:q) +julia> R,q=polynomial_ring(QQ,["q"]) julia> v=[-122976*q^6 - 16632*q^4 - 504*q^2 + 1, -645120*q^12 - 691200*q^10 - 339840*q^8 - 62496*q^6 - 3672*q^4 + 216*q^2 + 1, -884736*q^18 - 1990656*q^16 - 2156544*q^14 - 1340928*q^12 - 497664*q^10 - 95040*q^8 - 3744*q^6 + 1512*q^4 - 72*q^2 + 1] julia> filter_vector(v,q,6) -3-element Vector{QQPolyRingElem}: +3-element Vector{QQMPolyRingElem}: -122976*q^6 - 16632*q^4 - 504*q^2 + 1 -62496*q^6 - 3672*q^4 + 216*q^2 + 1 -3744*q^6 + 1512*q^4 - 72*q^2 + 1 ``` """ -function filter_vector(polyvector::Vector{QQPolyRingElem}, variables::Union{Vector{QQPolyRingElem}, QQPolyRingElem}, power::Union{Vector{Int64}, Int64}) - result = Vector{QQPolyRingElem}() +function filter_vector(polyvector::Vector{QQMPolyRingElem}, variables::Union{Vector{QQMPolyRingElem}, QQMPolyRingElem}, power::Union{Vector{Int64}, Int64}) + result = Vector{QQMPolyRingElem}() for pols in polyvector push!(result, filter_term(pols, variables, power)) end @@ -84,7 +84,7 @@ julia> eisenstein_series(5,4) #E4 ``` - eisenstein_series( num_terms::Int,k::Int,q::Union{QQPolyRingElem, Vector{QQPolyRingElem}}) + eisenstein_series( num_terms::Int,k::Int,q::Union{QQMPolyRingElem, Vector{QQMPolyRingElem}}) ```julia @@ -94,26 +94,26 @@ julia> eisenstein_series(5,4,q) #E4 30240*q^10 + 17520*q^8 + 6720*q^6 + 2160*q^4 + 240*q^2 + 1 ``` """ -function eisenstein_series( num_terms::Int,k::Int,q::Union{QQPolyRingElem, Vector{QQPolyRingElem}}) +function eisenstein_series( num_terms::Int,k::Int,q::Union{QQMPolyRingElem, Vector{QQMPolyRingElem}}) if k % 2 != 0 error("input k must be even in eisenstein_series(q, num_terms,k)") end - if typeof(q) == Vector{QQPolyRingElem} + if typeof(q) == Vector{QQMPolyRingElem} return e2 = 1 - ((((2*k)// bernoulli(k))))* sum(sum_of_divisor_powers(d, k-1) * q[1]^(2*d) for d in 1:num_terms) else - return e2 = 1 - ((((2*k)// bernoulli(k))))* sum(sum_of_divisor_powers(d, k-1) * q^(2*d) for d in 1:num_terms) + return e2 = 1 - ((((2*k)// bernoulli(k))))* sum(sum_of_divisor_powers(d, k-1) * q[1]^(2*d) for d in 1:num_terms) end end function eisenstein_series( num_terms::Int,k::Int) if k % 2 != 0 error("input k must be even in eisenstein_series(q, num_terms,k)") end - S, q = polynomial_ring(QQ,:q) - return e2 = 1 - ((((2*k)// bernoulli(k))))* sum(sum_of_divisor_powers(d, k-1) * q^(2*d) for d in 1:num_terms) + S,q=polynomial_ring(QQ,["q"]) + return e2 = 1 - ((((2*k)// bernoulli(k))))* sum(sum_of_divisor_powers(d, k-1) * q[1]^(2*d) for d in 1:num_terms) end function express_as_powers( max_degree::Int,weightmax::Int64) - result = Vector{QQPolyRingElem}() + result = Vector{QQMPolyRingElem}() nb=Int64(max_degree) E6=eisenstein_series( nb,6) E4=eisenstein_series( nb,4) @@ -157,7 +157,7 @@ function express_as_eisenstein_series(n::Int) return expressions end @doc raw""" - polynomial_to_matrix(vect::Vector{QQPolyRingElem}) + polynomial_to_matrix(vect::Vector{QQMPolyRingElem}) returns a matrix fromed by the coefficients of a given vector of polynomials with same degree. The returned matrix is of type QQMatrix. @@ -174,12 +174,12 @@ julia> polynomial_to_matrix(vp) [-122976 -62496 -3744] ``` """ -function polynomial_to_matrix(vect::Vector{QQPolyRingElem}) +function polynomial_to_matrix(vect::Vector{QQMPolyRingElem}) A = matrix(QQ, hcat([collect(coefficients_of_univariate(poly)) for poly in vect]...)) return A end @doc raw""" - polynomial_to_matrix(vect::Vector{QQPolyRingElem}) + polynomial_to_matrix(vect::Vector{QQMPolyRingElem}) returns a matrix from a given polynomial. The returned matrix is of type QQMatrix. @@ -198,7 +198,7 @@ julia> matrix_of_integral(Iq) [25344] ``` """ -function matrix_of_integral(Iq::QQPolyRingElem) +function matrix_of_integral(Iq::QQMPolyRingElem) # Obtain the coefficients of Iq Q = coefficients_of_univariate(Iq) @@ -226,7 +226,7 @@ function solve_polynomial_system(A::QQMatrix, Q::QQMatrix) end end #=@doc raw""" - quasi_matrix(q::Union{QQPolyRingElem, Vector{QQPolyRingElem}},Iq::QQPolyRingElem, max_degree::Int64) + quasi_matrix(q::Union{QQMPolyRingElem, Vector{QQMPolyRingElem}},Iq::QQMPolyRingElem, max_degree::Int64) returns solution of the system $Ax=b$, where A is a matrix from homogeneous Eisenstein series $E_2, E_4, E_6$ and $b$ from the Feynman Integral $I(q)$ @@ -241,7 +241,7 @@ julia> quasi_matrix(q,Iq,12) (1//93312, QQFieldElem[4; 4; -12; -3; 4; 6; -3]) ``` """=# -function quasi_matrix(Iq::QQPolyRingElem, weightmax::Int64) +function quasi_matrix(Iq::QQMPolyRingElem, weightmax::Int64) q=vars(Iq) max_degree=total_degree(Iq) Evector=filter_vector(express_as_powers(max_degree,weightmax),q,max_degree) @@ -257,7 +257,7 @@ This leads to $$I(q)=\sum_{i,j,k} b_{i,j,k} E_2^i E_4^j E_6^k$$ ```julia -julia> R,q= polynomial_ring(QQ,:q) +julia> R,q=@polynomial_ring(QQ,q) julia> Iq=886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 +32q^4 ``` diff --git a/test/quasimod.jl b/test/quasimod.jl index b4e2658..5e19259 100644 --- a/test/quasimod.jl +++ b/test/quasimod.jl @@ -1,8 +1,8 @@ @testset "quasimod.jl" begin import Nemo: QQFieldElem S,(E2,E4,E6)=polynomial_ring(QQ,["E2","E4","E6"]) - R, q = polynomial_ring(QQ,:q) - ve=[(1, 3), (1,2),(1, 2), (2, 4) ,(3, 4),(3,4)] + R,q=polynomial_ring(QQ,["q"]) + ve=[(1, 3), (1,2),(1, 2), (2, 4) ,(3, 4),(3,4)] G=FeynmanGraph(ve) F=FeynmanIntegral(G) @testset "express_as_eisenstein_series test" begin @@ -27,13 +27,13 @@ @test_throws ErrorException eisenstein_series(6,3) end - @test eisenstein_series(6,2)==-288*q^12 - 144*q^10 - 168*q^8 - 96*q^6 - 72*q^4 - 24*q^2 + 1 + @test eisenstein_series(6,2)==-288*q[1]^12 - 144*q[1]^10 - 168*q[1]^8 - 96*q[1]^6 - 72*q[1]^4 - 24*q[1]^2 + 1 @testset "express_as_powers test" begin expected_result = [ - 60480*q^12 + 30240*q^10 + 17520*q^8 + 6720*q^6 + 2160*q^4 + 240*q^2 + 1 - 82944*q^24 + 82944*q^22 + 117504*q^20 + 103680*q^18 + 97344*q^16 + 66816*q^14 + 39744*q^12 + 21600*q^10 + 9456*q^8 + 3264*q^6 + 432*q^4 - 48*q^2 + 1 + 60480*q[1]^12 + 30240*q[1]^10 + 17520*q[1]^8 + 6720*q[1]^6 + 2160*q[1]^4 + 240*q[1]^2 + 1 + 82944*q[1]^24 + 82944*q[1]^22 + 117504*q[1]^20 + 103680*q[1]^18 + 97344*q[1]^16 + 66816*q[1]^14 + 39744*q[1]^12 + 21600*q[1]^10 + 9456*q[1]^8 + 3264*q[1]^6 + 432*q[1]^4 - 48*q[1]^2 + 1 ] @test express_as_powers(6,4) == expected_result end @@ -41,8 +41,8 @@ ep=express_as_powers(6,4) @testset "filter_vector test" begin expected_result = [ - 6720*q^6 + 2160*q^4 + 240*q^2 + 1 - 3264*q^6 + 432*q^4 - 48*q^2 + 1 + 6720*q[1]^6 + 2160*q[1]^4 + 240*q[1]^2 + 1 + 3264*q[1]^6 + 432*q[1]^4 - 48*q[1]^2 + 1 ] @test filter_vector(ep,q,6)==expected_result end @@ -115,7 +115,7 @@ @test result[2][i] == expected_result[2][i] end end - Iq= 886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 + 32*q^4 + Iq= 886656*q[1]^12 + 182272*q[1]^10 + 25344*q[1]^8 + 1792*q[1]^6 + 32*q[1]^4 @testset "quasi_matrix case QQFieldElem " begin @@ -134,7 +134,7 @@ @test result[2][i] == expected_result[2][i] end end - Iq= 886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 + 32*q^4 + Iq= 886656*q[1]^12 + 182272*q[1]^10 + 25344*q[1]^8 + 1792*q[1]^6 + 32*q[1]^4 @testset "quasi_matrix case Vector{QQPolyRingElem}" begin weightmax=12 @@ -154,7 +154,7 @@ @test result[2][i] == expected_result[2][i] end end - Jq= 843264*q^12 + 165888*q^10 + 20736*q^8 + 1152*q^6 + Jq= 843264*q[1]^12 + 165888*q[1]^10 + 20736*q[1]^8 + 1152*q[1]^6 @testset "quasimodular_form" begin weightmax=12 diff --git a/test/runtests.jl b/test/runtests.jl index 7d919eb..513a06c 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -3,5 +3,5 @@ using Test include("coefterm.jl") include("feynmanIntegral.jl") include("feynmanint.jl") -#include("quasimod.jl") +include("quasimod.jl") include("function.jl") \ No newline at end of file From bd6a2e67e596cbdd8d6f48ce969dba049143cee6 Mon Sep 17 00:00:00 2001 From: blociss Date: Fri, 26 Jan 2024 06:16:02 +0100 Subject: [PATCH 23/54] manifest --- Manifest.toml | 2 +- Project.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index dff6af1..ae83dca 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "a41b7a6e78023a5e21e0ffce3fbd71ea5bfaf05f" +project_hash = "2e2f9a50fbe39b8444ca0b072aa3319d1b3ddaaa" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" diff --git a/Project.toml b/Project.toml index 66e676a..d5f853a 100644 --- a/Project.toml +++ b/Project.toml @@ -16,7 +16,7 @@ StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" [compat] Nemo = "0.39.1" StatsBase = "0.34" -julia = "1.1" +julia = "1.2" [extras] Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" From f42a6b4f38fcc02f7596ad97bdb2c87c18b8c34d Mon Sep 17 00:00:00 2001 From: blociss Date: Fri, 26 Jan 2024 06:40:42 +0100 Subject: [PATCH 24/54] docu --- .github/workflows/document.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/document.yml b/.github/workflows/document.yml index 8d7abd1..996b240 100644 --- a/.github/workflows/document.yml +++ b/.github/workflows/document.yml @@ -13,7 +13,7 @@ jobs: - uses: actions/checkout@v2 - uses: julia-actions/setup-julia@latest with: - version: '1' + version: '1.6' - name: Install dependencies run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()' - name: Build and deploy From 0f65bbf55ef34714b61c55820fefffedcbaca9cb Mon Sep 17 00:00:00 2001 From: blociss <46294807+blociss@users.noreply.github.com> Date: Fri, 26 Jan 2024 06:54:51 +0100 Subject: [PATCH 25/54] Update CI.yml --- .github/workflows/CI.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index ed10bd1..541ed2f 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -14,7 +14,7 @@ jobs: fail-fast: false matrix: version: - #- '1.7' + - '1.7' - '1.9' # - 'nightly' os: @@ -33,4 +33,4 @@ jobs: - uses: julia-actions/julia-processcoverage@v1 - uses: codecov/codecov-action@v2 with: - files: lcov.info \ No newline at end of file + files: lcov.info From 4103f189f98fb1a2da6278c915132a407d614ae9 Mon Sep 17 00:00:00 2001 From: blociss Date: Fri, 26 Jan 2024 07:04:01 +0100 Subject: [PATCH 26/54] update OpenBLAS32_jll --- .github/workflows/CI.yml | 2 +- Manifest.toml | 2 +- Project.toml | 1 - 3 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 541ed2f..1765ccb 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -14,7 +14,7 @@ jobs: fail-fast: false matrix: version: - - '1.7' + #- '1.7' - '1.9' # - 'nightly' os: diff --git a/Manifest.toml b/Manifest.toml index ae83dca..20701f2 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "2e2f9a50fbe39b8444ca0b072aa3319d1b3ddaaa" +project_hash = "79d230bdb9336e7cb408042b41c2dc98bc3fc6d1" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" diff --git a/Project.toml b/Project.toml index d5f853a..2865ded 100644 --- a/Project.toml +++ b/Project.toml @@ -9,7 +9,6 @@ Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" -OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" From ad2eb91fe959bb2d6bb3fed3cfa3af8fe701742a Mon Sep 17 00:00:00 2001 From: blociss <46294807+blociss@users.noreply.github.com> Date: Fri, 26 Jan 2024 07:28:36 +0100 Subject: [PATCH 27/54] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 6703748..db32d56 100644 --- a/README.md +++ b/README.md @@ -25,10 +25,10 @@ The package GromovWitten computes generating series for tropical Hurwitz numbers We assume that Julia is installed in a recent enough version to run OSCAR. Navigate in a terminal to the folder where you want to install the package and pull the package from Github: ```bash -git pull https://github.com/singular-gpispace/GromovWitten.git +git clone https://github.com/singular-gpispace/GromovWitten.git ``` -I the same folder execute the following command: +Navigate to GromovWitten folder execute the following command: ```bash julia --project From edd66d8f8529d769394999fa64470fb8b1a858cf Mon Sep 17 00:00:00 2001 From: blociss <46294807+blociss@users.noreply.github.com> Date: Fri, 26 Jan 2024 07:30:06 +0100 Subject: [PATCH 28/54] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index db32d56..1053d98 100644 --- a/README.md +++ b/README.md @@ -52,7 +52,7 @@ using GromovWitten ![alt text](docs/src/img/Cartepillar3.png) ```julia -julia> G = FeynmanGraph([(1, 3), (1, 2), (1, 2), (2, 4), (3, 4), (3,4)] ) +julia> G = feynman_graph([(1, 3), (1, 2), (1, 2), (2, 4), (3, 4), (3,4)] ) graph([(1, 3), (1, 2), (1, 2), (2, 4), (3, 4), (3, 4)]) ``` @@ -98,7 +98,7 @@ We can try to catch the previous result in a table. To do that, we define `feynman_integral_branch_type_cache` , `feynman_integral_degree_cache` and `feynman_integral_degree__sum_cache`. The last one returns the univariable polynomial of Feynman integral sum up to degree $d$. We define first the Feynman graph, ```julia -julia> G = FeynmanGraph([(1, 3), (1, 2), (1, 2), (2, 4), (3, 4), (3,4)] ) +julia> G = feynman_graph([(1, 3), (1, 2), (1, 2), (2, 4), (3, 4), (3,4)] ) graph([(1, 3), (1, 2), (1, 2), (2, 4), (3, 4), (3, 4)]) ``` From d60bc35f41993d50ae4367acfbfad2587bb8dcc4 Mon Sep 17 00:00:00 2001 From: blociss <46294807+blociss@users.noreply.github.com> Date: Fri, 26 Jan 2024 07:31:30 +0100 Subject: [PATCH 29/54] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 1053d98..0718a0d 100644 --- a/README.md +++ b/README.md @@ -57,7 +57,7 @@ graph([(1, 3), (1, 2), (1, 2), (2, 4), (3, 4), (3, 4)]) ``` ```julia -julia> F=FeynmanIntegral(G) +julia> F=feynman_integral(G) ``` ```julia @@ -103,7 +103,7 @@ graph([(1, 3), (1, 2), (1, 2), (2, 4), (3, 4), (3, 4)]) ``` ```julia -julia> F=FeynmanIntegral(G) +julia> F=feynman_integral(G) ``` we cache the Feynman Integral. ```julia From 16e18d2f2a236e80a43d2505bd4e9790ca72a26e Mon Sep 17 00:00:00 2001 From: blociss <46294807+blociss@users.noreply.github.com> Date: Fri, 26 Jan 2024 10:31:52 +0100 Subject: [PATCH 30/54] OpenBLAS32_jll --- Project.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/Project.toml b/Project.toml index 2865ded..8e9a4f4 100644 --- a/Project.toml +++ b/Project.toml @@ -11,6 +11,7 @@ Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" +OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" [compat] Nemo = "0.39.1" From c933f8a1c74ff8e6bb5a5ba4851af742217b1471 Mon Sep 17 00:00:00 2001 From: blociss Date: Fri, 26 Jan 2024 11:56:24 +0100 Subject: [PATCH 31/54] OpenBLAS32_jll --- Manifest.toml | 2 +- Project.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 20701f2..ae83dca 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "79d230bdb9336e7cb408042b41c2dc98bc3fc6d1" +project_hash = "2e2f9a50fbe39b8444ca0b072aa3319d1b3ddaaa" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" diff --git a/Project.toml b/Project.toml index 8e9a4f4..d5f853a 100644 --- a/Project.toml +++ b/Project.toml @@ -9,9 +9,9 @@ Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" +OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" -OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" [compat] Nemo = "0.39.1" From 81e9536d8527a819613dce3e3fcadf848770d103 Mon Sep 17 00:00:00 2001 From: blociss Date: Sun, 28 Jan 2024 16:38:17 +0100 Subject: [PATCH 32/54] manifest --- Manifest.toml | 18 ++++++------------ Project.toml | 2 +- src/coeftermV.jl | 4 ++-- src/propagator.jl | 8 ++++---- src/quasimodular.jl | 30 +++++++++++++++--------------- 5 files changed, 28 insertions(+), 34 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index ae83dca..53fbd0f 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "2e2f9a50fbe39b8444ca0b072aa3319d1b3ddaaa" +project_hash = "8afd9431532c43225f90e99e5d0aaa3719e22b31" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" @@ -10,10 +10,10 @@ uuid = "a4c015fc-c6ff-483c-b24f-f7ea428134e9" version = "0.0.1" [[deps.AbstractAlgebra]] -deps = ["GroupsCore", "InteractiveUtils", "LinearAlgebra", "MacroTools", "Preferences", "Random", "RandomExtensions", "SparseArrays", "Test"] -git-tree-sha1 = "f548e31d85b4f98ee3ce6d905338bc7221fd3395" +deps = ["InteractiveUtils", "LinearAlgebra", "MacroTools", "Preferences", "Random", "RandomExtensions", "SparseArrays", "Test"] +git-tree-sha1 = "208722b1b4ddc970df3c357c37ccf9acd6b19e17" uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" -version = "0.35.3" +version = "0.36.6" [[deps.AbstractTrees]] git-tree-sha1 = "faa260e4cb5aba097a73fab382dd4b5819d8ec8c" @@ -160,12 +160,6 @@ git-tree-sha1 = "899050ace26649433ef1af25bc17a815b3db52b7" uuid = "86223c79-3864-5bf0-83f7-82e725a168b6" version = "1.9.0" -[[deps.GroupsCore]] -deps = ["Markdown", "Random"] -git-tree-sha1 = "6df9cd6ee79fc59feab33f63a1b3c9e95e2461d5" -uuid = "d5909c97-4eac-4ecc-a3dc-fdd0858a4120" -version = "0.4.2" - [[deps.IOCapture]] deps = ["Logging", "Random"] git-tree-sha1 = "8b72179abc660bfab5e28472e019392b97d0985c" @@ -307,9 +301,9 @@ version = "2022.10.11" [[deps.Nemo]] deps = ["AbstractAlgebra", "Antic_jll", "Arb_jll", "Calcium_jll", "FLINT_jll", "Libdl", "LinearAlgebra", "Pkg", "Random", "RandomExtensions", "SHA"] -git-tree-sha1 = "26d12d1c2995ef0fd6d520f41b7a2f41e8c5ba03" +git-tree-sha1 = "941541c4e8a9b7c6583b882a79841c3556f85ddf" uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a" -version = "0.39.1" +version = "0.40.1" [[deps.NetworkOptions]] uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" diff --git a/Project.toml b/Project.toml index d5f853a..0073569 100644 --- a/Project.toml +++ b/Project.toml @@ -14,7 +14,7 @@ Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" [compat] -Nemo = "0.39.1" +Nemo = "0.40.1" StatsBase = "0.34" julia = "1.2" diff --git a/src/coeftermV.jl b/src/coeftermV.jl index 707e9eb..a998e65 100644 --- a/src/coeftermV.jl +++ b/src/coeftermV.jl @@ -15,7 +15,7 @@ z^n, {aa} \rightarrow \infty # Examples ```julia -julia> R,x=@polynomial_ring(QQ,x[1:1]); # using Nemo +julia> R,x=polynomial_ring(QQ,:x=>1:1); # using Nemo julia> sfunction(x[1],4) 1//92897280*z[1]^8 + 1//322560*z[1]^6 + 1//1920*z[1]^4 + 1//24*z[1]^2 @@ -45,7 +45,7 @@ returns the inverse sfunction Where $B_n$ is Bernoulli number and ${aa} \rightarrow \infty$. # Examples ```julia -julia> R,x=@polynomial_ring(QQ,x[1:1]); # using Nemo +julia> R,x=polynomial_ring(QQ,:x=>1:1); # using Nemo julia> inv_sfunction(x[1],4) 7//5760*x[1]^4 - 1//24*x[1]^2 + 1 ``` diff --git a/src/propagator.jl b/src/propagator.jl index de71579..4e02d99 100644 --- a/src/propagator.jl +++ b/src/propagator.jl @@ -6,7 +6,7 @@ returns the constant term of the propagator # Examples (without vertex contribution) ```julia -julia> R,x=@polynomial_ring(QQ,x[1:2]); # using Nemo. +julia> R,x=polynomial_ring(QQ,:x=>1:2); # using Nemo. julia> constterm(x[1],x[2],3) 3*x[1]^6 + 2*x[1]^5*x[2] + x[1]^4*x[2]^2 ``` @@ -19,7 +19,7 @@ here `aa=1 ` is the order for sfunction series and `` N=\sum_{n=1}^{3g-3} a_i`` # Examples (with vertex contribution) ```julia -julia> R,x,z=@polynomial_ring(QQ,x[1:2],z[1:2]); # using Nemo. +julia> R,x,z=polynomial_ring(QQ,:x=>1:2,:z=>1:2); # using Nemo. julia> constterm(x[1],x[2],z[1],z[2],1,2) 1//18*x[1]^4*z[1]^2*z[2]^2 + 1//3*x[1]^4*z[1]^2 + 1//3*x[1]^4*z[2]^2 + 2*x[1]^4 + 1//576*x[1]^3*x[2]*z[1]^2*z[2]^2 + 1//24*x[1]^3*x[2]*z[1]^2 + 1//24*x[1]^3*x[2]*z[2]^2 + x[1]^3*x[2] @@ -50,7 +50,7 @@ returns the non constant term of the propagator # Examples (without vertex contribution) ```julia -julia> R,x,q=@polynomial_ring(QQ,x[1:2],q[1:1]); # using Nemo. +julia> R,x,z=polynomial_ring(QQ,:x=>1:2,:q=>1:2); # using Nemo. julia> proterm(x[1],x[2],q[1],1,2) x[1]^3*x[2]*q[1]^2 + x[1]*x[2]^3*q[1]^2 ``` @@ -58,7 +58,7 @@ x[1]^3*x[2]*q[1]^2 + x[1]*x[2]^3*q[1]^2 proterm( x1::QQMPolyRingElem, x2::QQMPolyRingElem,z1::QQMPolyRingElem, z2::QQMPolyRingElem, q::QQMPolyRingElem, a::Integer,aa::Integer, N::Integer) ```julia -julia> R,x,q,z=@polynomial_ring(QQ,x[1:2],q[1:1],z[1:2]); # using Nemo. +julia> R,x,q,z=polynomial_ring(QQ,:x=>1:2,:q=>1:2,:z=>1:2); # using Nemo. julia> proterm(x[1],x[2],z[1],z[2],q[1],1,1,2) 1//576*x[1]^3*x[2]*q[1]^2*z[1]^2*z[2]^2 + 1//24*x[1]^3*x[2]*q[1]^2*z[1]^2 + 1//24*x[1]^3*x[2]*q[1]^2*z[2]^2 + x[1]^3*x[2]*q[1]^2 + 1//576*x[1]*x[2]^3*q[1]^2*z[1]^2*z[2]^2 + 1//24*x[1]*x[2]^3*q[1]^2*z[1]^2 + 1//24*x[1]*x[2]^3*q[1]^2*z[2]^2 + x[1]*x[2]^3*q[1]^2 ``` diff --git a/src/quasimodular.jl b/src/quasimodular.jl index 9b698ee..1ef5891 100644 --- a/src/quasimodular.jl +++ b/src/quasimodular.jl @@ -29,13 +29,13 @@ returns the number filter_term of function in a vector of polynomial. ```julia julia> R,q=polynomial_ring(QQ,["q"]) -julia> v=[-122976*q^6 - 16632*q^4 - 504*q^2 + 1, -645120*q^12 - 691200*q^10 - 339840*q^8 - 62496*q^6 - 3672*q^4 + 216*q^2 + 1, -884736*q^18 - 1990656*q^16 - 2156544*q^14 - 1340928*q^12 - 497664*q^10 - 95040*q^8 - 3744*q^6 + 1512*q^4 - 72*q^2 + 1] +julia> v=[-122976*q[1]^6 - 16632*q[1]^4 - 504*q[1]^2 + 1, -645120*q[1]^12 - 691200*q[1]^10 - 339840*q[1]^8 - 62496*q[1]^6 - 3672*q[1]^4 + 216*q[1]^2 + 1, -884736*q[1]^18 - 1990656*q[1]^16 - 2156544*q[1]^14 - 1340928*q[1]^12 - 497664*q[1]^10 - 95040*q[1]^8 - 3744*q[1]^6 + 1512*q[1]^4 - 72*q[1]^2 + 1] julia> filter_vector(v,q,6) 3-element Vector{QQMPolyRingElem}: - -122976*q^6 - 16632*q^4 - 504*q^2 + 1 - -62496*q^6 - 3672*q^4 + 216*q^2 + 1 - -3744*q^6 + 1512*q^4 - 72*q^2 + 1 + -122976*q[1]^6 - 16632*q[1]^4 - 504*q[1]^2 + 1 + -62496*q[1]^6 - 3672*q[1]^4 + 216*q[1]^2 + 1 + -3744*q[1]^6 + 1512*q[1]^4 - 72*q[1]^2 + 1 ``` """ function filter_vector(polyvector::Vector{QQMPolyRingElem}, variables::Union{Vector{QQMPolyRingElem}, QQMPolyRingElem}, power::Union{Vector{Int64}, Int64}) @@ -74,13 +74,13 @@ end Return the expansion of the weight Eisenstein series k with fixed order. -For a fixed order $m$, we compute $$E_k = 1 - \frac{2 k}{ B_k} \sum_{d=1}^{m} \sigma_{k-1}(d) q^{2 d}$$ +For a fixed order $m$, we compute $$E_k = 1 - \frac{2 k}{ B_k} \sum_{d=1}^{m} \sigma_{k-1}(d) q[1]^{2 d}$$ ```julia julia> eisenstein_series(5,2) #E2 --144*q^10 - 168*q^8 - 96*q^6 - 72*q^4 - 24*q^2 + 1 +-144*q[1]^10 - 168*q[1]^8 - 96*q[1]^6 - 72*q[1]^4 - 24*q[1]^2 + 1 julia> eisenstein_series(5,4) #E4 -30240*q^10 + 17520*q^8 + 6720*q^6 + 2160*q^4 + 240*q^2 + 1 +30240*q[1]^10 + 17520*q[1]^8 + 6720*q[1]^6 + 2160*q[1]^4 + 240*q[1]^2 + 1 ``` @@ -89,9 +89,9 @@ julia> eisenstein_series(5,4) #E4 ```julia julia> eisenstein_series(5,2,q) #E2 --144*q^10 - 168*q^8 - 96*q^6 - 72*q^4 - 24*q^2 + 1 +-144*q[1]^10 - 168*q[1]^8 - 96*q[1]^6 - 72*q[1]^4 - 24*q[1]^2 + 1 julia> eisenstein_series(5,4,q) #E4 -30240*q^10 + 17520*q^8 + 6720*q^6 + 2160*q^4 + 240*q^2 + 1 +30240*q[1]^10 + 17520*q[1]^8 + 6720*q[1]^6 + 2160*q[1]^4 + 240*q[1]^2 + 1 ``` """ function eisenstein_series( num_terms::Int,k::Int,q::Union{QQMPolyRingElem, Vector{QQMPolyRingElem}}) @@ -162,7 +162,7 @@ end returns a matrix fromed by the coefficients of a given vector of polynomials with same degree. The returned matrix is of type QQMatrix. ```julia -julia> vp=[ -122976*q^6 - 16632*q^4 - 504*q^2 + 1, -62496*q^6 - 3672*q^4 + 216*q^2 + 1,-3744*q^6 + 1512*q^4 - 72*q^2 + 1] +julia> vp=[ -122976*q[1]^6 - 16632*q[1]^4 - 504*q[1]^2 + 1, -62496*q[1]^6 - 3672*q[1]^4 + 216*q[1]^2 + 1,-3744*q[1]^6 + 1512*q[1]^4 - 72*q[1]^2 + 1] julia> polynomial_to_matrix(vp) [ 1 1 1] @@ -184,7 +184,7 @@ end returns a matrix from a given polynomial. The returned matrix is of type QQMatrix. ```julia -julia> Iq=25344*q^8 + 1792*q^6 +32q^4 +julia> Iq=25344*q[1]^8 + 1792*q[1]^6 +32q[1]^4 julia> matrix_of_integral(Iq) [ 0] @@ -231,11 +231,11 @@ end returns solution of the system $Ax=b$, where A is a matrix from homogeneous Eisenstein series $E_2, E_4, E_6$ and $b$ from the Feynman Integral $I(q)$ The solution is of the form (factor, coefficients) where coefficients is a vector of rationals numbers. -Given a Feynman Integral $$I(q)=\sum_{n=1}^{d} a_i q^{d}$$, we compute the coefficients $b_{i,j,k}$ such that +Given a Feynman Integral $$I(q)=\sum_{n=1}^{d} a_i q[1]^{d}$$, we compute the coefficients $b_{i,j,k}$ such that $$I(q)=\sum_{i,j,k} b_{i,j,k} E_2^i E_4^j E_6^k$$ ```julia -julia> Iq=886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 +32q^4 +julia> Iq=886656*q[1]^12 + 182272*q[1]^10 + 25344*q[1]^8 + 1792*q[1]^6 +32q[1]^4 julia> quasi_matrix(q,Iq,12) (1//93312, QQFieldElem[4; 4; -12; -3; 4; 6; -3]) @@ -257,9 +257,9 @@ This leads to $$I(q)=\sum_{i,j,k} b_{i,j,k} E_2^i E_4^j E_6^k$$ ```julia -julia> R,q=@polynomial_ring(QQ,q) +julia> R,q=polynomial_ring(QQ,["q"]) -julia> Iq=886656*q^12 + 182272*q^10 + 25344*q^8 + 1792*q^6 +32q^4 +julia> Iq=886656*q[1]^12 + 182272*q[1]^10 + 25344*q[1]^8 + 1792*q[1]^6 +32q[1]^4 ``` We define the polynomial ring in E2,E4,E6. From 1f3435f90562e4eee271bec44b7bfaae4c82dbaf Mon Sep 17 00:00:00 2001 From: blociss Date: Sun, 28 Jan 2024 17:13:41 +0100 Subject: [PATCH 33/54] up --- Manifest.toml | 2 +- Project.toml | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 53fbd0f..096620f 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "8afd9431532c43225f90e99e5d0aaa3719e22b31" +project_hash = "9d0cb14668da4341a67969c7482b41189ce5a70a" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" diff --git a/Project.toml b/Project.toml index 0073569..a7cc162 100644 --- a/Project.toml +++ b/Project.toml @@ -9,7 +9,6 @@ Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" -OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" From a983943d11cd87f61d213e8a19667fd6b1c17d19 Mon Sep 17 00:00:00 2001 From: blociss Date: Sun, 28 Jan 2024 17:36:26 +0100 Subject: [PATCH 34/54] modified: Manifest.toml modified: Project.toml modified: docs/Project.toml --- Manifest.toml | 2 +- Project.toml | 1 + docs/Project.toml | 3 ++- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 096620f..53fbd0f 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "9d0cb14668da4341a67969c7482b41189ce5a70a" +project_hash = "8afd9431532c43225f90e99e5d0aaa3719e22b31" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" diff --git a/Project.toml b/Project.toml index a7cc162..0073569 100644 --- a/Project.toml +++ b/Project.toml @@ -9,6 +9,7 @@ Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" +OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" diff --git a/docs/Project.toml b/docs/Project.toml index d85ea45..b13df94 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -1,3 +1,4 @@ [deps] Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" -GromovWitten="5a552022-c4d0-4326-8ed5-d479b22bb2f9" \ No newline at end of file +GromovWitten="5a552022-c4d0-4326-8ed5-d479b22bb2f9" +OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" From b35ebd2f090c91ef2b8470ffa9a5bfce423b61dc Mon Sep 17 00:00:00 2001 From: blociss Date: Sun, 28 Jan 2024 18:02:24 +0100 Subject: [PATCH 35/54] update --- Manifest.toml | 2 +- Project.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 53fbd0f..ed7e1fb 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "8afd9431532c43225f90e99e5d0aaa3719e22b31" +project_hash = "e2d02964680bd66470b334d2a5d1974f2d31dc0d" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" diff --git a/Project.toml b/Project.toml index 0073569..5ed25a8 100644 --- a/Project.toml +++ b/Project.toml @@ -16,7 +16,7 @@ StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" [compat] Nemo = "0.40.1" StatsBase = "0.34" -julia = "1.2" +julia = "1.7" [extras] Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" From 2827884ff6e1f3a0e3ee51cce3057f050b6b6688 Mon Sep 17 00:00:00 2001 From: blociss Date: Sun, 28 Jan 2024 18:10:02 +0100 Subject: [PATCH 36/54] up --- Manifest.toml | 6 +++--- Project.toml | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index ed7e1fb..9820c64 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "e2d02964680bd66470b334d2a5d1974f2d31dc0d" +project_hash = "e62ab4c34a9abff94781686cee49ec95ca71229d" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" @@ -311,9 +311,9 @@ version = "1.2.0" [[deps.OpenBLAS32_jll]] deps = ["Artifacts", "CompilerSupportLibraries_jll", "JLLWrappers", "Libdl", "Pkg"] -git-tree-sha1 = "2fb9ee2dc14d555a6df2a714b86b7125178344c2" +git-tree-sha1 = "57875747653aa50ffb80b323e74e58a906109284" uuid = "656ef2d0-ae68-5445-9ca0-591084a874a2" -version = "0.3.21+0" +version = "0.3.20+0" [[deps.OpenBLAS_jll]] deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"] diff --git a/Project.toml b/Project.toml index 5ed25a8..9f9ed01 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "GromovWitten" uuid = "5a552022-c4d0-4326-8ed5-d479b22bb2f9" authors = ["Ali Traore"] -version = "0.1.1" +version = "0.1.2" [deps] BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf" @@ -16,7 +16,7 @@ StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" [compat] Nemo = "0.40.1" StatsBase = "0.34" -julia = "1.7" +julia = "1.6" [extras] Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" From 3bc980a37d19e6fb512230ff6964aca4bfcf4379 Mon Sep 17 00:00:00 2001 From: blociss Date: Mon, 29 Jan 2024 10:40:05 +0100 Subject: [PATCH 37/54] modified: Manifest.toml modified: Project.toml --- Manifest.toml | 46 +++------------------------------------------- Project.toml | 13 ------------- 2 files changed, 3 insertions(+), 56 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 9820c64..ef983c8 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "e62ab4c34a9abff94781686cee49ec95ca71229d" +project_hash = "7962d189258e32f03e38fa0e2be80914e21bbbcb" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" @@ -48,24 +48,12 @@ uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33" [[deps.Base64]] uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" -[[deps.BenchmarkTools]] -deps = ["JSON", "Logging", "Printf", "Profile", "Statistics", "UUIDs"] -git-tree-sha1 = "f1f03a9fa24271160ed7e73051fba3c1a759b53f" -uuid = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf" -version = "1.4.0" - [[deps.Calcium_jll]] deps = ["Antic_jll", "Arb_jll", "Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"] git-tree-sha1 = "37fd335ecca9bd6ab25a2a4d26b7b2f6fe64c246" uuid = "fcfa6d1b-d8ce-59d5-8c0a-c0d7f69e4f40" version = "0.401.100+0" -[[deps.CodeTracking]] -deps = ["InteractiveUtils", "UUIDs"] -git-tree-sha1 = "c0216e792f518b39b22212127d4a84dc31e4e386" -uuid = "da1fd8a2-8d9e-5ec2-8556-3022fb5608a2" -version = "1.3.5" - [[deps.Combinatorics]] git-tree-sha1 = "08c8b6831dc00bfea825826be0bc8336fc369860" uuid = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" @@ -192,12 +180,6 @@ git-tree-sha1 = "31e996f0a15c7b280ba9f76636b3ff9e2ae58c9a" uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6" version = "0.21.4" -[[deps.JuliaInterpreter]] -deps = ["CodeTracking", "InteractiveUtils", "Random", "UUIDs"] -git-tree-sha1 = "04663b9e1eb0d0eabf76a6d0752e0dac83d53b36" -uuid = "aa1ae85d-cabe-5617-a682-6adf51b2e16a" -version = "0.9.28" - [[deps.LazilyInitializedFields]] git-tree-sha1 = "8f7f3cabab0fd1800699663533b6d5cb3fc0e612" uuid = "0e77f7df-68c5-4e49-93ce-4cd80f5598bf" @@ -254,12 +236,6 @@ version = "0.3.26" [[deps.Logging]] uuid = "56ddb016-857b-54e1-b83d-db4d58db5568" -[[deps.LoweredCodeUtils]] -deps = ["JuliaInterpreter"] -git-tree-sha1 = "20ce1091ba18bcdae71ad9b71ee2367796ba6c48" -uuid = "6f1432cf-f94c-5a45-995e-cdbf5db27b0b" -version = "2.4.4" - [[deps.MPFR_jll]] deps = ["Artifacts", "GMP_jll", "Libdl"] uuid = "3a97d323-0669-5f0c-9066-3539efd106a3" @@ -311,9 +287,9 @@ version = "1.2.0" [[deps.OpenBLAS32_jll]] deps = ["Artifacts", "CompilerSupportLibraries_jll", "JLLWrappers", "Libdl", "Pkg"] -git-tree-sha1 = "57875747653aa50ffb80b323e74e58a906109284" +git-tree-sha1 = "2fb9ee2dc14d555a6df2a714b86b7125178344c2" uuid = "656ef2d0-ae68-5445-9ca0-591084a874a2" -version = "0.3.20+0" +version = "0.3.21+0" [[deps.OpenBLAS_jll]] deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"] @@ -363,10 +339,6 @@ version = "1.4.1" deps = ["Unicode"] uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7" -[[deps.Profile]] -deps = ["Printf"] -uuid = "9abbd945-dff8-562f-b5e8-e1ebf5ef1b79" - [[deps.REPL]] deps = ["InteractiveUtils", "Markdown", "Sockets", "Unicode"] uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb" @@ -387,18 +359,6 @@ git-tree-sha1 = "ffd19052caf598b8653b99404058fce14828be51" uuid = "2792f1a3-b283-48e8-9a74-f99dce5104f3" version = "0.1.0" -[[deps.Requires]] -deps = ["UUIDs"] -git-tree-sha1 = "838a3a4188e2ded87a4f9f184b4b0d78a1e91cb7" -uuid = "ae029012-a4dd-5104-9daa-d747884805df" -version = "1.3.0" - -[[deps.Revise]] -deps = ["CodeTracking", "Distributed", "FileWatching", "JuliaInterpreter", "LibGit2", "LoweredCodeUtils", "OrderedCollections", "Pkg", "REPL", "Requires", "UUIDs", "Unicode"] -git-tree-sha1 = "3fe4e5b9cdbb9bbc851c57b149e516acc07f8f72" -uuid = "295af30f-e4ad-537b-8983-00126c2a3abe" -version = "3.5.13" - [[deps.SHA]] uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" version = "0.7.0" diff --git a/Project.toml b/Project.toml index 9f9ed01..07614f3 100644 --- a/Project.toml +++ b/Project.toml @@ -4,22 +4,9 @@ authors = ["Ali Traore"] version = "0.1.2" [deps] -BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf" Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" -OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" -Revise = "295af30f-e4ad-537b-8983-00126c2a3abe" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" - -[compat] -Nemo = "0.40.1" -StatsBase = "0.34" -julia = "1.6" - -[extras] Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" - -[targets] -test = ["Test"] From e1788965b8272062568a49e79116b2d912452271 Mon Sep 17 00:00:00 2001 From: blociss Date: Mon, 29 Jan 2024 10:42:53 +0100 Subject: [PATCH 38/54] modified: Manifest.toml modified: Project.toml --- Manifest.toml | 2 +- Project.toml | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Manifest.toml b/Manifest.toml index ef983c8..20d6b62 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "7962d189258e32f03e38fa0e2be80914e21bbbcb" +project_hash = "4e4be5debf14cefc644b4b2e0621ed4005a8c130" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" diff --git a/Project.toml b/Project.toml index 07614f3..3d4e549 100644 --- a/Project.toml +++ b/Project.toml @@ -8,5 +8,6 @@ Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" +OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" From ef9097a7bcb3dcc64b55a52c4c7002a5ea172292 Mon Sep 17 00:00:00 2001 From: CompatHelper Julia Date: Tue, 30 Jan 2024 00:36:07 +0000 Subject: [PATCH 39/54] CompatHelper: add new compat entry for StatsBase at version 0.34, (keep existing compat) --- Project.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Project.toml b/Project.toml index 3d4e549..0a37ac9 100644 --- a/Project.toml +++ b/Project.toml @@ -11,3 +11,6 @@ Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" + +[compat] +StatsBase = "0.34" From 22bb37db0ae1e0ba284d1f51a4e9b0b0fed146f2 Mon Sep 17 00:00:00 2001 From: blociss Date: Tue, 30 Jan 2024 14:23:37 +0100 Subject: [PATCH 40/54] up --- Manifest.toml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 20d6b62..64eeeee 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -11,9 +11,9 @@ version = "0.0.1" [[deps.AbstractAlgebra]] deps = ["InteractiveUtils", "LinearAlgebra", "MacroTools", "Preferences", "Random", "RandomExtensions", "SparseArrays", "Test"] -git-tree-sha1 = "208722b1b4ddc970df3c357c37ccf9acd6b19e17" +git-tree-sha1 = "5d91e4568351d9cc8d021fa81c0f6b7193b12baf" uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" -version = "0.36.6" +version = "0.37.1" [[deps.AbstractTrees]] git-tree-sha1 = "faa260e4cb5aba097a73fab382dd4b5819d8ec8c" @@ -277,9 +277,9 @@ version = "2022.10.11" [[deps.Nemo]] deps = ["AbstractAlgebra", "Antic_jll", "Arb_jll", "Calcium_jll", "FLINT_jll", "Libdl", "LinearAlgebra", "Pkg", "Random", "RandomExtensions", "SHA"] -git-tree-sha1 = "941541c4e8a9b7c6583b882a79841c3556f85ddf" +git-tree-sha1 = "6e1eaba70149e3ad18c1d2947b9223d8fdf36e47" uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a" -version = "0.40.1" +version = "0.41.2" [[deps.NetworkOptions]] uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" @@ -391,9 +391,9 @@ uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" [[deps.StaticArrays]] deps = ["LinearAlgebra", "PrecompileTools", "Random", "StaticArraysCore"] -git-tree-sha1 = "f68dd04d131d9a8a8eb836173ee8f105c360b0c5" +git-tree-sha1 = "7b0e9c14c624e435076d19aea1e5cbdec2b9ca37" uuid = "90137ffa-7385-5640-81b9-e52037218182" -version = "1.9.1" +version = "1.9.2" [deps.StaticArrays.extensions] StaticArraysChainRulesCoreExt = "ChainRulesCore" From 677e03449af1c1524f118239b52399a079648daf Mon Sep 17 00:00:00 2001 From: blociss Date: Tue, 30 Jan 2024 16:33:02 +0100 Subject: [PATCH 41/54] Nemo.fmpq_mpoly to QQMPolyRingElem --- Manifest.toml | 2 +- src/feynmanIntegral.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Manifest.toml b/Manifest.toml index 64eeeee..61602e0 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.9.3" manifest_format = "2.0" -project_hash = "4e4be5debf14cefc644b4b2e0621ed4005a8c130" +project_hash = "a29e80410aaa5d397eb4d87f85a908d8144de75d" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" diff --git a/src/feynmanIntegral.jl b/src/feynmanIntegral.jl index 6ba9dd9..4f215d7 100644 --- a/src/feynmanIntegral.jl +++ b/src/feynmanIntegral.jl @@ -667,7 +667,7 @@ julia> substitute(f) 5*x[1]^6 + x[1]^4 - x[1]^2 ``` """ - function substitute(p::Union{fmpq_mpoly, Int64}) + function substitute(p::Union{QQMPolyRingElem, Int64}) if typeof(p)==Int64 || p==zero(p) return zero(p) else From 3c73e8952e383e14b423ff92cff2af4bfdf1578e Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 31 Jan 2024 13:47:35 +0100 Subject: [PATCH 42/54] Remove some files from repository that don't belong there ... and update .gitignore to ensure it stays that way --- .DS_Store | Bin 8196 -> 0 bytes .gitignore | 2 + Manifest.toml | 472 ---------------------------- docs/.DS_Store | Bin 6148 -> 0 bytes docs/src/.DS_Store | Bin 10244 -> 0 bytes docs/src/Feynman Integral/.DS_Store | Bin 6148 -> 0 bytes docs/src/img/.DS_Store | Bin 6148 -> 0 bytes 7 files changed, 2 insertions(+), 472 deletions(-) delete mode 100644 .DS_Store delete mode 100644 Manifest.toml delete mode 100644 docs/.DS_Store delete mode 100644 docs/src/.DS_Store delete mode 100644 docs/src/Feynman Integral/.DS_Store delete mode 100644 docs/src/img/.DS_Store diff --git a/.DS_Store b/.DS_Store deleted file mode 100644 index e8a7f32eead48728ab8e562c1e36f9ae7fbc25a4..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 8196 zcmeHMO>YuG7=EX$vRIo?qoy8=n|L#%0)Anwhu#_0mgri3P zfOqf4i-|u(|BEMm=A&d8it*IgIBzoZ&d2l2%s%sGhgpb-Rfeqs(HarCNWy2AksV>8 zU!*x((k-j-41C%OdD9QMk9u|vZ5yltRspMkRlq7>75Envz?m(~U2yKJUYlD5tOEa~ z0^h0C)$@(omK^{oy^)0AJRAqC8q)Oi|$#mFX)6(>DjE=;$wN z{6u+0CnjgcIC^HLZzxP(JeVip#LCLs+$vxdm{&mD-5pw|4h0k&_xBC-t^blHiRnWe z?b48Z1O3@RpP8Zqj2;oEKDB2#?6ScTGwjoVnn1Va(C-bj0}KatV2pYVxKD|7PjUWe z(9_>1zWKc{7{vMf54MzYPMuD>X?NLuQQzgGdfbSIgG!_SOw=B89{PvnhW{jJk9M-> zt2~MuLDcR`LeOdh^89HKwfLyQhf!-FxpmdyX57q9_R@G3*FAzwVmdE-LyRw?J* zxSc;Z$ha4-Uca}!^E&KCTs$O<>GvG1sQNVjfYS7V_Urv9?*Gb*VKwQ>tn(&S6~v*4RP7g;;GLYYk9pgB?(h-k{G6#667hF|qwAjM1m2G1C`g zCXGsj$k$^Jk&EMTKIfHg%J@KliOin=(8HQl;3O)LQj1;__y5}B@Bb(9(d?S70#<>)RDd~~_00;v z@>D;9Bu;q`=_Qgdftx5VDadAi2%tXw!w_W;P{Ao{KT#enF#91u%3w3Az_BXu8^k;* Ap#T5? diff --git a/.gitignore b/.gitignore index 3af67b1..a2f171c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,6 @@ *.jl.*.cov *.jl.cov *.jl.mem +.DS_Store +Manifest.toml /docs/build/ diff --git a/Manifest.toml b/Manifest.toml deleted file mode 100644 index 61602e0..0000000 --- a/Manifest.toml +++ /dev/null @@ -1,472 +0,0 @@ -# This file is machine-generated - editing it directly is not advised - -julia_version = "1.9.3" -manifest_format = "2.0" -project_hash = "a29e80410aaa5d397eb4d87f85a908d8144de75d" - -[[deps.ANSIColoredPrinters]] -git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" -uuid = "a4c015fc-c6ff-483c-b24f-f7ea428134e9" -version = "0.0.1" - -[[deps.AbstractAlgebra]] -deps = ["InteractiveUtils", "LinearAlgebra", "MacroTools", "Preferences", "Random", "RandomExtensions", "SparseArrays", "Test"] -git-tree-sha1 = "5d91e4568351d9cc8d021fa81c0f6b7193b12baf" -uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" -version = "0.37.1" - -[[deps.AbstractTrees]] -git-tree-sha1 = "faa260e4cb5aba097a73fab382dd4b5819d8ec8c" -uuid = "1520ce14-60c1-5f80-bbc7-55ef81b5835c" -version = "0.4.4" - -[[deps.Antic_jll]] -deps = ["Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"] -git-tree-sha1 = "4b354e5ef3d0a235515bd1b27af9cee3fa1de62c" -uuid = "e21ec000-9f72-519e-ba6d-10061e575a27" -version = "0.201.500+0" - -[[deps.Arb_jll]] -deps = ["Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"] -git-tree-sha1 = "a564158702b6a4d1fb53c3fa399e891d7599afa0" -uuid = "d9960996-1013-53c9-9ba4-74a4155039c3" -version = "200.2300.0+0" - -[[deps.ArgTools]] -uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f" -version = "1.1.1" - -[[deps.ArnoldiMethod]] -deps = ["LinearAlgebra", "Random", "StaticArrays"] -git-tree-sha1 = "62e51b39331de8911e4a7ff6f5aaf38a5f4cc0ae" -uuid = "ec485272-7323-5ecc-a04f-4719b315124d" -version = "0.2.0" - -[[deps.Artifacts]] -uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33" - -[[deps.Base64]] -uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" - -[[deps.Calcium_jll]] -deps = ["Antic_jll", "Arb_jll", "Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"] -git-tree-sha1 = "37fd335ecca9bd6ab25a2a4d26b7b2f6fe64c246" -uuid = "fcfa6d1b-d8ce-59d5-8c0a-c0d7f69e4f40" -version = "0.401.100+0" - -[[deps.Combinatorics]] -git-tree-sha1 = "08c8b6831dc00bfea825826be0bc8336fc369860" -uuid = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" -version = "1.0.2" - -[[deps.Compat]] -deps = ["TOML", "UUIDs"] -git-tree-sha1 = "75bd5b6fc5089df449b5d35fa501c846c9b6549b" -uuid = "34da2185-b29b-5c13-b0c7-acf172513d20" -version = "4.12.0" -weakdeps = ["Dates", "LinearAlgebra"] - - [deps.Compat.extensions] - CompatLinearAlgebraExt = "LinearAlgebra" - -[[deps.CompilerSupportLibraries_jll]] -deps = ["Artifacts", "Libdl"] -uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae" -version = "1.0.5+0" - -[[deps.DataAPI]] -git-tree-sha1 = "abe83f3a2f1b857aac70ef8b269080af17764bbe" -uuid = "9a962f9c-6df0-11e9-0e5d-c546b8b5ee8a" -version = "1.16.0" - -[[deps.DataStructures]] -deps = ["Compat", "InteractiveUtils", "OrderedCollections"] -git-tree-sha1 = "ac67408d9ddf207de5cfa9a97e114352430f01ed" -uuid = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8" -version = "0.18.16" - -[[deps.Dates]] -deps = ["Printf"] -uuid = "ade2ca70-3891-5945-98fb-dc099432e06a" - -[[deps.Distributed]] -deps = ["Random", "Serialization", "Sockets"] -uuid = "8ba89e20-285c-5b6f-9357-94700520ee1b" - -[[deps.DocStringExtensions]] -deps = ["LibGit2"] -git-tree-sha1 = "2fb1e02f2b635d0845df5d7c167fec4dd739b00d" -uuid = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae" -version = "0.9.3" - -[[deps.Documenter]] -deps = ["ANSIColoredPrinters", "AbstractTrees", "Base64", "Dates", "DocStringExtensions", "Downloads", "Git", "IOCapture", "InteractiveUtils", "JSON", "LibGit2", "Logging", "Markdown", "MarkdownAST", "Pkg", "PrecompileTools", "REPL", "RegistryInstances", "SHA", "Test", "Unicode"] -git-tree-sha1 = "2613dbec8f4748273bbe30ba71fd5cb369966bac" -uuid = "e30172f5-a6a5-5a46-863b-614d45cd2de4" -version = "1.2.1" - -[[deps.Downloads]] -deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"] -uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6" -version = "1.6.0" - -[[deps.Expat_jll]] -deps = ["Artifacts", "JLLWrappers", "Libdl"] -git-tree-sha1 = "4558ab818dcceaab612d1bb8c19cee87eda2b83c" -uuid = "2e619515-83b5-522b-bb60-26c02a35a201" -version = "2.5.0+0" - -[[deps.FLINT_jll]] -deps = ["Artifacts", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "OpenBLAS32_jll"] -git-tree-sha1 = "4eef82c467ec1020174d96f83f44e1ef84061e8c" -uuid = "e134572f-a0d5-539d-bddf-3cad8db41a82" -version = "200.900.9+0" - -[[deps.FileWatching]] -uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee" - -[[deps.GMP_jll]] -deps = ["Artifacts", "Libdl"] -uuid = "781609d7-10c4-51f6-84f2-b8444358ff6d" -version = "6.2.1+2" - -[[deps.Git]] -deps = ["Git_jll"] -git-tree-sha1 = "51764e6c2e84c37055e846c516e9015b4a291c7d" -uuid = "d7ba0133-e1db-5d97-8f8c-041e4b3a1eb2" -version = "1.3.0" - -[[deps.Git_jll]] -deps = ["Artifacts", "Expat_jll", "JLLWrappers", "LibCURL_jll", "Libdl", "Libiconv_jll", "OpenSSL_jll", "PCRE2_jll", "Zlib_jll"] -git-tree-sha1 = "b30c473c97fcc1e1e44fab8f3e88fd1b89c9e9d1" -uuid = "f8c6e375-362e-5223-8a59-34ff63f689eb" -version = "2.43.0+0" - -[[deps.Graphs]] -deps = ["ArnoldiMethod", "Compat", "DataStructures", "Distributed", "Inflate", "LinearAlgebra", "Random", "SharedArrays", "SimpleTraits", "SparseArrays", "Statistics"] -git-tree-sha1 = "899050ace26649433ef1af25bc17a815b3db52b7" -uuid = "86223c79-3864-5bf0-83f7-82e725a168b6" -version = "1.9.0" - -[[deps.IOCapture]] -deps = ["Logging", "Random"] -git-tree-sha1 = "8b72179abc660bfab5e28472e019392b97d0985c" -uuid = "b5f81e59-6552-4d32-b1f0-c071b021bf89" -version = "0.2.4" - -[[deps.Inflate]] -git-tree-sha1 = "ea8031dea4aff6bd41f1df8f2fdfb25b33626381" -uuid = "d25df0c9-e2be-5dd7-82c8-3ad0b3e990b9" -version = "0.1.4" - -[[deps.InteractiveUtils]] -deps = ["Markdown"] -uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240" - -[[deps.IrrationalConstants]] -git-tree-sha1 = "630b497eafcc20001bba38a4651b327dcfc491d2" -uuid = "92d709cd-6900-40b7-9082-c6be49f344b6" -version = "0.2.2" - -[[deps.JLLWrappers]] -deps = ["Artifacts", "Preferences"] -git-tree-sha1 = "7e5d6779a1e09a36db2a7b6cff50942a0a7d0fca" -uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210" -version = "1.5.0" - -[[deps.JSON]] -deps = ["Dates", "Mmap", "Parsers", "Unicode"] -git-tree-sha1 = "31e996f0a15c7b280ba9f76636b3ff9e2ae58c9a" -uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6" -version = "0.21.4" - -[[deps.LazilyInitializedFields]] -git-tree-sha1 = "8f7f3cabab0fd1800699663533b6d5cb3fc0e612" -uuid = "0e77f7df-68c5-4e49-93ce-4cd80f5598bf" -version = "1.2.2" - -[[deps.LibCURL]] -deps = ["LibCURL_jll", "MozillaCACerts_jll"] -uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21" -version = "0.6.3" - -[[deps.LibCURL_jll]] -deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll", "Zlib_jll", "nghttp2_jll"] -uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0" -version = "7.84.0+0" - -[[deps.LibGit2]] -deps = ["Base64", "NetworkOptions", "Printf", "SHA"] -uuid = "76f85450-5226-5b5a-8eaa-529ad045b433" - -[[deps.LibSSH2_jll]] -deps = ["Artifacts", "Libdl", "MbedTLS_jll"] -uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8" -version = "1.10.2+0" - -[[deps.Libdl]] -uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb" - -[[deps.Libiconv_jll]] -deps = ["Artifacts", "JLLWrappers", "Libdl"] -git-tree-sha1 = "f9557a255370125b405568f9767d6d195822a175" -uuid = "94ce4f54-9a6c-5748-9c1c-f9c7231a4531" -version = "1.17.0+0" - -[[deps.LinearAlgebra]] -deps = ["Libdl", "OpenBLAS_jll", "libblastrampoline_jll"] -uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" - -[[deps.LogExpFunctions]] -deps = ["DocStringExtensions", "IrrationalConstants", "LinearAlgebra"] -git-tree-sha1 = "7d6dd4e9212aebaeed356de34ccf262a3cd415aa" -uuid = "2ab3a3ac-af41-5b50-aa03-7779005ae688" -version = "0.3.26" - - [deps.LogExpFunctions.extensions] - LogExpFunctionsChainRulesCoreExt = "ChainRulesCore" - LogExpFunctionsChangesOfVariablesExt = "ChangesOfVariables" - LogExpFunctionsInverseFunctionsExt = "InverseFunctions" - - [deps.LogExpFunctions.weakdeps] - ChainRulesCore = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4" - ChangesOfVariables = "9e997f8a-9a97-42d5-a9f1-ce6bfc15e2c0" - InverseFunctions = "3587e190-3f89-42d0-90ee-14403ec27112" - -[[deps.Logging]] -uuid = "56ddb016-857b-54e1-b83d-db4d58db5568" - -[[deps.MPFR_jll]] -deps = ["Artifacts", "GMP_jll", "Libdl"] -uuid = "3a97d323-0669-5f0c-9066-3539efd106a3" -version = "4.1.1+4" - -[[deps.MacroTools]] -deps = ["Markdown", "Random"] -git-tree-sha1 = "2fa9ee3e63fd3a4f7a9a4f4744a52f4856de82df" -uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09" -version = "0.5.13" - -[[deps.Markdown]] -deps = ["Base64"] -uuid = "d6f4376e-aef5-505a-96c1-9c027394607a" - -[[deps.MarkdownAST]] -deps = ["AbstractTrees", "Markdown"] -git-tree-sha1 = "465a70f0fc7d443a00dcdc3267a497397b8a3899" -uuid = "d0879d2d-cac2-40c8-9cee-1863dc0c7391" -version = "0.1.2" - -[[deps.MbedTLS_jll]] -deps = ["Artifacts", "Libdl"] -uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1" -version = "2.28.2+0" - -[[deps.Missings]] -deps = ["DataAPI"] -git-tree-sha1 = "f66bdc5de519e8f8ae43bdc598782d35a25b1272" -uuid = "e1d29d7a-bbdc-5cf2-9ac0-f12de2c33e28" -version = "1.1.0" - -[[deps.Mmap]] -uuid = "a63ad114-7e13-5084-954f-fe012c677804" - -[[deps.MozillaCACerts_jll]] -uuid = "14a3606d-f60d-562e-9121-12d972cd8159" -version = "2022.10.11" - -[[deps.Nemo]] -deps = ["AbstractAlgebra", "Antic_jll", "Arb_jll", "Calcium_jll", "FLINT_jll", "Libdl", "LinearAlgebra", "Pkg", "Random", "RandomExtensions", "SHA"] -git-tree-sha1 = "6e1eaba70149e3ad18c1d2947b9223d8fdf36e47" -uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a" -version = "0.41.2" - -[[deps.NetworkOptions]] -uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" -version = "1.2.0" - -[[deps.OpenBLAS32_jll]] -deps = ["Artifacts", "CompilerSupportLibraries_jll", "JLLWrappers", "Libdl", "Pkg"] -git-tree-sha1 = "2fb9ee2dc14d555a6df2a714b86b7125178344c2" -uuid = "656ef2d0-ae68-5445-9ca0-591084a874a2" -version = "0.3.21+0" - -[[deps.OpenBLAS_jll]] -deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"] -uuid = "4536629a-c528-5b80-bd46-f80d51c5b363" -version = "0.3.21+4" - -[[deps.OpenSSL_jll]] -deps = ["Artifacts", "JLLWrappers", "Libdl"] -git-tree-sha1 = "cc6e1927ac521b659af340e0ca45828a3ffc748f" -uuid = "458c3c95-2e84-50aa-8efc-19380b2a3a95" -version = "3.0.12+0" - -[[deps.OrderedCollections]] -git-tree-sha1 = "dfdf5519f235516220579f949664f1bf44e741c5" -uuid = "bac558e1-5e72-5ebc-8fee-abe8a469f55d" -version = "1.6.3" - -[[deps.PCRE2_jll]] -deps = ["Artifacts", "Libdl"] -uuid = "efcefdf7-47ab-520b-bdef-62a2eaa19f15" -version = "10.42.0+0" - -[[deps.Parsers]] -deps = ["Dates", "PrecompileTools", "UUIDs"] -git-tree-sha1 = "8489905bcdbcfac64d1daa51ca07c0d8f0283821" -uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0" -version = "2.8.1" - -[[deps.Pkg]] -deps = ["Artifacts", "Dates", "Downloads", "FileWatching", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"] -uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" -version = "1.9.2" - -[[deps.PrecompileTools]] -deps = ["Preferences"] -git-tree-sha1 = "03b4c25b43cb84cee5c90aa9b5ea0a78fd848d2f" -uuid = "aea7be01-6a6a-4083-8856-8a6e6704d82a" -version = "1.2.0" - -[[deps.Preferences]] -deps = ["TOML"] -git-tree-sha1 = "00805cd429dcb4870060ff49ef443486c262e38e" -uuid = "21216c6a-2e73-6563-6e65-726566657250" -version = "1.4.1" - -[[deps.Printf]] -deps = ["Unicode"] -uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7" - -[[deps.REPL]] -deps = ["InteractiveUtils", "Markdown", "Sockets", "Unicode"] -uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb" - -[[deps.Random]] -deps = ["SHA", "Serialization"] -uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" - -[[deps.RandomExtensions]] -deps = ["Random", "SparseArrays"] -git-tree-sha1 = "b8a399e95663485820000f26b6a43c794e166a49" -uuid = "fb686558-2515-59ef-acaa-46db3789a887" -version = "0.4.4" - -[[deps.RegistryInstances]] -deps = ["LazilyInitializedFields", "Pkg", "TOML", "Tar"] -git-tree-sha1 = "ffd19052caf598b8653b99404058fce14828be51" -uuid = "2792f1a3-b283-48e8-9a74-f99dce5104f3" -version = "0.1.0" - -[[deps.SHA]] -uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" -version = "0.7.0" - -[[deps.Serialization]] -uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b" - -[[deps.SharedArrays]] -deps = ["Distributed", "Mmap", "Random", "Serialization"] -uuid = "1a1011a3-84de-559e-8e89-a11a2f7dc383" - -[[deps.SimpleTraits]] -deps = ["InteractiveUtils", "MacroTools"] -git-tree-sha1 = "5d7e3f4e11935503d3ecaf7186eac40602e7d231" -uuid = "699a6c99-e7fa-54fc-8d76-47d257e15c1d" -version = "0.9.4" - -[[deps.Sockets]] -uuid = "6462fe0b-24de-5631-8697-dd941f90decc" - -[[deps.SortingAlgorithms]] -deps = ["DataStructures"] -git-tree-sha1 = "66e0a8e672a0bdfca2c3f5937efb8538b9ddc085" -uuid = "a2af1166-a08f-5f64-846c-94a0d3cef48c" -version = "1.2.1" - -[[deps.SparseArrays]] -deps = ["Libdl", "LinearAlgebra", "Random", "Serialization", "SuiteSparse_jll"] -uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" - -[[deps.StaticArrays]] -deps = ["LinearAlgebra", "PrecompileTools", "Random", "StaticArraysCore"] -git-tree-sha1 = "7b0e9c14c624e435076d19aea1e5cbdec2b9ca37" -uuid = "90137ffa-7385-5640-81b9-e52037218182" -version = "1.9.2" - - [deps.StaticArrays.extensions] - StaticArraysChainRulesCoreExt = "ChainRulesCore" - StaticArraysStatisticsExt = "Statistics" - - [deps.StaticArrays.weakdeps] - ChainRulesCore = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4" - Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2" - -[[deps.StaticArraysCore]] -git-tree-sha1 = "36b3d696ce6366023a0ea192b4cd442268995a0d" -uuid = "1e83bf80-4336-4d27-bf5d-d5a4f845583c" -version = "1.4.2" - -[[deps.Statistics]] -deps = ["LinearAlgebra", "SparseArrays"] -uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2" -version = "1.9.0" - -[[deps.StatsAPI]] -deps = ["LinearAlgebra"] -git-tree-sha1 = "1ff449ad350c9c4cbc756624d6f8a8c3ef56d3ed" -uuid = "82ae8749-77ed-4fe6-ae5f-f523153014b0" -version = "1.7.0" - -[[deps.StatsBase]] -deps = ["DataAPI", "DataStructures", "LinearAlgebra", "LogExpFunctions", "Missings", "Printf", "Random", "SortingAlgorithms", "SparseArrays", "Statistics", "StatsAPI"] -git-tree-sha1 = "1d77abd07f617c4868c33d4f5b9e1dbb2643c9cf" -uuid = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" -version = "0.34.2" - -[[deps.SuiteSparse_jll]] -deps = ["Artifacts", "Libdl", "Pkg", "libblastrampoline_jll"] -uuid = "bea87d4a-7f5b-5778-9afe-8cc45184846c" -version = "5.10.1+6" - -[[deps.TOML]] -deps = ["Dates"] -uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76" -version = "1.0.3" - -[[deps.Tar]] -deps = ["ArgTools", "SHA"] -uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e" -version = "1.10.0" - -[[deps.Test]] -deps = ["InteractiveUtils", "Logging", "Random", "Serialization"] -uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40" - -[[deps.UUIDs]] -deps = ["Random", "SHA"] -uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4" - -[[deps.Unicode]] -uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5" - -[[deps.Zlib_jll]] -deps = ["Libdl"] -uuid = "83775a58-1f1d-513f-b197-d71354ab007a" -version = "1.2.13+0" - -[[deps.libblastrampoline_jll]] -deps = ["Artifacts", "Libdl"] -uuid = "8e850b90-86db-534c-a0d3-1478176c7d93" -version = "5.8.0+0" - -[[deps.nghttp2_jll]] -deps = ["Artifacts", "Libdl"] -uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d" -version = "1.48.0+0" - -[[deps.p7zip_jll]] -deps = ["Artifacts", "Libdl"] -uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0" -version = "17.4.0+0" diff --git a/docs/.DS_Store b/docs/.DS_Store deleted file mode 100644 index 6c2171e6840d30be2a08d452ed121696578f097c..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHK&x;c=6n<&DcFHRBps*f8} z7tj79{x6>Ndr2()w0M1xzq1a>G&%R?d7vWA} z#z>zkJxY{Lc5;2--&BD2?tl`SQAUc^_m5wR$MEBy#?0fdWqyjLxzhOu#Ig6(qzT1z zL1Q|mb5d*X0gv+)zCO<)535g+Yz*a*06nhvFM%jJF?g9FFSJ4 z>pwW@$omhw%VjILb@$$*7sCrR$u%z!CRlp58x~gO7u4LMw>D~(;wxSOufSDSzcTUU%OYpE3j7q{ys=JW9YE5Xg(b%%oPCGK-d`S{KLl_=`eIySws&^SSrv`g}Y)1 zOGjL~ywG7~(b7q{%ZG3?3wJ{iW_FA(O*)CtqA$GyUV%*o>bBYD^Z&`8@Bf=5-|`B0 z1^z1qMB^+v8(>N9Y~5KLpS2SH9?r&jmBkeW6>}6LmyhBjxG}^fSAe0z$|52#|07^z L@P$|4uPX2hd?b&B diff --git a/docs/src/.DS_Store b/docs/src/.DS_Store deleted file mode 100644 index b3ce821cfaac5a73ee523a8953fcb66bc0ec1238..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 10244 zcmeHMZ)_aJ6@TySB)c02Zyd)YoQ#iLQl-I3&W__463F@N#5e?OY$vw!@7TMYI7{|+ zo!z~=I3~!S5F)9H#9z_Em#VF3EBZ%j1yYev)%Fu00pY*k3kV^;01^@)A;FuOJ;y#f zAdmt`?3{Mq%$xUScHaDE_Psd(z)aC>14saXLJy~U9c7Co-p-!|DHd`Xh$86&Oo9yz zwm<>Q1=0~CvOr{k$O4fCA`3(o_$gR`zS%q}%O#ES$O4fCA`8q~fS(TudN@sobVgEf zbWkQj0HU?T7KzFf2MC=+NYf#mkyNNspE7#DP!+=v1Eo5(C%8D#bVz3;mFj>}9WWdj z!w3b%=%kkr;(%#Mqdc-eWPybi;IX>~d*Cz}6t&NZ-}`MhpR?T@wbPcuFNkjWN+i*V z4tpump8|)p49XMGPkBJR3Gj$x&)0|U@2a0G`;+1LPvs_U%MVhiS20#oyJYDyWtp;E zIXZm8Ee{7qQ1ml~cbL~kT-VN3%0}*>#mZT|vBz}+!*ZA>6fBdG$dOUYG2L>;Ejp$z zbcbbwqAF@uUo$fls#z|9QR&f3Bd43 zf)%npo1df7x7w*R>^ZjUOpq+^M};ChWb^j z8do=6xuz+rugV$ulM^0?Qjcr9UdAr6!xNrm4o@0+%b6Gp*y&){I>WMhLzU;=j6&6UDNSJ_6+bwtjeo-|NAs>-EI58vUzs=T ze9<-n)@|F|B>wD@9r9f-pk*MztgaV*HpEEIDzRRYCe=j@o=m60`9E2=x_R9%u1#&f zes}Lpx7>DtLq}`S8b?c(Z{=)uplq4JiE+cvGsh&L9HJx039RE5^VF5dq&Y9>gtE0) z#pBh|m0re*IqOu>3a0d=qR25?;@7D9Kb0dUz2q&f$$K zvAkO-(0qK!?vD2;`hS&UeC+*(9}G+~hlb~~+tU({k8^&vX)=>0v8L%tJ-#o#U(sJu z4*4exj}4UR{I2i^6(y?^Xo=5z+GARQJKH$I8+FSmS@dZj{L3$dl1y)st0FL}F2F8f zbuFxe4%kI#9jEK-GMtA8;UV}vJPH4Tf5ZRbMR*Bbfmh)zcn>~=PvJ{kg3C}r6&nPK zn=py3xEZ(L_1J^GxEK3yKOVq?IELeR3@7je-hn6a6rRCpJd1bX-S}&~5AVkZ@G<-Y z{t=(RKjG8(AAAm<#~1K5d>!A!xA1-Z2tUS8Vl}b4*oxQ{v1?-MV%Nq}F}l9zX?Cw1 zlJ!a+%TVd!UI|aN*r~<#O7q@6t^Y^eD{shywSi96tCJfyw|DML&jLt7u7a|;=oNsS z2Xg^fvBuR%liNsZK0t_Or!Tde^kp2o$^|anlF*v;3;?( zo+FsP1Mk8I@EHOw#X4-F<26ChT#p+Fnkj6@ZPFI|;0J<2`r|&*QJ~A$$ZM#oyp>1!(__f02Njh2g#m042p|F2bpfmkLlB=g#1hT8C0^!PjVL1uIZ`LUJe7~Q8DtA zN~FbTgD)~>&EKoE>fsc5R|fdPV{++ji(+JNG40xx1=_>HKjv@ytvxA~X-&j5bQ5yk&e P{Leus5=Y$6EB^l)Rrbr| diff --git a/docs/src/Feynman Integral/.DS_Store b/docs/src/Feynman Integral/.DS_Store deleted file mode 100644 index f0d33269647eb9ca685e1d6fcf8a3654b29b4c1e..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKF-`+P474Fd1Wn46`+`XPV2J_}H6I8ebb(Y9bXV~%eg-qP6(u@okZ90YvS-)p zxy?;+j?K)MuiGoLnVC)DM0;l#8_($@JFAQX;dsWgJ=lvafZI{^_X%<@?AD&_4a_6{ z-ERN5+3hzt=a0LFFFwPtl1Tw6AO)m=6p#YHRe-%0HoZ(#lmb#f3LF&R_o2awy>Lj3 zPX|Jb0Kf^-VOYm30c=bFd*P6X49t@XOsdz2;YmlnRb4L}5|eHoH{&^Vv)6>;aXa!Y z%FTPCq7;wY5PhR50ye3{a(_V}|6mERu+9&NMkNZt1W97b>++jZ>6;J5;}B9==nTxf z-Pw7!+$(Nw0LXazFaibu`gBDcG;~eR)jM_;86nd7j3>ZBp)1fmGm6DImScbTZ~E zMQ`oAoc7v6zomZ~YptBYS~1aDF*n+ZufEk4UGuyKHjYMT-sr^q5l~&yQi0!4-~+b< BAdUb4 From 67f669402287be210e193d85dd17b093ff73de4d Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 31 Jan 2024 13:53:50 +0100 Subject: [PATCH 43/54] Don't export PolynomialRing --- src/GromovWitten.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GromovWitten.jl b/src/GromovWitten.jl index 6283358..7732631 100644 --- a/src/GromovWitten.jl +++ b/src/GromovWitten.jl @@ -6,7 +6,7 @@ module GromovWitten using Nemo, Graphs, Combinatorics,StatsBase export polynomial_ring import Graphs: nv,ne,Edge,dst, src -export FeynmanGraph,nv,ne,PolynomialRing,QQ,FeynmanIntegral,feynman_graph,feynman_integral +export FeynmanGraph,nv,ne,polynomial_ring,QQ,FeynmanIntegral,feynman_graph,feynman_integral export polynomial_ring,constterm, proterm, propagator, coefterm, partition, preimg, substitute,flip,signature_and_multiplicities_order, feynman_integral_branch_type, feynman_integral_degree,feynman_integral_degree_sum_order,feynman_integral_degree_sum,sum_of_coeff,loopterm, flip_signature,signature_and_multiplicities, feynman_integral_branch_type_order,feynman_integral_degree_order,lis,filter_term,filter_vector, From 04f8d140488dc07e0fdcdfc59283212ee3fe8bb5 Mon Sep 17 00:00:00 2001 From: blociss <46294807+blociss@users.noreply.github.com> Date: Wed, 31 Jan 2024 14:05:20 +0100 Subject: [PATCH 44/54] Update GromovWitten.jl --- src/GromovWitten.jl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/GromovWitten.jl b/src/GromovWitten.jl index 7732631..4622b46 100644 --- a/src/GromovWitten.jl +++ b/src/GromovWitten.jl @@ -6,15 +6,15 @@ module GromovWitten using Nemo, Graphs, Combinatorics,StatsBase export polynomial_ring import Graphs: nv,ne,Edge,dst, src -export FeynmanGraph,nv,ne,polynomial_ring,QQ,FeynmanIntegral,feynman_graph,feynman_integral -export polynomial_ring,constterm, proterm, propagator, coefterm, partition, preimg, substitute,flip,signature_and_multiplicities_order, +export FeynmanGraph,feynman_graph,QQ,FeynmanIntegral,feynman_integral +export constterm, proterm, coefterm, partition, preimg, substitute,flip,signature_and_multiplicities_order, feynman_integral_branch_type, feynman_integral_degree,feynman_integral_degree_sum_order,feynman_integral_degree_sum,sum_of_coeff,loopterm, flip_signature,signature_and_multiplicities, feynman_integral_branch_type_order,feynman_integral_degree_order,lis,filter_term,filter_vector, sum_of_divisor_powers,express_as_eisenstein_series,express_as_powers,polynomial_to_matrix,matrix_of_integral, solve_polynomial_system, quasi_matrix,sfunction,inv_sfunction export eisenstein_series,quasimodular_form export cache_integral_result, get_integral_from_cache, feynman_integral_branch_type_cache, feynman_integral_degree_cache,feynman_integral_degree_sum_cache -export feynman_integral,generate_permutation,find_equal_pairs,vector_to_monomial,replace,feynman_integral_deg +export generate_permutation,find_equal_pairs,vector_to_monomial,replace,feynman_integral_deg include("graph.jl") include("coeftermV.jl") include("coefterm.jl") From df4e8ab3b079b6b919f8fb1bdfd016aca6c77db2 Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 31 Jan 2024 14:19:14 +0100 Subject: [PATCH 45/54] modified: src/GromovWitten.jl --- src/GromovWitten.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GromovWitten.jl b/src/GromovWitten.jl index 4622b46..26daf7c 100644 --- a/src/GromovWitten.jl +++ b/src/GromovWitten.jl @@ -6,7 +6,7 @@ module GromovWitten using Nemo, Graphs, Combinatorics,StatsBase export polynomial_ring import Graphs: nv,ne,Edge,dst, src -export FeynmanGraph,feynman_graph,QQ,FeynmanIntegral,feynman_integral +export FeynmanGraph,feynman_graph,QQ,FeynmanIntegral,feynman_integral,nv,ne export constterm, proterm, coefterm, partition, preimg, substitute,flip,signature_and_multiplicities_order, feynman_integral_branch_type, feynman_integral_degree,feynman_integral_degree_sum_order,feynman_integral_degree_sum,sum_of_coeff,loopterm, flip_signature,signature_and_multiplicities, feynman_integral_branch_type_order,feynman_integral_degree_order,lis,filter_term,filter_vector, From 8d493b2d3c481f3f750bfdcde7cfb3b08660e1cc Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 31 Jan 2024 14:38:31 +0100 Subject: [PATCH 46/54] Update CI config --- .github/workflows/CI.yml | 4 ++-- .github/workflows/document.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 1765ccb..93f360f 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -22,7 +22,7 @@ jobs: arch: - x64 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 - uses: julia-actions/setup-julia@v1 with: version: ${{ matrix.version }} @@ -31,6 +31,6 @@ jobs: - uses: julia-actions/julia-buildpkg@v1 - uses: julia-actions/julia-runtest@v1 - uses: julia-actions/julia-processcoverage@v1 - - uses: codecov/codecov-action@v2 + - uses: codecov/codecov-action@v3 with: files: lcov.info diff --git a/.github/workflows/document.yml b/.github/workflows/document.yml index 996b240..acad294 100644 --- a/.github/workflows/document.yml +++ b/.github/workflows/document.yml @@ -10,7 +10,7 @@ jobs: build: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 - uses: julia-actions/setup-julia@latest with: version: '1.6' From 110a0ace86df9612302c4f752ac007060e67fa10 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 31 Jan 2024 14:38:51 +0100 Subject: [PATCH 47/54] Cleanup imports and exports --- src/GromovWitten.jl | 74 +++++++++++++++++++++++++++++++++++++-------- 1 file changed, 61 insertions(+), 13 deletions(-) diff --git a/src/GromovWitten.jl b/src/GromovWitten.jl index 26daf7c..fe28fb5 100644 --- a/src/GromovWitten.jl +++ b/src/GromovWitten.jl @@ -2,19 +2,66 @@ GromovWitten is a package for computing Gromov-Witten invariant via Feynman Integral . """ module GromovWitten -# Write your package code here. -using Nemo, Graphs, Combinatorics,StatsBase -export polynomial_ring -import Graphs: nv,ne,Edge,dst, src -export FeynmanGraph,feynman_graph,QQ,FeynmanIntegral,feynman_integral,nv,ne -export constterm, proterm, coefterm, partition, preimg, substitute,flip,signature_and_multiplicities_order, -feynman_integral_branch_type, feynman_integral_degree,feynman_integral_degree_sum_order,feynman_integral_degree_sum,sum_of_coeff,loopterm, flip_signature,signature_and_multiplicities, -feynman_integral_branch_type_order,feynman_integral_degree_order,lis,filter_term,filter_vector, -sum_of_divisor_powers,express_as_eisenstein_series,express_as_powers,polynomial_to_matrix,matrix_of_integral, -solve_polynomial_system, quasi_matrix,sfunction,inv_sfunction -export eisenstein_series,quasimodular_form -export cache_integral_result, get_integral_from_cache, feynman_integral_branch_type_cache, feynman_integral_degree_cache,feynman_integral_degree_sum_cache -export generate_permutation,find_equal_pairs,vector_to_monomial,replace,feynman_integral_deg + +using Nemo + +import Combinatorics: permutations, with_replacement_combinations + +import StatsBase: countmap + +import Graphs: nv, ne, Edge, dst, src, DiGraph + +export cache_integral_result +export coefterm +export constterm +export eisenstein_series +export express_as_eisenstein_series +export express_as_powers +export FeynmanGraph +export FeynmanIntegral +export feynman_graph +export feynman_integral +export feynman_integral_branch_type +export feynman_integral_branch_type_cache +export feynman_integral_branch_type_order +export feynman_integral_deg +export feynman_integral_degree +export feynman_integral_degree_cache +export feynman_integral_degree_order +export feynman_integral_degree_sum +export feynman_integral_degree_sum_cache +export feynman_integral_degree_sum_order +export filter_term +export filter_vector +export find_equal_pairs +export flip +export flip_signature +export generate_permutation +export get_integral_from_cache +export inv_sfunction +export lis +export loopterm +export matrix_of_integral +export ne +export nv +export partition +export polynomial_ring +export polynomial_to_matrix +export preimg +export proterm +export QQ +export quasimodular_form +export quasi_matrix +export replace +export sfunction +export signature_and_multiplicities +export signature_and_multiplicities_order +export solve_polynomial_system +export substitute +export sum_of_coeff +export sum_of_divisor_powers +export vector_to_monomial + include("graph.jl") include("coeftermV.jl") include("coefterm.jl") @@ -22,4 +69,5 @@ include("feynmanIntegral.jl") include("propagator.jl") include("quasimodular.jl") include("hashtable.jl") + end From 7e323a673f57b7529f52434de25de37021fd391d Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 31 Jan 2024 14:47:54 +0100 Subject: [PATCH 48/54] remove OpenBLAS32_jll --- Project.toml | 1 - 1 file changed, 1 deletion(-) diff --git a/Project.toml b/Project.toml index 0a37ac9..e397150 100644 --- a/Project.toml +++ b/Project.toml @@ -8,7 +8,6 @@ Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" -OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" From 73450377de7aac2ae8db8f820b0ac3b227977edb Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 31 Jan 2024 14:53:12 +0100 Subject: [PATCH 49/54] rm Manifest and generate Project.toml --- Project.toml | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/Project.toml b/Project.toml index e397150..5955ce7 100644 --- a/Project.toml +++ b/Project.toml @@ -1,15 +1,5 @@ -name = "GromovWitten" -uuid = "5a552022-c4d0-4326-8ed5-d479b22bb2f9" -authors = ["Ali Traore"] -version = "0.1.2" - [deps] Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" -Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" -Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" - -[compat] -StatsBase = "0.34" From 9ca0b1a999e0866bfaee11a1c5847e3981009e4f Mon Sep 17 00:00:00 2001 From: blociss Date: Wed, 31 Jan 2024 15:02:59 +0100 Subject: [PATCH 50/54] modified: Project.toml --- Project.toml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Project.toml b/Project.toml index 5955ce7..3e5dc15 100644 --- a/Project.toml +++ b/Project.toml @@ -1,5 +1,11 @@ +name = "GromovWitten" +uuid = "5a552022-c4d0-4326-8ed5-d479b22bb2f9" +authors = ["Ali Traore"] +version = "0.1.1" + [deps] Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" +Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" From 2e12d8a3b196a3e674985e1f07715b74740cd2b8 Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 1 Feb 2024 12:58:34 +0100 Subject: [PATCH 51/54] modified: Project.toml --- Project.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/Project.toml b/Project.toml index 3e5dc15..ad7b6c5 100644 --- a/Project.toml +++ b/Project.toml @@ -5,6 +5,7 @@ version = "0.1.1" [deps] Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" +Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" From 3f513aa37fee370c5637d52d1e19a8030f42978d Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 1 Feb 2024 13:03:23 +0100 Subject: [PATCH 52/54] add Nemo to Docs/Project.toml --- docs/Project.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/Project.toml b/docs/Project.toml index b13df94..196fbe7 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -2,3 +2,4 @@ Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" GromovWitten="5a552022-c4d0-4326-8ed5-d479b22bb2f9" OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" +Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" From 10c55bfefc7ac2d6f0f91748a7d070ef1e13780d Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 31 Jan 2024 14:42:54 +0100 Subject: [PATCH 53/54] CI: fix documentation tests --- .github/workflows/document.yml | 3 ++- docs/Project.toml | 1 - docs/make.jl | 3 --- 3 files changed, 2 insertions(+), 5 deletions(-) diff --git a/.github/workflows/document.yml b/.github/workflows/document.yml index acad294..d3a3cfc 100644 --- a/.github/workflows/document.yml +++ b/.github/workflows/document.yml @@ -11,9 +11,10 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 - - uses: julia-actions/setup-julia@latest + - uses: julia-actions/setup-julia@v1 with: version: '1.6' + - uses: julia-actions/cache@v1 - name: Install dependencies run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()' - name: Build and deploy diff --git a/docs/Project.toml b/docs/Project.toml index 196fbe7..8a5f102 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -1,5 +1,4 @@ [deps] Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" GromovWitten="5a552022-c4d0-4326-8ed5-d479b22bb2f9" -OpenBLAS32_jll = "656ef2d0-ae68-5445-9ca0-591084a874a2" Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a" diff --git a/docs/make.jl b/docs/make.jl index d0663bc..be39ab2 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -1,6 +1,3 @@ -using Pkg -Pkg.activate(joinpath(@__DIR__, "..")) -push!(LOAD_PATH, joinpath(@__DIR__, "..", "docs", "src")) # Add docs/src/ to LOAD_PATH using GromovWitten using Documenter DocMeta.setdocmeta!(GromovWitten, :DocTestSetup, :(using GromovWitten); recursive=true) From 088a910485de83df51e6fdff4c32d1f3baabaa99 Mon Sep 17 00:00:00 2001 From: blociss Date: Thu, 1 Feb 2024 13:54:02 +0100 Subject: [PATCH 54/54] modified: .github/workflows/CI.yml --- .github/workflows/CI.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 93f360f..9cc97d0 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -3,7 +3,7 @@ on: push: branches: - main - - dev_new + - dev tags: ['*'] pull_request: jobs: