Top
Back: degreepart
Forward: elimpart
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.2 elimlinearpart

Procedure from library presolve.lib (see presolve_lib).

Usage:
elimlinearpart(i[,n]); i=ideal, n=integer,
default: n=nvars(basering)

Return:
list L with 5 entries:
 
  L[1]: ideal obtained from i by substituting from the first n variables those
        which appear in a linear part of i, by putting this part into triangular
        form
  L[2]: ideal of variables which have been substituted
  L[3]: ideal, j-th element defines substitution of j-th var in [2]
  L[4]: ideal of variables of basering, eliminated ones are set to 0
  L[5]: ideal, describing the map from the basering to itself such that
        L[1] is the image of i

Note:
the procedure always interreduces the ideal i internally w.r.t. ordering dp.

Example:
 


Top Back: degreepart Forward: elimpart 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.