Resolution
Global GMS
ES Strata
Build. Blocks
Comb. Appl.
HCA Proving
Arrangements
Branches
Classify
Coding
Deformations
Equidim Part
Existence
Finite Groups
Flatness
Genus
Hilbert Series
Membership
Nonnormal Locus
Normalization
Primdec
Puiseux
Plane Curves
Saturation
Solving
Space Curves
Spectrum
Common Transversals and Tangents: Second Approach (2)
Further Computational Task: After the saturation process,
decompose the resulting ideal by a factorising Gröber basis computation.
For this computation, we can specify to work in the complement of the hypersurface V(st(s-1)(t-1)(s-t)). Hence, we can again treat s and t as variables. The SINGULAR computation
KL, 06/03 http://www.singular.uni-kl.de