Home
last modified time | relevance | path

Searched refs:isIdentityElt (Results 1 – 4 of 4) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Dpermgrp.h25 extern BOOLEAN isIdentityElt(
H A Dextname.h139 #define isIdentityElt IsIElt macro
H A Dpermgrp.c125 BOOLEAN isIdentityElt( in isIdentityElt() function
H A Dcompsg.c467 !isIdentityElt( G, newPerm) ) { in computeSubgroup()