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
|
DeclareGlobalVariable( "NEARRING_PATH_NAME",
"path to the directory containing the library of small near rings" );
DeclareGlobalVariable( "NEARRING_WITH_IDENTITY_PATH_NAME",
"path to the directory containing the library of small near rings with identity" );
#############################################################################
##
#O LibraryNearRing( <group>, <num> ). . . . . . . . get a nr from the library
##
## This function 'extracts' a nearring from the nearring library files.
##
DeclareOperation( "LibraryNearRing",[IsGroup,IsInt] );
#############################################################################
##
#O LibraryNearRingWithOne( <group>, <num> ). .get a nr from the library
##
## This function 'extracts' a nearring from the nearring library files.
##
DeclareOperation( "LibraryNearRingWithOne", [IsGroup,IsInt] );
#############################################################################
##
#P LibraryNearRingFlag
DeclareProperty( "LibraryNearRingFlag", IsNearRing );
DeclareSynonym( "IsLibraryNearRing", HasLibraryNearRingFlag );
#############################################################################
##
#A Symbols user-defined symbols for the operation tables
##
DeclareAttribute( "Symbols", IsCollection, "mutable" );
#####################################################################
##
#F SetSymbolsSupervised( <N>, <L> ) use the symbols in the list <L>
## when printing operation tables
##
DeclareGlobalFunction( "SetSymbolsSupervised" );
#############################################################################
##
#A MagicNumber( <nr> ) compute an identification number for the
## nearring <nr>. This number is NOT unique.
DeclareAttribute( "MagicNumber", IsNearRing );
#############################################################################
##
#A IdLibraryNearRing( <nr> ) the isomorphic nearring in the library
##
DeclareAttribute( "IdLibraryNearRing", IsNearRing );
#############################################################################
##
#A IdLibraryNearRingWithOne( <nr> ) returns the number of the
## isomorphic nearring in the
## library of nearrings with identity
DeclareAttribute( "IdLibraryNearRingWithOne",
IsNearRing );
#############################################################################
##
#O IsIsomorphicNearRing( <nr1>, <nr2> )
##
DeclareOperation( "IsIsomorphicNearRing", [IsNearRing, IsNearRing] );
|
