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

D.13.1.30 linealitySpace

Procedure from library gfan.lib (see gfan_lib).

Usage:
linealitySpace(c); c cone

Return:
cone, the lineality space of c

Example:
 
LIB "gfan.lib";
intmat M1[3][3]=
1,0,0,
0,1,0,
0,0,1;
cone c1=coneViaPoints(M1);
cone l1=linealitySpace(c1);
l1;
==> AMBIENT_DIM
==> 3
==> INEQUALITIES
==> 
==> LINEAR_SPAN
==> 1,0,0,
==> 0,1,0,
==> 0,0,1
==> 
intmat M2[4][3]=
1,0,0,
0,1,0,
0,0,1,
-1,0,0;
cone c2=coneViaPoints(M2);
cone l2=linealitySpace(c2);
l2;
==> AMBIENT_DIM
==> 3
==> INEQUALITIES
==> 
==> LINEAR_SPAN
==> 0,1,0,
==> 0,0,1
==>