|
#############################################################################
##
#W recograt.gd matgrp package Alexander Hulpke
##
##
#Y Copyright (C) 2014-18, Alexander Hulpke
##
## basic setup for matrix fitting free.
##
DeclareInfoClass("InfoFFMat");
#############################################################################
##
#R IsPcgsMatGroupByStabChainRep . . . . . . . . . . . . pcgs of mat group
##
## This is the representation for a pcgs of a matrix group which computes
## exponents via a stabilizer chain. It may not be set for subsets (tails)
## as this could lead to wrong exponents.
##
DeclareRepresentation( "IsPcgsMatGroupByStabChainRep",
IsPcgsDefaultRep and IsFiniteOrdersPcgs, [ "stabilizerChain" ] );
#############################################################################
##
#R IsModuloPcgsPermGroupRep . . induced/modulo pcgs for layers of mat group
##
DeclareRepresentation( "IsSublayersPcgsMatGroupRep",
IsPcgsMatGroupByStabChainRep, [ "stabilizerChain", "layers"] );
#############################################################################
##
#R IsPcgsResidueMatGroupRep . . . . . . . . . . . . pcgs of mat group
##
## This is the representation for a pcgs of a matrix group over a residue
## class ring.
##
DeclareRepresentation( "IsPcgsResidueMatGroupRep",
IsPcgsDefaultRep and IsFiniteOrdersPcgs, [ "decomp" ] );
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]
|
