next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
VarietyOfPolarSimplices :: VarietyOfPolarSimplices

VarietyOfPolarSimplices -- Varieties of Polar simplices

Description

Overview: The purpose of this package is to document the verification of a number of computational claims in the paper "The Variety of Polar Simplices" by Kristian Ranestad and Frank-Olaf Schreyer.

Setup: This package requires Macaulay2 version 1.4 or newer.

Usage: The verification of various formulas in the paper can be found in the documentation of several of the functions below.

1) The correctness of the set of equations printed in Lemma 5.5 and Lemma 5.8 checked with the functions

unfoldingEquations, flatteningRelations and equationsInThePaper.

The first two set up the computation of versal family by machine, the last makes the equation as printed in the paper. In the example section of the documentation of the function equationsInThePaper one can find the check of correctness.

2) Computations of the schemes Vhaff, Vpsec, Vploc and Vp,sloc can be found in the example section of the documentation for the function

claimsOfTable1

3) Finally the degree of VSP(n) according to the formula from Theorem 6.2 is in the documentation of the function

formalDegreeComputation.

Version

This documentation describes version 0.5.1 of VarietyOfPolarSimplices.

Source code

The source code from which this documentation is derived is in the file VarietyOfPolarSimplices.m2.

Exports