Hi,
I would like to perform some calculations with polynomials in Singular via
the Sage interface. For on particular problem I want to take the full
polynomial ring and mod out an ideal. The manual provides the following
example:
(1) sage: singular.eval('ring r6 = (9,a), (x,y,z),lp')(2) 'ring r6 = (9,a),
(x,y,z),lp;'(3) sage: Q = singular('std(ideal(x^2,x+y^2+z^3))',
type='qring')(4) sage: Q.sage_global_ring()(5) 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)
The ideal here is fairly simple and it's not a problem to type it in by hand.
However I have an ideal that has over 100 generators, which I have defined as a
variable before. Now I have the problem that I cannot simply adjust the given
example to my situation, i.e. if I replace the third line by
Q = singular(I, type='qring')
then I just get the full polynomial ring back again.
So long story short: Is there a way to generate a quotient ring with
Singular and set it as the global ring in Sage without having to input each
of the ideal's generators by hand?
Thanks!
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
