Hi Simon,
this was exactly my problem, and your suggestion nicely solves this!
Thanks a lot!
On Wednesday, November 5, 2014 4:39:49 PM UTC+1, moep wrote:
>
> 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.
