i3 : statePolytope(3,I)
This is the Gfan program for computing Groebner fans and tropical varieties.
Use the command "gfan list" to view all subcommands.
The command "gfan" is deprecate for computing all Groebner bases of an ideal.
Please use subcommand "gfan _bases" instead. Awaiting input. <Ctrl>-D to end.
LP algorithm being used: "cddgmp".
polymake: used package cdd
cddlib
Implementation of the double description method of Motzkin et al.
Copyright by Komei Fukuda.
http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html
polymake: used package ppl
The Parma Polyhedra Library (PPL): A C++ library for convex polyhedra
and other numerical abstractions.
http://www.cs.unipr.it/ppl/
VERTICES
1 9 6 6 9
1 6 12 3 9
1 4 14 5 7
1 3 14 8 5
1 9 3 12 6
1 7 5 14 4
1 5 8 14 3
1 3 12 12 3
o3 = {{9, 6, 6, 9}, {6, 12, 3, 9}, {4, 14, 5, 7}, {3, 14, 8, 5}, {9, 3, 12,
------------------------------------------------------------------------
6}, {7, 5, 14, 4}, {5, 8, 14, 3}, {3, 12, 12, 3}}
o3 : List
|