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
|
##############################################################################
##
#W magma.gd GAP4 package `Utils' Max Horn
## Alexander Hulpke
##
#Y Copyright (C) 2015-2025, The GAP Group
#############################################################################
## this function is new in Utils but calls functions which have been
## transferred from the main library or from private code
##
#F ConvertToMagmaInputString( <arg> ) . . output a string readable by Magma
##
DeclareGlobalName( "ConvertToMagmaInputString" );
#############################################################################
## this function was originally authored by Alexander Hulpke;
## it has been transferred from other.gd in the main library;
## and was originally named MagmaInputString
##
#O PermGroupToMagmaFormat( <g> )
##
DeclareOperation( "PermGroupToMagmaFormat", [ IsPermGroup ] );
#############################################################################
## this function was private code of Max Horn
##
#O PcGroupToMagmaFormat( <G> )
##
DeclareOperation( "PcGroupToMagmaFormat", [ IsPcGroup ] );
#############################################################################
## this function was private code of Frank Lübeck
##
#O MatrixGroupToMagmaFormat( <G> )
##
DeclareOperation( "MatrixGroupToMagmaFormat", [ IsMatrixGroup ] );
#############################################################################
##
#E magma.gd . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
|
