Home Online Manual
Top
Back: dualCone
Forward: faceContaining
FastBack:
FastForward:
Up: gfan_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.13.1.18 equations

Procedure from library gfan.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

Example:
 
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