|
D.6.13.8 is_regs
Procedure from library sing.lib (see sing_lib).
- Usage:
- is_regs(i[,id]); i poly, id ideal or module (default: id=0)
- Return:
- 1 if generators of i are a regular sequence modulo id, 0 otherwise
- Note:
- Let R be the basering and id a submodule of R^n. The procedure checks
injectivity of multiplication with i[k] on R^n/id+i[1..k-1].
The basering may be a quotient ring.
printlevel >=0: display comments (default)
printlevel >=1: display comments during computation
Example:
|