Top
Back: linearpart
Forward: solvelinearpart
FastBack: Symbolic-numerical solving
FastForward: solve_lib
Up: presolve_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 


Top Back: linearpart Forward: solvelinearpart FastBack: Symbolic-numerical solving FastForward: solve_lib Up: presolve_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.