PS: On 13 Okt., 10:14, Simon King <[email protected]> wrote: > sage: IR = I.radical().groebner_basis()*P; IR > Ideal (z^3 - 3*z^2 + 2*z + 2/3, y^2 + y*z + z^2 - 3*y - 3*z + 2, x + y > + z - 3) of Multivariate Polynomial Ring in x, y, z over Rational > Field > sage: IR.dimension() > 0 > sage: IR.vector_space_dimension() > 6
I am not sure if the methods "dimension" and "vector_space_dimension" would automatically compute the Gröbner basis. The corresponding commands in Singular won't. But if they do, the above definition of IR should be simplified to "IR=I.radical()". Needless to say that the computation of the radical can take a very long time, depending on the example. 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
