Top
Back: exclusionTest
Forward: degreepart
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.3 presolve_lib

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

Procedures:

D.8.3.1 degreepart  elements of id of total degree >= d1 and <= d2, and rest
D.8.3.2 elimlinearpart  linear part eliminated from id
D.8.3.3 elimpart  partial elimination of vars [among first n vars]
D.8.3.4 elimpartanyr  factors of p partially eliminated from i in any ring
D.8.3.5 fastelim  fast elimination of factors of p from i [options]
D.8.3.6 findvars  variables occurrring/not occurring in id
D.8.3.7 hilbvec  intvec of Hilberseries of id [in char c and ord o]
D.8.3.8 linearpart  elements of id of total degree <=1
D.8.3.9 tolessvars  maps id to new basering having only vars occurring in id
D.8.3.10 solvelinearpart  reduced std-basis of linear part of id
D.8.3.11 sortandmap  map to new basering with vars sorted w.r.t. complexity
D.8.3.12 sortvars  sort vars w.r.t. complexity in id [different blocks]
D.8.3.13 valvars  valuation of vars w.r.t. to their complexity in id
D.8.3.14 idealSplit  a list of ideals such that their intersection has the same radical as id


Top Back: exclusionTest Forward: degreepart FastBack: FastForward: Up: Singular Manual Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.