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