This package computes Whitney stratifications of complex algebraic varieites 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".
This documentation describes version 1.1 of WhitStrat.
The source code from which this documentation is derived is in the file WhitStrat.m2.