# WhitStrat -- Computes Whitney Statifications of complex varities.

## Description

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".

## Version

This documentation describes version 1.1 of WhitStrat.

## Source code

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

## Exports

• Functions and commands
• conormal -- Computes the conormal variety
• conormRing (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 WhitStrat is .