|
D.4.5.7 sat
Procedure from library elim.lib (see elim_lib).
- Usage:
- sat(id,j); id=ideal/module, j=ideal
- Return:
- list of an ideal/module [1] and an integer [2]:
[1] = saturation of id with respect to j (= union_(k=1...) of id:j^k)
[2] = saturation exponent (= min( k | id:j^k = id:j^(k+1) ))
- Note:
- [1] is a standard basis in the basering
- Display:
- saturation exponent during computation if printlevel >=1
Example:
|