Hi Francisco and all other potential reviewers,
On 6 Jun., 08:10, Simon King <[email protected]> wrote:
> I think the procedure above should be automated (but the term order
> should be taken care of as well, I suppose). I'll open a ticket.
It is #11431, and it seems ready for review. One can convert quite
complicated things with the patch. For example:
sage: singular.eval('ring r10 = (9,a), (x,y,z),lp')
'ring r10 = (9,a), (x,y,z),lp;'
sage: Q = singular('std(ideal(x^2,x+y^2+z^3))',
type='qring')
sage: Q.sage()
Quotient of Multivariate Polynomial Ring in x, y, z over
Finite Field in a of size 3^2 by the ideal (y^4 - y^2*z^3 + z^6, x +
y^2 + z^3)
sage: singular('x^2+y').sage()
x^2 + y
sage: singular('x^2+y').sage().parent()
Quotient of Multivariate Polynomial Ring in x, y, z over
Finite Field in a of size 3^2 by the ideal (y^4 - y^2*z^3 + z^6, x +
y^2 + z^3)
Cheers,
Simon
--
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
