|
D.12.5.13 standard
Procedure from library teachstd.lib (see teachstd_lib).
- Usage:
- standard(i[,s]); id ideal or module, s int
- Return:
- a standard basis of id, using generalized Mora's algorithm
which is Buchberger's algorithm for global monomial orderings.
If s!=0 the symmetric s-polynomial (without division) is used
- Note:
- Show comments if printlevel > 0, pauses computation if printlevel > 1
Example:
|