toricPolytope -- computes the polytope whose toric ideal is the given ideal

Synopsis

Usage:

Q = toricPolytope I
Inputs:
- I, an ideal, a toric ideal
Outputs:
- Q, a matrix, a matrix whose columns are the vectors of a configuration whose toric ideal is I

Description

Every toric ideal comes as the ideal of some vector configuration. This function gives one such vector configuration whose ideal is the given ideal.

i1 : V = {{0, 0}, {0, 1}, {1, 1}, {1, 0}};

i2 : I = slackIdeal V

Order of vertices is 
{{0, 0}, {1, 0}, {0, 1}, {1, 1}}

o2 = ideal(x x x x  - x x x x )
            0 3 5 6    1 2 4 7

o2 : Ideal of QQ[x ..x ]
                  0   7

i3 : Q = toricPolytope I

o3 = | 1 0 0 0 1  0  0 0 |
     | 0 1 0 0 0  1  0 0 |
     | 0 0 0 0 1  1  0 0 |
     | 0 0 0 0 1  0  1 0 |
     | 0 0 1 0 -1 0  0 0 |
     | 0 0 0 0 0  1  0 1 |
     | 0 0 0 1 0  -1 0 0 |

              7       8
o3 : Matrix ZZ  <-- ZZ

Caveat

This function does not test for binomiality. If it is given an ideal which is not toric, it will return the polytope of the ideal whose generators are the first two terms of each generator of the input ideal. If the input toric ideal is scaled (lattice ideal with not all coefficients one) the toric polytope of the unscaled ideal is returned.

Ways to use toricPolytope :

toricPolytope(Ideal)

toricPolytope -- computes the polytope whose toric ideal is the given ideal

Synopsis

Description

Caveat

See also

Ways to use toricPolytope :

For the programmer