Home
last modified time | relevance | path

Searched refs:isInvolution (Results 1 – 8 of 8) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Dpermut.c60 BOOLEAN isInvolution( in isInvolution() function
142 if ( isInvolution( s) ) in leftMultiply()
173 if ( isInvolution( s) ) in rightMultiply()
208 if ( isInvolution( s) ) in rightMultiplyInv()
304 if ( isInvolution(perm) && perm->invImage != perm->image ) { in raisePermToPower()
H A Dpermut.h8 extern BOOLEAN isInvolution(
H A Dpermgrp.c53 if ( isInvolution( gen) ) in CHECK()
569 involFlag = isInvolution( gen); in isNormalizedBy()
H A Dextname.h140 #define isInvolution IsInvo macro
H A Drandschr.c388 isInvolution( h) ) { in randomSchreier()
H A Dchbase.c273 if ( isInvolution( randGen) ) { in CHECK()
/dports/math/coxeter3/coxeter-7b5a1f0/
H A Dklsupport.h75 bool isInvolution(const CoxNbr& x) const; /* inlined */
102 inline bool KLSupport::isInvolution(const CoxNbr& x) const in isInvolution() function
H A Dklsupport.cpp405 bool involution_buf = isInvolution(y); in permute()
410 if (isInvolution(x)) in permute()