gap-libs 4r7p9-1 / usr / share / gap / lib / rss.gd

This file is indexed.

/usr/share/gap/lib/rss.gd is in gap-libs 4r7p9-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
#############################################################################
##
#W  rss.gd			GAP Library		       Gene Cooperman
#W							     and Scott Murray
##
##
#Y  Copyright (C)  1996,  Lehrstuhl D für Mathematik,  RWTH Aachen,  Germany
#Y  (C) 1999 School Math and Comp. Sci., University of St Andrews, Scotland
#Y  Copyright (C) 2002 The GAP Group
##
##  The random Schreier-Sims algorithm for permutation groups and matrix 
##  groups.
##
##  Requires: chain
##  Exports: functions RandomSchreierSims and ChangedBaseGroup
##

DeclareInfoClass( "InfoRSS" );

#############################################################################
##
#F  SetValueOption( <fieldname>, <value> )
##
##  Set the value of an option.
##
DeclareGlobalFunction( "SetValueOption" );

#############################################################################
##
#F  ReturnPopOptions( <> )
##
##  Pop an option and return it.
##
DeclareGlobalFunction( "ReturnPopOptions" );

#############################################################################
##
#F  RandomSchreierSims( <G> )
##
##  The random Schreier-Sims algorithm.
##
DeclareGlobalFunction( "RandomSchreierSims" );

#############################################################################
##
#F  ChangedBaseGroup( <G> )
##
##  We assume we have a chain for <G>, which gives a complete BSGS.
##  We are given a new base <newBase> and wish to find strong generators for 
##  it. Options are the same as for random Schreier-Sims.  
##  Note that this function does not modify <G>, but returns a new group,
##  isomorphic to <G> with the specified base.
##
DeclareGlobalFunction( "ChangedBaseGroup" );

#############################################################################
##
#F  RSSDefaultOptions( <G>, <opt> )
##
##  Return the default options for random Schreier-Sims.
##
DeclareGlobalFunction( "RSSDefaultOptions" );

#############################################################################
##
#F  SiftForStrongGenerator( <G>, <newsg> )
##
##
##  Sift the group element <newsg> and, if it does not sift to the identity
##  add it to the strong generators.  Add a new base point (if necessary)
##  and recompute orbits.
##
DeclareGlobalFunction( "SiftForStrongGenerator" );

#############################################################################
##
#F  StopNumSift( <n> )
##
##  Stop when <n> elements have been sifted
##
DeclareGlobalFunction( "StopNumSift" );

#############################################################################
##
#F  StopNumConsecSiftToOne( <n> )
##
##  Stop when <n> consecutive elements sift to 1.
##
DeclareGlobalFunction( "StopNumConsecSiftToOne" );

#############################################################################
##
#F  StopSize( <> )
##
##  Stop when the size of the group is the same as the size of the chain.
##
DeclareGlobalFunction( "StopSize" );

#############################################################################
##
#F  ReturnNextBasePoint( <G>, <newsg> )
##
##  Return a new base point which is fixed by <newsg>.
##
DeclareGlobalFunction( "ReturnNextBasePoint" );

#############################################################################
##
#F  PermNewBasePoint( <G>, <newsg> )
##
##  Return a new base point which is fixed by <newsg> for perm groups.
##
DeclareGlobalFunction( "PermNewBasePoint", [ IsGroup, IsPerm ] );

#############################################################################
##
#F  MatrixNewBasePoint( <G>, <newsg> )
##
##  Return a new base point which is fixed by <newsg> for matrix groups.
##
DeclareGlobalFunction( "MatrixNewBasePoint", [ IsGroup, IsMatrix ] );


#############################################################################
#############################################################################
##
##  Matrix group base point functions
##
#############################################################################
#############################################################################

#############################################################################
##
#O  EspaceBasePoints( <G> )
##
##  Intersections of eigenspaces to use as base points.
##
DeclareOperation( "EspaceBasePoints", [ IsFFEMatrixGroup ] );

#############################################################################
##
#O  EvectBasePoints( <G> )
##
##  Eigenvectors to use as base points.
##
DeclareOperation( "EvectBasePoints", [ IsFFEMatrixGroup ] );

#E

APT Browse - Built by Thomas Orozco.