conormal(I)
For a complex projective variety $X=V(I)\subset \PP^n$ this command computes the ideal of the conormal variety $Con(X)$ in $k^n \times \PP^{n-1}$.
|
|
|
The object conormal is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/WhitneyStratifications.m2:676:0.