|
7.7.20.0. admissibleSub
Procedure from library ncpreim.lib (see ncpreim_lib).
- Usage:
- admissibleSub(v); v intvec
- Assume:
- The entries of v are in the range 1..nvars(basering).
- Return:
- int, 1 if the variables indexed by the entries of v form an
admissible subalgebra, 0 otherwise
Example:
|