|
D.4.10.3 modHenselStd
Procedure from library modstd.lib (see modstd_lib).
- Usage:
- modHenselStd(I);
- Return:
- a standard basis of I;
- Note:
- The procedure computes a standard basis of I (over the rational
numbers) by using modular computations and Hensellifting.
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 = modHenselStd(I);
J;
==> J[1]=3x3+x2+1
==> J[2]=5z4+z2+4
==> J[3]=11y5+y3+2
|
|