Proposition 3.3.4
Fulvio Gesmundo,
Jonathan Hauenstein,
Christian Ikenmeyer, and
JM Landsberg.
Return to the main page.
Directions
Before you begin, you will need to have a working binary (called "M2") of
Macaulay2 and
working version of Maple on your machine.
- Save the files Prop334.m2 and Prop334.txt to your computer.
- To verify that the set corresponds to a hypersurface, execute the command
      $   M2 < Prop334.m2
- Here is the output displayed to the screen. Perusing it, we see that Macaulay2 verified that it must be an irreducible hypersurface.
- To verify that the computed polynomial F is irreducible and vanishes on the hypersurface, start Maple and execute the command
      >   read "Prop334.txt"
- Here is the output displayed to the screen. Perusing it, we see that Maple verified that the polynomial F is irreducible and vanishes on this hypersurface.
Return to the main page.