next | previous | forward | backward | up | top | index | toc | Macaulay2 website
WhitStrat :: WhitStrat

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

Author

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 a package.