whitneyStratify(I)
For a variety $X$ this command computes a Whitney stratification WS where WS#i is a list of strata closures in (complex) dimension $i$; for a prime ideal $P$ in WS#i the associated open (connected) strata is given by the connected components of $V(P)Z$ where $Z$ is the union of the varieties defined by the entries of WS#(i1). We demonstrate the method for the Whitney umbrella below.




Now the projective version; using the option Projective=>true will treat the input as a projective vareity. If this option is omitted the input is treated as an affine cone over the projective vareity.




Another projective example.




Note that as with the Whitney umbrella simply taking successive singular loci will not yield the correct stratification, in particular one would miss the two points defined by the second entry of V#0.


The object whitneyStratify is a method function with options.