4
#include "field_rationals.h"
7
bool isPartOfAZBasis(IntegerVectorList const &l)
9
if(l.size()==0)return true;
10
IntegerMatrix A=rowsToIntegerMatrix(l).transposed();
11
FieldMatrix Af=integerMatrixToFieldMatrix(A,Q);
12
Af.reduce(false,true);
17
while(Af.nextPivot(i,j))
19
if(!((Af[i][j]*Af[i][j])-Q.zHomomorphism(1)).isZero())return false;
22
return l.size()==nPivots;