|
D.8.1.9 tolessvars
Procedure from library presolve.lib (see presolve_lib).
- Usage:
- tolessvars(id [,s1,s2] ); id poly/ideal/vector/module/matrix,
s1=string (new ordering)
[default: s1="dp" or "ds" depending on whether the first block
of the old ordering is a p- or an s-ordering, respectively]
- Return:
- If id contains all vars of the basering: empty list.
Else: ring R with the same char as the basering, but possibly less
variables (only those variables which actually occur in id). In R
an object IMAG (image of id under imap) is stored.
- Display:
- If printlevel >=0, display ideal of vars, which have been omitted
from the old ring.
Example:
|