how to find standard monomials of an Ideal?
Hello Is there any special command for contributing standard monomials of an Ideal I?
Hello Is there any special command for contributing standard monomials of an Ideal I?
Is groebner_basis
the command you need?
sage: R.<x,y> = PolynomialRing(QQ, order='lex')
sage: R.ideal(x^2+y^2-1, 16*x^2*y^2-1).groebner_basis()
[x^2 + y^2 - 1, y^4 - y^2 + 1/16]
This example is from section 9.3 of the book Calcul mathématique avec Sage (in French). The link is to a page where you can download or order the book.
Asked: 2013-06-07 04:17:14 -0600
Seen: 195 times
Last updated: Jun 08 '13
Groebner basis for rational functions with real coefficients
How to find the normal form of an elliptic curve using Sage?
Check whether point is on a projective variety
how to write Division command?
Computing power series local coordinates on an algebraic curve
How to write Buchberger algorithm?