/usr/share/gap/lib/smgideal.gd is in gap-libs 4r8p8-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 | #############################################################################
##
#W smgideal.gd GAP library Robert Arthur
##
##
#Y Copyright (C) 1996, 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 declarations relating to semigroup ideals.
##
#############################################################################
##
#O SemigroupIdealByGenerators(<S>, <gens>)
##
## <#GAPDoc Label="SemigroupIdealByGenerators">
## <ManSection>
## <Oper Name="SemigroupIdealByGenerators" Arg='S, gens'/>
##
## <Description>
## <A>S</A> is a semigroup, <A>gens</A> is a list of elements of <A>S</A>.
## Returns the two-sided ideal of <A>S</A> generated by <A>gens</A>.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareSynonym("SemigroupIdealByGenerators", MagmaIdealByGenerators );
#############################################################################
##
#P IsLeftSemigroupIdeal(<I>)
#P IsRightSemigroupIdeal(<I>)
#P IsSemigroupIdeal(<I>)
##
## <#GAPDoc Label="IsLeftSemigroupIdeal">
## <ManSection>
## <Prop Name="IsLeftSemigroupIdeal" Arg='I'/>
## <Prop Name="IsRightSemigroupIdeal" Arg='I'/>
## <Prop Name="IsSemigroupIdeal" Arg='I'/>
##
## <Description>
## Categories of semigroup ideals.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareProperty("IsLeftSemigroupIdeal", IsLeftMagmaIdeal );
DeclareProperty("IsRightSemigroupIdeal", IsRightMagmaIdeal );
DeclareProperty("IsSemigroupIdeal", IsMagmaIdeal );
#############################################################################
##
#A ReesCongruenceOfSemigroupIdeal( <I> )
##
## <#GAPDoc Label="ReesCongruenceOfSemigroupIdeal">
## <ManSection>
## <Attr Name="ReesCongruenceOfSemigroupIdeal" Arg='I'/>
##
## <Description>
## A two sided ideal <A>I</A> of a semigroup <A>S</A> defines a congruence on
## <A>S</A> given by <M>\Delta \cup I \times I</M>.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareAttribute("ReesCongruenceOfSemigroupIdeal", IsMagmaIdeal);
DeclareGlobalFunction( "EnumeratorOfSemigroupIdeal" );
DeclareGlobalFunction( "IsBound_LeftSemigroupIdealEnumerator" );
DeclareGlobalFunction( "IsBound_RightSemigroupIdealEnumerator" );
#############################################################################
##
#E
|