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

D.13.1.50 isCompatible

Procedure from library gfan.lib (see gfan_lib).

Usage:
isCompatible(f,c); f fan, c cone

Return:
1 if f and c live in the same ambient space and
if the intersection of c with any cone of f is a face of each; 0 otherwise

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