/usr/share/gap/lib/kbsemi.gd is in gap-libs 4r7p5-2.
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 | #############################################################################
##
#W kbsemi.gd GAP library Andrew Solomon and Isabel Araújo
##
##
#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 declarations for Knuth-Bendix Rewriting Systems
##
############################################################################
##
#I InfoKnuthBendix
##
##
DeclareInfoClass("InfoKnuthBendix");
############################################################################
##
#C IsKnuthBendixRewritingSystem(<obj>)
##
## <ManSection>
## <Filt Name="IsKnuthBendixRewritingSystem" Arg='obj' Type='Category'/>
##
## <Description>
## This is the category of Knuth-Bendix rewriting systems.
## </Description>
## </ManSection>
##
DeclareCategory("IsKnuthBendixRewritingSystem", IsRewritingSystem);
#############################################################################
##
#A KnuthBendixRewritingSystem(<fam>,<wordord>)
##
## <ManSection>
## <Attr Name="KnuthBendixRewritingSystem" Arg='fam,wordord'/>
##
## <Description>
## returns the Knuth-Bendix rewriting system of the family <A>fam</A>
## with respect to the reduction ordering on words given by <A>wordord</A>.
## </Description>
## </ManSection>
##
DeclareOperation("KnuthBendixRewritingSystem",[IsFamily,IsOrdering]);
############################################################################
##
#F CreateKnuthBendixRewritingSystem(<S>,<lt>)
##
## <ManSection>
## <Func Name="CreateKnuthBendixRewritingSystem" Arg='S,lt'/>
##
## <Description>
## </Description>
## </ManSection>
##
DeclareGlobalFunction("CreateKnuthBendixRewritingSystem");
############################################################################
##
#F MakeKnuthBendixRewritingSystemConfluent(<RWS>)
##
## <ManSection>
## <Func Name="MakeKnuthBendixRewritingSystemConfluent" Arg='RWS'/>
##
## <Description>
## makes a RWS confluent by running a KB. It will call
## <C>KB_REW.MakeKnuthBendixRewritingSystemConfluent</C>.
## </Description>
## </ManSection>
##
DeclareGlobalFunction("MakeKnuthBendixRewritingSystemConfluent");
#############################################################################
##
#V KB_REW
#V GAPKB_REW
##
## <#GAPDoc Label="KB_REW">
## <ManSection>
## <Var Name="KB_REW"/>
## <Var Name="GAPKB_REW"/>
##
## <Description>
## <C>KB_REW</C> is a global record variable whose components contain functions
## used for Knuth-Bendix. By default <C>KB_REW</C> is assigned to
## <C>GAPKB_REW</C>, which contains the KB functions provided by
## the GAP library.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
BindGlobal("GAPKB_REW",rec(name:="GAP library Knuth-Bendix"));
KB_REW:=GAPKB_REW;
############################################################################
##
#F ReduceWordUsingRewritingSystem(<RWS>,<w>)
##
## <ManSection>
## <Func Name="ReduceWordUsingRewritingSystem" Arg='RWS,w'/>
##
## <Description>
## </Description>
## </ManSection>
##
DeclareGlobalFunction("ReduceWordUsingRewritingSystem");
#############################################################################
##
#A TzRules( <kbrws> )
##
## <ManSection>
## <Attr Name="TzRules" Arg='kbrws'/>
##
## <Description>
## For a Knuth-Bendix rewriting system for a monoid, this attribute
## contains rewriting rules in compact form as <Q>Tietze words</Q>. The
## numbers used correspond to the generators of the monoid.
## </Description>
## </ManSection>
##
DeclareAttribute( "TzRules", IsKnuthBendixRewritingSystem );
#############################################################################
##
#E
|