1############################################################################ 2## 3#W consist.gd LPRES René Hartung 4## 5 6############################################################################ 7## 8#F LPRES_CheckConsistencyRelations ( <coll> , <weights> ) 9## 10## This function checks the local confluence (or consistency) of a weighted 11## nilpotent presentation. It implements the check from Nickel: "Computing 12## Nilpotent Quotients of Finitely Presented Groups" 13## 14## k ( j i ) = ( k j ) i, i < j < k, w_i=1, w_i+w_j+w_k <= c 15## j^m i = j^(m-1) ( j i ), i < j, j in I, w_j+w_i <= c 16## j i^m = ( j i ) i^(m-1), i < j, i in I, w_j+w_i <= c 17## i i^m = i^m i, i in I, 2 w_i <= c 18## j = ( j i^-1 ) i, i < j, i not in I, w_i+w_j <= c 19## 20DeclareGlobalFunction( "LPRES_CheckConsistencyRelations" ); 21