|
4.23.4.16 impliedEquations
Syntax:
impliedEquations( cone c )
Type:
- bigintmat
Purpose:
- generating vectors of the orthogonal complement of the span of the cone
Example:
| intmat M[3][5]=
1,0,0,0,0,
0,1,0,0,0,
0,0,1,0,0;
cone c=coneViaRays(M);
bigintmat I=impliedEquations(c);
print(I);
==> 0, 0, 0, 1, 0
==> 0, 0, 0, 0, 1
|
|