|
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:
|