mixedVolume W
Let $Q_1,...,Q_n$ be a collection of lattice polytopes in $\mathbb{R}^n$ and let $I_1,...,I_n$ be homogeneous ideals in a polynomial ring over the field of rational numbers, corresponding to the given polytopes. These ideals can be obtained using the command homIdealPolytope. The mixed volume is calculated by computing a mixed multiplicity of these ideals.
The following example computes the mixed volume of three 3-cross polytopes.
|
|
One can also compute the mixed volume of a collection of lattice polytopes by directly entering the vertices of the polytopes. Mixed Volume in the above example can also be computed as follows.
|
|
The object mixedVolume is a method function with options.