Only leading monomials - #148

Process completed with exit code 1.

doctest failure in src/connectivity/polar.jl:37-53 ```jldoctest julia> using AlgebraicSolving julia> R,(x1,x2,x3,x4) = polynomial_ring(QQ, ["x1","x2","x3","x4"]) (Multivariate polynomial ring in 4 variables over QQ, QQMPolyRingElem[x1, x2, x3, x4]) julia> I = Ideal([(x1^2+x2^2+x3^2+x4^2+9-1)^2-4*9*(x1^2+x2^2+x3^2) + 1]) QQMPolyRingElem[x1^4 + 2*x1^2*x2^2 + 2*x1^2*x3^2 + 2*x1^2*x4^2 - 20*x1^2 + x2^4 + 2*x2^2*x3^2 + 2*x2^2*x4^2 - 20*x2^2 + x3^4 + 2*x3^2*x4^2 - 20*x3^2 + x4^4 + 16*x4^2 + 65] julia> computepolar(1:3, I, dimproj=1, phi=[x1^2+x2^2+x3^2+x4^2]) 5-element Vector{QQMPolyRingElem}: x1^4 + 2*x1^2*x2^2 + 2*x1^2*x3^2 + 2*x1^2*x4^2 - 20*x1^2 + x2^4 + 2*x2^2*x3^2 + 2*x2^2*x4^2 - 20*x2^2 + x3^4 + 2*x3^2*x4^2 - 20*x3^2 + x4^4 + 16*x4^2 + 65 -4*x1^3 - 4*x1*x2^2 - 4*x1*x3^2 - 4*x1*x4^2 + 40*x1 -4*x1^2*x4 - 4*x2^2*x4 - 4*x3^2*x4 - 4*x4^3 - 32*x4 -2*x1 -2*x4 ``` Subexpression: computepolar(1:3, I, dimproj=1, phi=[x1^2+x2^2+x3^2+x4^2]) Evaluated output: Fixes reduction of GB to 0 (false). 5-element Vector{QQMPolyRingElem}: x1^4 + 2*x1^2*x2^2 + 2*x1^2*x3^2 + 2*x1^2*x4^2 - 20*x1^2 + x2^4 + 2*x2^2*x3^2 + 2*x2^2*x4^2 - 20*x2^2 + x3^4 + 2*x3^2*x4^2 - 20*x3^2 + x4^4 + 16*x4^2 + 65 -4*x1^3 - 4*x1*x2^2 - 4*x1*x3^2 - 4*x1*x4^2 + 40*x1 -4*x1^2*x4 - 4*x2^2*x4 - 4*x3^2*x4 - 4*x4^3 - 32*x4 -2*x1 -2*x4 Expected output: 5-element Vector{QQMPolyRingElem}: x1^4 + 2*x1^2*x2^2 + 2*x1^2*x3^2 + 2*x1^2*x4^2 - 20*x1^2 + x2^4 + 2*x2^2*x3^2 + 2*x2^2*x4^2 - 20*x2^2 + x3^4 + 2*x3^2*x4^2 - 20*x3^2 + x4^4 + 16*x4^2 + 65 -4*x1^3 - 4*x1*x2^2 - 4*x1*x3^2 - 4*x1*x4^2 + 40*x1 -4*x1^2*x4 - 4*x2^2*x4 - 4*x3^2*x4 - 4*x4^3 - 32*x4 -2*x1 -2*x4 diff = Warning: Diff output requires color. Fixes reduction of GB to 0 (false). 5-element Vector{QQMPolyRingElem}: x1^4 + 2*x1^2*x2^2 + 2*x1^2*x3^2 + 2*x1^2*x4^2 - 20*x1^2 + x2^4 + 2*x2^2*x3^2 + 2*x2^2*x4^2 - 20*x2^2 + x3^4 + 2*x3^2*x4^2 - 20*x3^2 + x4^4 + 16*x4^2 + 65 -4*x1^3 - 4*x1*x2^2 - 4*x1*x3^2 - 4*x1*x4^2 + 40*x1 -4*x1^2*x4 - 4*x2^2*x4 - 4*x3^2*x4 - 4*x4^3 - 32*x4 -2*x1 -2*x4

doctest failure in src/algorithms/dimension.jl:9-18 ```jldoctest julia> using AlgebraicSolving julia> R, (x, y, z) = polynomial_ring(QQ, ["x", "y", "z"]); julia> I = Ideal([x*y,x*z,y*z]); julia> dimension(I) 1 ``` Subexpression: dimension(I) Evaluated output: Fixes reduction of GB to 0 (false). 1 Expected output: 1 diff = Warning: Diff output requires color. Fixes reduction of GB to 0 (false). 1