|
7.7.20.0. elimWeight
Procedure from library ncpreim.lib (see ncpreim_lib).
- Usage:
- elimWeight(v); v an intvec
- Assume:
- The basering is a G-algebra.
The entries of v are in the range 1..nvars(basering) and the
corresponding variables generate an admissible subalgebra.
- Return:
- intvec, say w, such that the ordering (a(w),<), where < is
any admissible global ordering, is an elimination ordering
for the subalgebra generated by the variables indexed by the
entries of the given intvec.
- Note:
- If no such ordering exists, the zero intvec is returned.
- Remark:
- Reference: (BGL), (GML)
Example:
|