Top
Back: Symbolic-numerical solving
Forward: degreepart
FastBack: Invariant theory
FastForward: solve_lib
Up: Symbolic-numerical solving
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.1 presolve_lib

Library:
presolve.lib
Purpose:
Pre-Solving of Polynomial Equations
Author:
Gert-Martin Greuel, email: greuel@mathematik.uni-kl.de,

Procedures:

D.8.1.1 degreepart  elements of id of total degree >= d1 and <= d2, and rest
D.8.1.2 elimlinearpart  linear part eliminated from id
D.8.1.3 elimpart  partial elimination of vars [among first n vars]
D.8.1.4 elimpartanyr  factors of p partially eliminated from i in any ring
D.8.1.5 fastelim  fast elimination of factors of p from i [options]
D.8.1.6 findvars  ideal of variables occuring in id [more information]
D.8.1.7 hilbvec  intvec of Hilberseries of id [in char c and ord o]
D.8.1.8 linearpart  elements of id of total degree <=1
D.8.1.9 tolessvars  maps id to new basering having only vars occuring in id
D.8.1.10 solvelinearpart  reduced std-basis of linear part of id
D.8.1.11 sortandmap  map to new basering with vars sorted w.r.t. complexity
D.8.1.12 sortvars  sort vars w.r.t. complexity in id [different blocks]
D.8.1.13 valvars  valuation of vars w.r.t. to their complexity in id
D.8.1.14 idealSplit  a list of ideals such that their intersection has the same radical as id


Top Back: Symbolic-numerical solving Forward: degreepart FastBack: Invariant theory FastForward: solve_lib Up: Symbolic-numerical solving 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.