Outline
Objects
Functionality
Structure
Availability
Comparisons
Examples
Development
Contributors
Singular-1-4
|
Functionality and Algorithms
- Standard basis (Groebner basis) algorithms
- Syzygies and free resolutions of modules:
- Standard-basis driven, Schreyer's, and La Scala's
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
|