This actually does look like a bug in Sage:

sage: R = PolynomialRing(GF(2), 'x0,x1,x2', order='wdegrevlex')
sage: R.inject_variables()
Defining x0, x1, x2
sage: J = R.ideal([x0*x1+x2])
sage: J
<repr(<sage.rings.polynomial.multi_polynomial_ideal.MPolynomialIdeal at 
0x7fcd5c5f5900>) failed: TypeError: zip argument #2 must support iteration>

R.
On Aug 05, 'Reimundo Heluani' via sage-devel wrote:
On Aug 05, 'Reimundo Heluani' via sage-devel wrote:
I went to try to answer a question posted today in sage-support and found this:

sage: P = PolynomialRing(QQ, 'x0,x1,x2')
sage: P = PolynomialRing(GF(2), 'x0,x1,x2')
sage: P.inject_variables()
Defining x0, x1, x2
sage: I = P.ideal(x0*x1+x2)
sage: I.reduce(x2)
x2
sage: R = PolynomialRing(GF(2), 'x0,x1,x2', order='wdegrevlex')
sage: R.inject_variables()
Defining x0, x1, x2
sage: J = R.ideal(x0*x1+x2)
sage: J.reduce(x2)
verbose 0 (3831: multi_polynomial_ideal.py, groebner_basis) Warning: falling 
back to very slow toy implementation.
verbose 0 (3831: multi_polynomial_ideal.py, groebner_basis) Warning: falling 
back to very slow toy implementation.
---------------------------------------------------------------------------
Traceback (most recent call last):
...
TypeError: zip argument #2 must support iteration


Adding to this, it seems that Singular leaks in this case, I exited the sage session after typing that e-mail and got this:

sage: quit
Exiting Sage (CPU time 0m2.31s, Wall time 10m9.07s).
Exiting Singular with PID 13097 running /opt/sage/local/bin/Singular -t 
--ticks-per-sec 1000 --cntrlc=a

Cheers,

R.

Cheers,

R.

--
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/20200805142045.GB7489%40vertex.


--
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/20200805142354.GA13766%40vertex.


--
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/20200805204053.GA22362%40vertex.

Attachment: signature.asc
Description: PGP signature

Reply via email to