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.
This documentation describes version 1.2 of WhitneyStratifications.
The source code from which this documentation is derived is in the file WhitneyStratifications.m2.
The object WhitneyStratifications is a package.