Classify
Coding
Deformations
Equidim Part
Existence
Finite Groups
Flatness
Genus
Hilbert Series
Membership
Monodromy
Normalization
Primdec
Puiseux
Plane Curves
Solving
Space Curves
Spectrum
Symbolic Numerical Solving - Timings Comparison
  [Amrhein &al] [Wallack &al] cyclic 5 Arnborg 6 Methan 6_1
# variables 3 4 5 6 10
multiplicity 53 16 70 156 27
# diff. roots 32 16 70 156 27
  SINGULAR 1-3-7 Mathematica 4.0 MAPLE V.5 REDUCE 3.7
Example roots time roots time roots time roots time
  found (sec) found (sec) found (sec) found (sec)
[Amrhein &al] 32 24 37 100 -- > 5000 -- > 5000
[Wallack &al] 16 2 16 9 1 1 16 22
cyclic 5 70 5 -- > 5000 -- > 5000 -- > 5000
Arnborg 6 156 22 -- > 5000 -- > 5000 -- > 5000
Methan 6_1 27 66 -- > 5000 -- > 5000 -- > 5000




Symbolic Numerical Solving

Lille, 08-07-02 http://www.singular.uni-kl.de