Home
last modified time | relevance | path

Searched refs:newTrivialPermGroup (Results 1 – 6 of 6) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Dnew.h32 extern PermGroup *newTrivialPermGroup(
H A Dccommut.c32 PermGroup *C = newTrivialPermGroup( G->degree); in CHECK()
H A Dextname.h177 #define newTrivialPermGroup NewTPG macro
H A Dfndelt.c242 involSubgroup = newTrivialPermGroup( G->degree); in main()
H A Dnew.c196 PermGroup *newTrivialPermGroup( in newTrivialPermGroup() function
H A Dcompsg.c252 K = newTrivialPermGroup( G->degree); in computeSubgroup()