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

D.13.2.5 canonicalizeCone

Procedure from library gfan.lib (see gfan_lib).

Usage:
canonicalizeCone(c); c cone

Return:
cone, a unique representation of the cone c

Example:
 
LIB "gfan.lib";
intmat M[5][3]=
8,1,9,
9,2,4,
0,6,2,
8,8,8,
0,9,5;
cone c=coneViaInequalities(M);
c;
==> AMBIENT_DIM
==> 3
==> INEQUALITIES
==> 0,3,1,
==> 0,9,5,
==> 1,1,1,
==> 8,1,9,
==> 9,2,4
==> LINEAR_SPAN
==> 
==> 
cone cc=canonicalizeCone(c);
cc;
==> AMBIENT_DIM
==> 3
==> FACETS
==> 0,3,1,
==> 0,9,5,
==> 8,1,9,
==> 9,2,4
==> LINEAR_SPAN
==> 
==> 
// computes a unique representation of c
c == cc;
==> 1
// some procedures work with the known inequalities and equations
// in order to obtain a unique output,
// bring the cone in canonical form beforehand
relativeInteriorPoint(c);
==> 7,4,-6
relativeInteriorPoint(cc);
==> 7,4,-6