/usr/share/gap/lib/mgmcong.gd is in gap-libs 4r6p5-3.
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 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 | #############################################################################
##
#W mgmcong.gd GAP library Andrew Solomon
##
##
#Y Copyright (C) 1997, Lehrstuhl D für Mathematik, RWTH Aachen, Germany
#Y (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland
#Y Copyright (C) 2002 The GAP Group
##
## This file contains the declaration of operations for magma congruences.
##
## Maintenance and further development by:
## Robert F. Morse
## Andrew Solomon
##
#############################################################################
##
## Left Magma Congruences
##
#############################################################################
#############################################################################
##
#C IsLeftMagmaCongruence( <E> )
##
## This is true if (a,b) in E implies that (ca,cb) in E.
##
#F LeftMagmaCongruence(<E>)
##
## The left magma congruence generated by
## equivalence relation E.
##
DeclareCategory("IsLeftMagmaCongruence", IsEquivalenceRelation);
DeclareGlobalFunction("LeftMagmaCongruence");
#############################################################################
##
#A GeneratingPairsOfLeftMagmaCongruence( <I> )
##
## A set of pairs whose smallest enclosing left compatible equivalence
## relation is D
##
DeclareAttribute("GeneratingPairsOfLeftMagmaCongruence",
IsLeftMagmaCongruence);
DeclareAttribute("PartialClosureOfCongruence",IsLeftMagmaCongruence,"mutable");
#############################################################################
##
#O LeftMagmaCongruenceByGeneratingPairs(<D>, <pairs> )
##
## The left magma ideal generated by pairs
##
DeclareOperation( "LeftMagmaCongruenceByGeneratingPairs",
[IsMagma, IsList ] );
#############################################################################
##
## Right Magma Congruences
##
#############################################################################
#############################################################################
##
#C IsRightMagmaCongruence( <E> )
##
## This is true if (a,b) in E implies that (ac,bc) in E.
##
#F RightMagmaCongruence(<E>)
##
## The right magma congruence generated by
## equivalence relation E.
##
DeclareCategory("IsRightMagmaCongruence", IsEquivalenceRelation );
DeclareGlobalFunction("RightMagmaCongruence");
#############################################################################
##
#A GeneratingPairsOfRightMagmaCongruence( <I> )
##
## A set of pairs whose smallest enclosing right compatible equivalence
## relation is D
##
DeclareAttribute("GeneratingPairsOfRightMagmaCongruence",
IsRightMagmaCongruence);
DeclareAttribute("PartialClosureOfCongruence",IsRightMagmaCongruence,"mutable");
#############################################################################
##
#O RightMagmaCongruenceByGeneratingPairs(<D>, <pairs> )
##
## The right congruence on <D> generated by <pairs>
##
DeclareOperation( "RightMagmaCongruenceByGeneratingPairs",
[IsMagma, IsList ] );
#############################################################################
##
## (Two Sided) Magma Congruences
##
#############################################################################
#############################################################################
##
#C IsMagmaCongruence( <E> )
#F MagmaCongruenceByGeneratingPairs(<magma>, <pairs>)
#C IsCongruenceClass( <C> )
##
## IsMagmaCongruence is both a left and a right magma congruence
##
## MagmaCongruenceByGeneratingPairs: The two sided magma congruence
## generated by a set of pairs
##
## IsCongruenceClass: An equivalence class of a MagmaCongruence.
##
DeclareCategory("IsMagmaCongruence", IsEquivalenceRelation
and IsLeftMagmaCongruence and IsRightMagmaCongruence and
RespectsMultiplication);
DeclareOperation("MagmaCongruenceByGeneratingPairs",
[IsMagma, IsList ] );
InstallTrueMethod(IsMagmaCongruence,
IsEquivalenceRelation and RespectsMultiplication);
InstallTrueMethod(IsMagmaCongruence,
IsLeftMagmaCongruence and IsRightMagmaCongruence);
DeclareAttribute("GeneratingPairsOfMagmaCongruence",
IsMagmaCongruence);
DeclareAttribute("PartialClosureOfCongruence",IsMagmaCongruence,"mutable");
DeclareCategory("IsCongruenceClass",
IsEquivalenceClass and IsMultiplicativeElement);
#############################################################################
##
#O JoinMagmaCongruences(<cong1>,<cong2>)
##
## Find the transitive closure of the equivalence relations represented by
## cong1 and cong2
##
DeclareOperation("JoinMagmaCongruences",
[IsMagmaCongruence, IsMagmaCongruence]);
#############################################################################
##
#O MeetMagmaCongruences(<cong1>,<cong2>)
##
## Find the meet of the equivalence relations represented by
## cong1 and cong2
##
DeclareOperation("MeetMagmaCongruences",
[IsMagmaCongruence, IsMagmaCongruence]);
#############################################################################
##
##
## Auxilliary functions
##
DeclareGlobalFunction("LR2MagmaCongruenceByGeneratingPairsCAT");
DeclareGlobalFunction("LR2MagmaCongruenceByPartitionNCCAT");
#############################################################################
##
#E
##
|