Home Online Manual
Top
Back: ambientDimension
Forward: codimension
FastBack: coneViaInequalities
FastForward: fan
Up: cone related functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

4.22.3.2 canonicalizeCone

Syntax:
canonicalizeCone( cone c, intvec point )
Type:
cone
Purpose:
canonicalized version of the cone, no more redundant inequalities and equations
Example:
 
LIB"gfanlib.so";
intmat M[11][3]=
0,-1,1,
-1,1,0,
-1,0,1,
-1,-1,2,
-2,2,0,
-2,1,1,
-2,0,2,
-2,-1,3,
-3,2,1,
-3,1,2,
-3,0,3;
cone c=coneViaInequalities(M);
c;
==> AMBIENT_DIM
==> 3
==> INEQUALITIES
==> -3, 1,2,
==> -3, 2,1,
==> -2,-1,3,
==> -2, 1,1,
==> -1,-1,2,
==> -1, 0,1,
==> -1, 1,0,
==>  0,-1,1
==> LINEAR_SPAN
==> 
==> 
canonicalizeCone(c);
==> AMBIENT_DIM
==> 3
==> FACETS
==> -1, 1,0,
==>  0,-1,1
==> LINEAR_SPAN
==> 
==>