WhitneyStratifications : Table of Contents

• WhitneyStratifications -- Computes Whitney Statifications of real and complex varieties and of algebraic maps between them.
• conormal -- Computes the conormal variety
• conormalRing (missing documentation)
• isProper (missing documentation)
• mapStratify -- Computes a Whitney stratification of a polynomial map $f:X\to Y$ between real or complex varieties.
• nonProperSet (missing documentation)
• StratsToFind (missing documentation)
• whitneyStratify -- Computes a Whitney stratification of the real and complex varieties.