gfan.lib
LIB "gfan.lib"; intmat M1[2][2]= 1,1, 1,-1; cone c1=coneViaPoints(M1); containsPositiveVector(c1); ==> 1 intmat M2[2][2]= 0,1, -1,0; cone c2=coneViaPoints(M2); containsPositiveVector(c2); ==> 0