constructRBase (reference) in projects: dports

Searched refs:constructRBase (Results 1 – 5 of 5) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A D	cstrbas.h	`4 extern RBase *constructRBase(`
H A D	cstrbas.c	`60 RBase *constructRBase( in constructRBase() function`
H A D	extname.h	`54 #define constructRBase CstRB macro`
H A D	compcrep.c	`173 AAA = constructRBase( G, RRR, isReducible, specialRefinement, in computeCosetRep()`
H A D	compsg.c	`195 AAA = constructRBase( G, RRR, isReducible, specialRefinement, in computeSubgroup()`