1############################################################################# 2## 3#W obsolete.gd GAP 4 package AtlasRep Thomas Breuer 4## 5#Y Copyright (C) 2011, Lehrstuhl D für Mathematik, RWTH Aachen, Germany 6## 7## This file contains declarations of global variables 8## that had been documented in earlier versions of the AtlasRep package. 9## 10 11 12############################################################################# 13## 14#F AGRGNAN( <gapname>, <atlasname>[, <size>[, <maxessizes>[, "all" 15#F [, <compatinfo>]]]] ) 16## 17## This function is deprecated since version 1.5 of the package. 18## 19## Let <gapname> be a string denoting a GAP group name, 20## and <atlasname> be a string denoting the corresponding ATLAS-file name 21## used in filenames of the ATLAS of Group Representations. 22## The following optional arguments are supported. 23## 24## 'size': 25## the order of the corresponding group, 26## 27## 'maxessizes': 28## a (not necessarily dense) list of orders of the maximal subgroups of 29## this group, 30## 31## 'complete': 32## the string '"all"' if the <maxessizes> list is known to be 33## complete, or the string '"unknown"' if not, 34## 35## 'compatinfo': 36## a list of entries of the form '[ <std>, <factname>, <factstd>, <flag> ]' 37## meaning that mapping standard generators of standardization <std> 38## to the factor group with GAP group name <factname>, via the 39## natural epimorphism, yields standard generators of standardization 40## <factstd> if <flag> is 'true'. 41## 42## 'AGRGNAN' adds the list of its arguments to the list stored 43## in the 'GAPnames' component of 'AtlasOfGroupRepresentationsInfo', 44## making the ATLAS data involving <atlasname> 45## accessible for the group with name <gapname>. 46## 47## An example of a valid call is 'AGRGNAN("A6.2_2","PGL29",360)', 48## see also Section <Ref Sect="sect:An Example of Extending AtlasRep"/>. 49## 50BindGlobal( "AGRGNAN", function( arg ) 51 local l; 52 53 AGR.GNAN( arg[1], arg[2] ); 54 if IsBound( arg[3] ) then AGR.GRS( arg[1], arg[3] ); fi; 55 if IsBound( arg[4] ) then AGR.MXO( arg[1], arg[4] ); fi; 56 if IsBound( arg[5] ) and arg[5] = "all" then 57 AGR.MXN( arg[1], Length( AGR.GAPnamesRec.( arg[1] )[3].sizesMaxes ) ); 58 fi; 59 if IsBound( arg[6] ) then 60 for l in arg[6] do 61 AGR.STDCOMP( arg[1], l ); 62 od; 63 fi; 64 end ); 65 66 67############################################################################# 68## 69#F AGRGRP( <dirname>, <simpname>, <groupname> ) 70#F AGRRNG( ... ) 71#F AGRTOC( <typename>, <filename>[, <nrgens>] ) 72#F AGRTOCEXT( <atlasname>, <std>, <maxnr>, <files> ) 73## 74## These functions are deprecated since version 1.5 of the package. 75## 76## These functions were used to create the initial table of contents for the 77## server data of the AtlasRep package when the file 78## 'atlasprm.g' in the 'gap' directory of the package was read. 79## Conversely, encoding the table of contents in terms of calls to 'AGRGRP', 80## 'AGRTOC' and 'AGRTOCEXT' was done by 'StringOfAtlasTableOfContents'. 81## 82## 'AGRGRP' does not make sense anymore since the data format of the 83## table of contents was changed in version 1.6 of AtlasRep, 84## in order to admit private extensions. 85## (Each call of 'AGRGRP' notified the group with name <groupname>, 86## which was related to the simple group with name <simpname> 87## and for which the data on the servers were found in the directory 88## with name <dirname>.) 89## 90## The other functions can in principle still be used also with 91## newer AtlasRep versions, provided that the current file has been read 92## in the GAP session. 93## 94## Each call of 'AGRTOC' notifies an entry to the 'TableOfContents.remote' 95## component of the global variable 'AtlasOfGroupRepresentationsInfo'. 96## The arguments must be the name <typename> of the data type to which 97## the entry belongs, the prefix <filename> of the data file(s), 98## and if given the number <nrgens> of generators, which are then 99## located in separate files. 100## 101## Each call of 'AGRTOCEXT' notifies an entry to the 'maxext' component in 102## the record for the group with ATLAS name <atlasname> in the 'GAPnames' 103## component of 'AtlasOfGroupRepresentationsInfo'. 104## These entries concern straight line programs for computing generators of 105## maximal subgroups from information about straight line programs for 106## proper factor groups. 107## 108BindGlobal( "AGRRNG", function( arg ) CallFuncList( AGR.RNG, arg ); end ); 109BindGlobal( "AGRTOC", function( arg ) CallFuncList( AGR.TOC, arg ); end ); 110BindGlobal( "AGRTOCEXT", 111 function( arg ) CallFuncList( AGR.TOCEXT, arg ); end ); 112 113 114############################################################################# 115## 116#F AGRParseFilenameFormat( <string>, <format> ) 117## 118BindGlobal( "AGRParseFilenameFormat", 119 function( arg ) CallFuncList( AGR.ParseFilenameFormat, arg ); end ); 120 121 122############################################################################# 123## 124#F AtlasStraightLineProgram( ... ) 125## 126## This was the documented name before version 1.3 of the package, 127## when no straight line decisions and black box programs were available. 128## We keep it for backwards compatibility reasons, 129## but leave it undocumented. 130## 131DeclareSynonym( "AtlasStraightLineProgram", AtlasProgram ); 132 133 134############################################################################# 135## 136#F OneAtlasGeneratingSet( ... ) 137## 138## This function is deprecated since version 1.3 of the package. 139## It was used in earlier versions, 140## when 'OneAtlasGeneratingSetInfo' was not yet available. 141## 142BindGlobal( "OneAtlasGeneratingSet", function( arg ) 143 local res; 144 145 res:= CallFuncList( OneAtlasGeneratingSetInfo, arg ); 146 if res <> fail then 147 res:= AtlasGenerators( res.identifier ); 148 fi; 149 return res; 150 end ); 151 152 153############################################################################# 154## 155#F AtlasStringOfStraightLineProgram( ... ) 156## 157## This was the documented name before version 1.3 of the package, 158## when no straight line decisions and black box programs were available. 159## We keep it for backwards compatibility reasons, 160## but leave it undocumented. 161## 162DeclareSynonym( "AtlasStringOfStraightLineProgram", AtlasStringOfProgram ); 163 164 165############################################################################# 166## 167#F AtlasOfGroupRepresentationsShowUserParameters() 168#F AtlasOfGroupRepresentationsUserParameters() 169## 170## 'AtlasOfGroupRepresentationsShowUserParameters' is deprecated since 171## version 1.5 of the package, 172## when 'AtlasOfGroupRepresentationsUserParameters' was introduced. 173## The latter is deprecated since version 1.6 of the package, 174## which assumes GAP's user preferences mechanism. 175## Thus one should use the general GAP library function 176## 'ShowUserPreferences' instead. 177## 178BindGlobal( "AtlasOfGroupRepresentationsShowUserParameters", function() 179 ShowUserPreferences( "AtlasRep" ); 180 end ); 181 182BindGlobal( "AtlasOfGroupRepresentationsUserParameters", function() 183 local str; 184 185 str:= "Please call 'ShowUserPreferences( \"AtlasRep\" );' "; 186 if IsBoundGlobal( "BrowseUserPreferences" ) then 187 Append( str, "or 'BrowseUserPreferences( \"AtlasRep\" );' " ); 188 fi; 189 Append( str, "for showing the user preferences that belong to " ); 190 Append( str, "the AtlasRep package." ); 191 192 return str; 193 end ); 194 195 196############################################################################# 197## 198#F AtlasOfGroupRepresentationsTestClassScripts( ... ) 199#F AtlasOfGroupRepresentationsTestCompatibleMaxes( ... ) 200#F AtlasOfGroupRepresentationsTestFileHeaders( ... ) 201#F AtlasOfGroupRepresentationsTestFiles( ... ) 202#F AtlasOfGroupRepresentationsTestGroupOrders( ... ) 203#F AtlasOfGroupRepresentationsTestStdCompatibility( ... ) 204#F AtlasOfGroupRepresentationsTestSubgroupOrders( ... ) 205#F AtlasOfGroupRepresentationsTestWords( ... ) 206## 207## These functions are deprecated since version 1.5 of the package. 208## 209DeclareGlobalFunction( "AtlasOfGroupRepresentationsTestClassScripts" ); 210DeclareGlobalFunction( "AtlasOfGroupRepresentationsTestCompatibleMaxes" ); 211DeclareGlobalFunction( "AtlasOfGroupRepresentationsTestFileHeaders" ); 212DeclareGlobalFunction( "AtlasOfGroupRepresentationsTestFiles" ); 213DeclareGlobalFunction( "AtlasOfGroupRepresentationsTestGroupOrders" ); 214DeclareGlobalFunction( "AtlasOfGroupRepresentationsTestStdCompatibility" ); 215DeclareGlobalFunction( "AtlasOfGroupRepresentationsTestSubgroupOrders" ); 216DeclareGlobalFunction( "AtlasOfGroupRepresentationsTestWords" ); 217 218 219############################################################################# 220## 221#F AtlasOfGroupRepresentationsNotifyPrivateDirectory( ... ) 222#F AtlasOfGroupRepresentationsForgetPrivateDirectory( ... ) 223## 224## These function names are deprecated since version 2.0 of the package. 225## 226DeclareSynonym( "AtlasOfGroupRepresentationsNotifyPrivateDirectory", 227 AtlasOfGroupRepresentationsNotifyData ); 228 229DeclareSynonym( "AtlasOfGroupRepresentationsForgetPrivateDirectory", 230 AtlasOfGroupRepresentationsForgetData ); 231 232 233############################################################################# 234## 235#F ReloadAtlasTableOfContents( <dirname> ) 236#F ReplaceAtlasTableOfContents( <filename> ) 237#F StoreAtlasTableOfContents( <filename> ) 238## 239## These functions are no longer available since version 2.0 of the package. 240## 241BindGlobal( "ReloadAtlasTableOfContents", 242 function( arg ) 243 Error( "the functions ReloadAtlasTableOfContents, ", 244 "ReplaceAtlasTableOfContents, and ", 245 "StoreAtlasTableOfContents are no longer supported" ); 246 end ); 247 248DeclareSynonym( "ReplaceAtlasTableOfContents", ReloadAtlasTableOfContents ); 249DeclareSynonym( "StoreAtlasTableOfContents", ReloadAtlasTableOfContents ); 250 251 252############################################################################# 253## 254#E 255 256