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

D.13.2.6 codimension

Procedure from library gfan.lib (see gfan_lib).

Usage:
codimension(c); c cone
codimension(f); f fan
codimension(p); p polytope

Return:
int, the codimension of the input

Example:
 
LIB "gfan.lib";
intmat M1[1][2]=
1,0;
cone c1=coneViaPoints(M1);
codimension(c1);
==> 1
intmat M2[2][2]=
1,0,
0,1;
cone c2=coneViaPoints(M2);
codimension(c2);
==> 0
fan f = emptyFan(2);
codimension(f);
==> -1
insertCone(f,c1);
codimension(f);
==> 1
insertCone(f,c2);
codimension(f);
==> 0