#############################################################################
####
##
#A anupq.gd ANUPQ package Eamonn O'Brien
#A & Frank Celler
##
## Declaration file for ``general'' group functions and variables.
##
#Y Copyright 1992-1994, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
#Y Copyright 1992-1994, School of Mathematical Sciences, ANU, Australia
##
#############################################################################
##
#F ANUPQDirectoryTemporary( <dir> ) . . . . . redefine ANUPQ temp directory
##
DeclareGlobalFunction( "ANUPQDirectoryTemporary" );
#############################################################################
##
#F ANUPQerrorPq( <param> ) . . . . . . . . . . . . . . . . . report an error
##
DeclareGlobalFunction( "ANUPQerrorPq" );
#############################################################################
##
#F ANUPQextractPqArgs( <args> ) . . . . . . . . . . . . . extract arguments
##
DeclareGlobalFunction( "ANUPQextractPqArgs" );
#############################################################################
##
#F ANUPQReadOutput . . . . read pq output without affecting global variables
##
DeclareGlobalFunction( "ANUPQReadOutput" );
#############################################################################
##
#F PqEpimorphism( <arg> : <options> ) . . . . . epimorphism onto p-quotient
##
DeclareGlobalFunction( "PqEpimorphism" );
#############################################################################
##
#F Pq( <arg> : <options> ) . . . . . . . . . . . . . . . . . . . p-quotient
##
DeclareGlobalFunction( "Pq" );
#############################################################################
##
#F PqPCover( <arg> : <options> ) . . . . . . p-covering group of p-quotient
##
DeclareGlobalFunction( "PqPCover" );
#############################################################################
##
#F PQ_GROUP_FROM_PCP(<datarec>,<out>) . extract gp from pq pcp file into GAP
##
DeclareGlobalFunction( "PQ_GROUP_FROM_PCP" );
#############################################################################
##
#F TRIVIAL_PQ_GROUP(<datarec>, <out>) . . . extract gp when trivial into GAP
##
DeclareGlobalFunction( "TRIVIAL_PQ_GROUP" );
#############################################################################
##
#F PQ_EPI_OR_PCOVER(<args>:<options>) . p-quotient, its epi. or its p-cover
##
DeclareGlobalFunction( "PQ_EPI_OR_PCOVER" );
#############################################################################
##
#F PqRecoverDefinitions( <G> ) . . . . . . . . . . . . . . . . . definitions
##
## This function finds a definition for each generator of the p-group <G>.
## These definitions need not be the same as the ones used by pq. But
## they serve the purpose of defining each generator as a commutator or
## power of earlier ones. This is useful for extending an automorphism that
## is given on a set of minimal generators of <G>.
##
DeclareGlobalFunction( "PqRecoverDefinitions" );
#############################################################################
##
#F PqAutomorphism( <epi>, <autoimages> ) . . . . . . . . . . . . definitions
##
## Take an automorphism of the preimage and produce the induced automorphism
## of the image of the epimorphism.
##
DeclareGlobalFunction( "PqAutomorphism" );
#############################################################################
##
#F PqLeftNormComm( <words> ) . . . . . . . . . . . . . left norm commutator
##
DeclareGlobalFunction( "PqLeftNormComm" );
#############################################################################
##
#F PqParseWord( <F>, <word> ) . . . . . . . . . . . . parse word through GAP
#F PqParseWord( <n>, <word> )
##
DeclareGlobalFunction( "PqGAPRelators" );
#############################################################################
##
#F PqParseWord( <word>, <n> ) . . . . . . . . . . . . parse word through GAP
##
DeclareGlobalFunction( "PqParseWord" );
#############################################################################
##
#F PQ_EVALUATE( <string> ) . . . . . . . . . evaluate a string emulating GAP
##
DeclareGlobalFunction( "PQ_EVALUATE" );
#############################################################################
##
#F PqExample() . . . . . . . . . . execute a pq example or display the index
#F PqExample( <filename>[, PqStart] )
##
DeclareGlobalFunction( "PqExample" );
#############################################################################
##
#F AllPqExamples() . . . . . . . . . . list the names of all ANUPQ examples
##
DeclareGlobalFunction( "AllPqExamples" );
#############################################################################
##
#F GrepPqExamples( <string> ) . . . . . . . grep ANUPQ examples for a string
##
DeclareGlobalFunction( "GrepPqExamples" );
#E anupq.gd . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
