#ifndef ORBREFN
#define ORBREFN
extern void initializeOrbRefine( PermGroup *G)
;
extern SplitSize orbRefine(
const RefinementParm familyParm[],
const RefinementParm refnParm[],
PartitionStack *const UpsilonStack)
;
extern RefinementPriorityPair isOrbReducible(
const RefinementFamily *family, /* The refinement family mapping
must be orbRefine; family parm[0]
is the group. */
const PartitionStack *const UpsilonStack)
;
#endif
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet am 2026-11-04)
¤
*© Formatika GbR, Deutschland