|
D.2.6.3 katsura
Procedure from library poly.lib (see poly_lib).
- Usage:
- katsura([n]); n integer
- Return:
- katsura(n) : n-th katsura ideal of
(1) newly created and set ring (32003, x(0..n), dp), if
nvars(basering) < n
(2) basering, if nvars(basering) >= n
katsura() : katsura ideal of basering
Example:
|