Macaulay2 » Documentation
Packages » gfanInterface :: gfanMinkowskiSum
next | previous | forward | backward | up | index | toc

gfanMinkowskiSum -- the Minkowski sum of Newton polytopes



The Newton polytope of a polynomial is the convex hull of the exponent vectors of the terms. This method produces the normal fan of the Minkowski sum of these polytopes, which is the same as the common refinement of the normal fans.

i1 : QQ[x,y]

o1 = QQ[x..y]

o1 : PolynomialRing
i2 : gfanMinkowskiSum { x + y + x*y }

o2 = Fan{...1...}

o2 : Fan
i3 : gfanMinkowskiSum { x + y + x*y + 1}

o3 = Fan{...1...}

o3 : Fan
i4 : gfanMinkowskiSum { x + y + x*y, x + y + x*y + 1}

o4 = Fan{...1...}

o4 : Fan

gfan Documentation This is a program for computing the normal fan of the Minkowski sum of the Newton polytopes of a list of polynomials.Options:--symmetry: Tells the program to read in generators for a group of symmetries (subgroup of $S_n$) after having read in the ideal. The program checks that the ideal stays fixed when permuting the variables with respect to elements in the group. The program uses breadth first search to compute the set of reduced Groebner bases up to symmetry with respect to the specified subgroup.--disableSymmetryTest: When using --symmetry this option will disable the check that the group read off from the input actually is a symmetry group with respect to the input ideal.--nocones: Tell the program to not list cones in the output.

Ways to use gfanMinkowskiSum :

For the programmer

The object gfanMinkowskiSum is a method function with options.