Searched refs:computeSubgroup (Results 1 – 10 of 10) sorted by relevance
/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/ |
H A D | compsg.h | 4 extern PermGroup *computeSubgroup(
|
H A D | cinter.c | 73 return computeSubgroup( G, NULL, refnFamList, reducChkList, in intersection()
|
H A D | csetstab.c | 83 return computeSubgroup( G, NULL, refnFamList, reducChkList, in setStabilizer()
|
H A D | cparstab.c | 81 return computeSubgroup( G, NULL, refnFamList, reducChkList, in partnStabilizer()
|
H A D | extname.h | 46 #define computeSubgroup CpSG macro
|
H A D | ccent.c | 194 G_return = computeSubgroup( G, centralizesE, refnFamList, reducChkList, in centralizer() 438 return computeSubgroup( G, centralizesGroupE, refnFamList, reducChkList, in groupCentralizer()
|
H A D | compsg.c | 116 PermGroup *computeSubgroup( in computeSubgroup() function
|
H A D | cdesauto.c | 150 return computeSubgroup( G, pp, refnFamList, reducChkList, in designAutoGroup()
|
H A D | cmatauto.c | 187 return computeSubgroup( G, pp, refnFamList, reducChkList, in matrixAutoGroup()
|
H A D | cuprstab.c | 125 return computeSubgroup( G, NULL, refnFamList, reducChkList, in uPartnStabilizer()
|