This file is indexed.

/usr/share/gap/lib/smgideal.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
#############################################################################
##
#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