1 #ifndef RANDSCHR 2 #define RANDSCHR 3 4 extern void removeIdentityGens( 5 PermGroup *const G) /* The group G mentioned above. */ 6 ; 7 8 extern void adjoinGenInverses( 9 PermGroup *const G) /* The group mentioned above. */ 10 ; 11 12 extern void initializeBase( 13 PermGroup *const G) /* The group G mentioned above. */ 14 ; 15 16 extern void replaceByPower( 17 const PermGroup *const G, 18 const Unsigned level, 19 Permutation *const h) 20 ; 21 22 extern BOOLEAN randomSchreier( 23 PermGroup *const G, 24 RandomSchreierOptions rOptions) 25 ; 26 27 #endif 28