Dear Sage team,

sage: I=R.ideal('a*b-1','c*d-1')
sage: R=PolynomialRing(QQ,'a,b,c,d')
sage: I=R.ideal('a*b-1','c*d-1')
sage: type(I)
<class
'sage.rings.polynomial.multi_polynomial_ideal.MPolynomialIdeal'>
sage: type(I.groebner_basis())
<class 'sage.structure.sequence.Sequence'>

I am very surprized that I.groebner_basis() does not return an ideal.
Is it really needed to say:
sage: J=R.ideal(I.groebner_basis())
sage: type(J)
<class
'sage.rings.polynomial.multi_polynomial_ideal.MPolynomialIdeal'>

This looks strange to me (close to a bug).

Yours
     Simon

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to