|
D.8.1.8 linearpart
Procedure from library presolve.lib (see presolve_lib).
- Usage:
- linearpart(id); id=ideal/module
- Return:
- list of size 2,
_[1]: generators of id of total degree <= 1
_[2]: remaining generators of id
- Note:
- all variables have degree 1 (independent of ordering of basering)
Example:
|