|
D.15.19.1 genSymId
Procedure from library symodstd.lib (see symodstd_lib).
- Usage:
- genSymId(I,sigma); I ideal, sigma intvec
- Assume:
- size(sigma) = nvars(basering =: n
- Return:
- ideal J such that sigma(J) = J and J includes I
- Note:
- sigma is a permutation of the variables of the basering, i.e.
sigma: var(i) ----> var(sigma[i]), 1 <= i <= n.
Example:
|