Outline
Singular
Contributors
History
Algorithms
Libraries
Comparisons
Examples
Singular-2-0
Availability
|
Kernel Functionality and Algorithms
- Standard basis (Groebner basis) algorithms
- Syzygies and free resolutions of modules:
- Standard-basis driven, Schreyer's, La Scala's, Hilbert--driven
algorithm
- Exti, Massey-products
- Ideal Theory:
- Intersection, ideal quotient, elimination, saturation,
primary decomposition, radical ideal
- Combinatorics:
- dimensions, Hilbert series, multiplicities,
etc
- Multivariate polynomial computations:
- gcd, resultant, factorization
- Characteristic sets:
- Wu's method
- Singularity Theory:
- Milnor, Tjurina numbers, Arnold's classification,
Hamburger-Noether (Puiseux) development, T1, T2,
deformations of isolated singularities, monodromy, moduli of
space curves
|