WhitneyStratifications -- Computes Whitney Statifications of complex varieties.

Description

This package computes Whitney stratifications of complex algebraic varieties using algorithms described in [1]. Homogeneous ideals will be treated as defining a projective variety, non-homogeneous ideals will be treated as defining affine varieties. Input ideals are assumed to define pure dimensional varieties.

References:

[1] Martin Helmer and Vidit Nanda. "Cornormal Spaces and Whitney Stratifications", Foundations of Computational Mathematics, DOI: 10.1007/s10208-022-09574-8.

Version

This documentation describes version 1.2 of WhitneyStratifications.

Source code

The source code from which this documentation is derived is in the file WhitneyStratifications.m2.

Exports

• Functions and commands
• conormal -- Computes the conormal variety
• conormalRing (missing documentation)
• whitneyStratify -- Computes a Whitney stratification of the complex variety in affine or projective space.
• Methods
• "conormal(Ideal)" -- see conormal -- Computes the conormal variety
• "whitneyStratify(Ideal)" -- see whitneyStratify -- Computes a Whitney stratification of the complex variety in affine or projective space.

For the programmer

The object WhitneyStratifications is .