Package evaluation of PuiseuxPolynomials on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T07:43:30.896 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.31s ################################################################################ # Installation # Installing PuiseuxPolynomials... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [f53aee1f] + PuiseuxPolynomials v0.1.6 Updating `~/.julia/environments/v1.11/Manifest.toml` [10b2801c] + LaurentPolynomials v0.1.4 [4249f315] + ModuleElts v0.1.4 [f53aee1f] + PuiseuxPolynomials v0.1.6 [189a3867] + Reexport v1.2.2 [56f22d72] + Artifacts v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [4536629a] + OpenBLAS_jll v0.3.27+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 Installation completed after 1.13s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 13.43s ################################################################################ # Testing # Testing PuiseuxPolynomials Status `/tmp/jl_U6s0U1/Project.toml` [10b2801c] LaurentPolynomials v0.1.4 [4249f315] ModuleElts v0.1.4 [f53aee1f] PuiseuxPolynomials v0.1.6 [189a3867] Reexport v1.2.2 [37e2e46d] LinearAlgebra v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_U6s0U1/Manifest.toml` [10b2801c] LaurentPolynomials v0.1.4 [4249f315] ModuleElts v0.1.4 [f53aee1f] PuiseuxPolynomials v0.1.6 [189a3867] Reexport v1.2.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [8dfed614] Test v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [4536629a] OpenBLAS_jll v0.3.27+1 [8e850b90] libblastrampoline_jll v5.11.0+0 Testing Running tests... PuiseuxPolynomials.jl @Mvp x,y PuiseuxPolynomials.jl (x+y^-1)^3 PuiseuxPolynomials.jl x+Mvp(:z) PuiseuxPolynomials.jl x^(1//2) PuiseuxPolynomials.jl Mvp(3) PuiseuxPolynomials.jl repr(3x*y^-2+4) PuiseuxPolynomials.jl (4x)^(1//2) PuiseuxPolynomials.jl (2.0x)^(1//2) PuiseuxPolynomials.jl root(2.0x) PuiseuxPolynomials.jl p=3x*y^-2+4 PuiseuxPolynomials.jl term(p,1) PuiseuxPolynomials.jl term(p,2) PuiseuxPolynomials.jl length(p) PuiseuxPolynomials.jl term.(p,1:length(p)) PuiseuxPolynomials.jl last(term(p,1)) PuiseuxPolynomials.jl m=first(term(p,1)) PuiseuxPolynomials.jl length(m) PuiseuxPolynomials.jl map((x,y)->x=>y,variables(m),powers(m)) PuiseuxPolynomials.jl degree(m,:x) PuiseuxPolynomials.jl degree(m,:y) PuiseuxPolynomials.jl p PuiseuxPolynomials.jl variables(p) PuiseuxPolynomials.jl degree(p),degree(p,:x),degree(p,:y) PuiseuxPolynomials.jl valuation(p),valuation(p,:x),valuation(p,:y) PuiseuxPolynomials.jl p PuiseuxPolynomials.jl p^2 PuiseuxPolynomials.jl p/2 PuiseuxPolynomials.jl p//2 PuiseuxPolynomials.jl Mvp{Float64,Rational{Int}}(p) PuiseuxPolynomials.jl p=x+y PuiseuxPolynomials.jl p(x=2) PuiseuxPolynomials.jl value(p,:x=>2) PuiseuxPolynomials.jl p(x=2,y=x) PuiseuxPolynomials.jl value(p,:x=>2,:y=>x) PuiseuxPolynomials.jl p(x=1,y=2) PuiseuxPolynomials.jl scalar(p(x=1,y=2)) PuiseuxPolynomials.jl v=(x^(1//2))(x=2.0) PuiseuxPolynomials.jl scalar(v) PuiseuxPolynomials.jl LinearAlgebra.exactdiv(x^2-y^2,x-y) PuiseuxPolynomials.jl (x+y)/(2x^2) PuiseuxPolynomials.jl (x+y)//(2x^2) PuiseuxPolynomials.jl (x+y)/(x-y) PuiseuxPolynomials.jl (x+1)^-2 PuiseuxPolynomials.jl x+1/(y+1) PuiseuxPolynomials.jl 1/(y-1)-1/(y+1) PuiseuxPolynomials.jl ((x+y)/(x-y))(x=y+1) PuiseuxPolynomials.jl value((x+y)/(x-y),:x=>y+1;Rational=true) PuiseuxPolynomials.jl m=[x+y x-y;x+1 y+1] PuiseuxPolynomials.jl n=inv(Frac.(m)) PuiseuxPolynomials.jl lcm(denominator.(n)) PuiseuxPolynomials.jl @Mvp x;conj(im*x+1) PuiseuxPolynomials.jl a=x^2+x*y PuiseuxPolynomials.jl degree(a), degree(a,:y), degree(a,:x) PuiseuxPolynomials.jl @Mvp x,y; a=x^2+x*y PuiseuxPolynomials.jl valuation(a), valuation(a,:y), valuation(a,:x) PuiseuxPolynomials.jl @Mvp x,y; p=(x-y)^3 PuiseuxPolynomials.jl coefficient(p,Monomial_(:x=>2,:y=>1)) PuiseuxPolynomials.jl coefficient(p,Monomial()) PuiseuxPolynomials.jl p=(x+y+inv(y))^4 PuiseuxPolynomials.jl coefficients(p,:x) PuiseuxPolynomials.jl coefficients(p,:y) PuiseuxPolynomials.jl p=(x+y^(1//2))^3 PuiseuxPolynomials.jl Pol(:q); Pol(p,:x) PuiseuxPolynomials.jl p=x+y^2+x^3+y^3 PuiseuxPolynomials.jl discriminant(Pol(p,:x)) PuiseuxPolynomials.jl @Mvp x,y; p=(x+y^(1//2)+1)^3 PuiseuxPolynomials.jl coefficient(p,:y,1//2) PuiseuxPolynomials.jl coefficient(p,:x,1) PuiseuxPolynomials.jl @Mvp x; @Pol q; Pol(x^2+x) PuiseuxPolynomials.jl @Pol q PuiseuxPolynomials.jl Mvp(q^2+q) PuiseuxPolynomials.jl Mvp(q^2+q,:x) PuiseuxPolynomials.jl @Mvp x,y,z PuiseuxPolynomials.jl variables([z,[y+z],x]) PuiseuxPolynomials.jl p=Mvp(:x)+1 PuiseuxPolynomials.jl w=p(x=4) PuiseuxPolynomials.jl scalar(w) PuiseuxPolynomials.jl typeof(scalar(w)) PuiseuxPolynomials.jl p=-2+7x^5*inv(y) PuiseuxPolynomials.jl p(x=2) PuiseuxPolynomials.jl p(y=1) PuiseuxPolynomials.jl p(x=2,y=1) PuiseuxPolynomials.jl p(x=y) PuiseuxPolynomials.jl p(x=y,y=x) PuiseuxPolynomials.jl p=x^(1//2)*y^(1//3) PuiseuxPolynomials.jl p(;x=y) PuiseuxPolynomials.jl p(;x=4) PuiseuxPolynomials.jl p(;y=2.0) PuiseuxPolynomials.jl @Mvp x,y PuiseuxPolynomials.jl (x+y)^[1 2;3 1] PuiseuxPolynomials.jl @Mvp x,y;p=7x^5*y^-1-2 PuiseuxPolynomials.jl derivative(p,:x) PuiseuxPolynomials.jl derivative(p,:y) PuiseuxPolynomials.jl derivative(p,:x,:y) PuiseuxPolynomials.jl p=x^(1//2)*y^(1//3) PuiseuxPolynomials.jl derivative(p,:x) PuiseuxPolynomials.jl derivative(p,:y) PuiseuxPolynomials.jl derivative(p,:z) PuiseuxPolynomials.jl gcd((x+y)^2,x^2-y^2) PuiseuxPolynomials.jl laurent_denominator(x^-1,y^-2+x^4) PuiseuxPolynomials.jl lcm(x^2-y^2,(x+y)^2) PuiseuxPolynomials.jl @Mvp x,y,z; F=[x^2+y^2+z^2-1,x^2-y+z^2,x-z] PuiseuxPolynomials.jl grobner_basis(F) PuiseuxPolynomials.jl grobner_basis(F;lt=grlex) PuiseuxPolynomials.jl grobner_basis(F;lt=grevlex) PuiseuxPolynomials.jl @Mvp x,y,z; p=x+y+z PuiseuxPolynomials.jl rename_variables(p,Symbol.('A':'Z')) PuiseuxPolynomials.jl rename_variables(p,[:U,:V]) PuiseuxPolynomials.jl rename_variables(p,:x=>:U,:z=>:V) Test Summary: | Pass Total Time Gapjm | 109 109 1m32.3s PuiseuxPolynomials.jl | 109 109 1m32.2s Testing PuiseuxPolynomials tests passed Testing completed after 97.85s PkgEval succeeded after 129.2s