# how to find standard monomials of an Ideal?

Hello Is there any special command for contributing standard monomials of an Ideal I?

how to find standard monomials of an Ideal?

Hello Is there any special command for contributing standard monomials of an Ideal I?

add a comment

0

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 -0500
**

Seen: **122 times**

Last updated: **Jun 08 '13**

How to write twisted cubic in sage?

Passing ideals between Macaulay and Sage

Finding the dual basis of a space of rational functions?

Prime ideals and "Point on Spectrum"

Map between projective curves defined in an extension field

how can I Calculate grobner bases in this application?

Groebner basis for rational functions with real coefficients

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.