Home Online Manual
Top
Back: NumLocalDim
Forward: re2squ
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.9 numerDecom_lib

Todos/Issues:

  • does not follow the naming convention
  • syntax errors in examples
  • no test suite

Library:
NumDecom.lib
Purpose:
Numerical Decomposition of Ideals
Overview:
The library contains procedures to compute
numerical irreducible decomposition, and
numerical primary decomposition of an algebraic variety defined by a polynomial system. The use of the library requires to install Bertini (@uref{http://www.nd.edu/~sommese/bertini}).

Author:
Shawki AlRashed, rashed@mathematik.uni-kl.de; sh.shawki@yahoo.de

Procedures:

D.5.9.1 re2squ  reduction to square system
D.5.9.2 UseBertini  use Bertini to compute the solutions of the homotopy function
D.5.9.3 Singular2bertini  adopt the list to be a read file in Bertini as a start solution set
D.5.9.4 bertini2Singular  adopt the file of solutions of the homotopy function to be a list in SINGULAR
D.5.9.5 ReJunkUseHomo  remove junk points using the homotopy function
D.5.9.6 JuReTopDim  remove junk points that are on top-dimensional component
D.5.9.7 JuReZeroDim  remove junk points from 0-dimensional component
D.5.9.8 WitSupSet  witness point super set
D.5.9.9 WitSet  witness point set
D.5.9.10 NumIrrDecom  numerical irreducible decomposition
D.5.9.11 defl  deflation of ideal I
D.5.9.12 NumPrimDecom  numerical primary decomposition