|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.13.2.18 equations
Procedure from librarygfan.lib (see gfan_lib).
- Usage:
- equations(c); c cone
equations(p); p polytope - Return:
- bigintmat, defining equations of c resp p
- Note:
- neither unique nor complete, unless c resp p in canonical form
LIB "gfan.lib"; intmat M1[2][2]= 1,0, 0,1; cone c1=coneViaPoints(M1); bigintmat E1=equations(c1); print(E1); ==> intmat M2[1][2]= 1,0; cone c2=coneViaPoints(M2); bigintmat E2=equations(c2); print(E2); ==> 0,-1 |