|
D.4.11.1 modStd
Procedure from library modstd.lib (see modstd_lib).
- Usage:
- modStd(I[, exactness]); I ideal, exactness int
- Return:
- a standard basis of I
- Note:
- The procedure computes a standard basis of I (over the rational
numbers) by using modular methods.
An optional parameter 'exactness' can be provided.
If exactness = 1, the procedure computes a standard basis of I for
sure; if exactness = 0, it computes a standard basis of I
with high probability.
Example:
See also:
modular.
|