|
D.4.9.1 modStd
Procedure from library modstd.lib (see modstd_lib).
- Usage:
- modStd(I);
- Return:
- a standard basis of I if no warning appears;
- Note:
- the procedure computes a standard basis of I (over the
rational numbers) by using modular methods. If a
warning appears then the result is a standard basis with no defined
relation to I; this is a sign that not enough prime numbers have
been used. For further experiments see procedure modS.
Example:
| LIB "modstd.lib";
ring r=0,(x,y,z),dp;
ideal I=3x3+x2+1,11y5+y3+2,5z4+z2+4;
ideal J=modStd(I);
J;
==> J[1]=3x3+x2+1
==> J[2]=5z4+z2+4
==> J[3]=11y5+y3+2
|
|