|
D.15.12.4 gkzFan
Procedure from library gitfan.lib (see gitfan_lib).
- Usage:
- gkzFan(Q); a: ideal, Q:bigintmat
- Purpose:
- Returns the GKZ-fan of the matrix Q.
- Return:
- a fan.
Example:
| LIB "gitfan.lib";
intmat Q[3][4] =
1,0,1,0,
0,1,0,1,
0,0,1,1;
gkzFan(Q);
==> cones found: 1
==> cones found: 2
==> cones found: 3
==> cones found: 4
==> _application PolyhedralFan
==> _version 2.2
==> _type PolyhedralFan
==>
==> AMBIENT_DIM
==> 3
==>
==> DIM
==> 3
==>
==> LINEALITY_DIM
==> 0
==>
==> RAYS
==> 0 1 0 # 0
==> 0 1 1 # 1
==> 1 0 0 # 2
==> 1 0 1 # 3
==> 1 1 1 # 4
==>
==> N_RAYS
==> 5
==>
==> LINEALITY_SPACE
==>
==> ORTH_LINEALITY_SPACE
==> -1 0 0 # 0
==> 0 -1 0 # 1
==> 0 0 -1 # 2
==>
==> F_VECTOR
==> 1 5 8 4
==>
==> SIMPLICIAL
==> 1
==>
==> PURE
==> 1
==>
==> CONES
==> {} # Dimension 0
==> {0} # Dimension 1
==> {1}
==> {2}
==> {3}
==> {4}
==> {0 1} # Dimension 2
==> {0 2}
==> {1 3}
==> {0 4}
==> {1 4}
==> {2 3}
==> {2 4}
==> {3 4}
==> {0 1 4} # Dimension 3
==> {0 2 4}
==> {1 3 4}
==> {2 3 4}
==>
==> MAXIMAL_CONES
==> {0 1 4} # Dimension 3
==> {0 2 4}
==> {1 3 4}
==> {2 3 4}
==>
|
|