dualVariety I
This can be considered a shortcut for dualize tangentialChowForm(I,dim I -1).
Note that in characteristic 0 (or sufficiently large characteristic), the reflexivity theorem implies that if I' == dualVariety I then dualVariety I' == I. Below, we verify the reflexivity theorem for the Veronese surface.
|
|
|
In the next example, we verify that the discriminant of a generic ternary cubic form coincides with the dual variety of the 3-th Veronese embedding of the plane, which is a hypersurface of degree 12 in $\mathbb{P}^9$
|
|
|
|
The object dualVariety is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Resultants.m2:1244:0.