Skip to content

Commit

Permalink
Remove trailing whitespace from all files in lib/*
Browse files Browse the repository at this point in the history
  • Loading branch information
james-d-mitchell authored and fingolfin committed Dec 14, 2022
1 parent 150c227 commit ce30db3
Show file tree
Hide file tree
Showing 408 changed files with 9,593 additions and 9,593 deletions.
4 changes: 2 additions & 2 deletions lib/addcoset.gi
Original file line number Diff line number Diff line change
Expand Up @@ -257,12 +257,12 @@ InstallMethod( Intersection2,
#############################################################################
##
#M PrintObj( <A> ) . . . . . . . . . . . . . . . . . . for an additive coset
##
##
InstallMethod( PrintObj,
"for an additive coset",
true,
[ IsAdditiveCoset ], 0,
function( A )
function( A )
Print( "( ", Representative( A ), " + ",
AdditivelyActingDomain( A ), " )" );
end );
Expand Down
2 changes: 1 addition & 1 deletion lib/addgphom.gi
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ local map;
ElementsFamily(FamilyObj(arg[2]))),
IsSPMappingByFunctionRep
and IsSingleValued
and IsTotal
and IsTotal
and IsGroupToAdditiveGroupHomomorphism ),
rec( fun:= arg[3] ) );

Expand Down
16 changes: 8 additions & 8 deletions lib/adjoin.gd
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
##
## SPDX-License-Identifier: GPL-2.0-or-later
##
## This file contains the declarations for functions pertaining to
## adjoining an identity element to a semigroup.
## This file contains the declarations for functions pertaining to
## adjoining an identity element to a semigroup.
##


Expand All @@ -24,9 +24,9 @@ DeclareRepresentation("IsMonoidByAdjoiningIdentityEltRep", IsPositionalObjectRep

###########################################################################
##
#A MonoidByAdjoiningIdentity( <semigroup> )
#A MonoidByAdjoiningIdentity( <semigroup> )
##
## this attribute stores the monoid obtained from <semigroup> by adjoining
## this attribute stores the monoid obtained from <semigroup> by adjoining
## an identity. Even if <semigroup> happens to be a monoid, the resultant
## monoid has a new identity adjoined.
##
Expand All @@ -35,7 +35,7 @@ DeclareAttribute("MonoidByAdjoiningIdentity", IsSemigroup);

###########################################################################
##
#A UnderlyingSemigroupOfMonoidByAdjoiningIdentity( <monoid> )
#A UnderlyingSemigroupOfMonoidByAdjoiningIdentity( <monoid> )
##
## this attribute stores the original semigroup that <monoid> was made from.
##
Expand All @@ -44,7 +44,7 @@ DeclareAttribute("UnderlyingSemigroupOfMonoidByAdjoiningIdentity", IsMonoidByAdj

###########################################################################
##
#A MonoidByAdjoiningIdentityElt( <elt> )
#A MonoidByAdjoiningIdentityElt( <elt> )
##
## the result of this function is the corresponding element in the category
## MonoidByAdjoiningIdentityElt with IsOne set to false.
Expand All @@ -54,9 +54,9 @@ DeclareAttribute("MonoidByAdjoiningIdentityElt", IsMultiplicativeElement and IsA

###########################################################################
##
#A UnderlyingSemigroupOfMonoidByAdjoiningIdentity( <monoidelt> )
#A UnderlyingSemigroupOfMonoidByAdjoiningIdentity( <monoidelt> )
##
## this attribute stores the original semigroup element that <monoidelt>
## this attribute stores the original semigroup element that <monoidelt>
## was made from.
##

Expand Down
38 changes: 19 additions & 19 deletions lib/adjoin.gi
Original file line number Diff line number Diff line change
Expand Up @@ -8,16 +8,16 @@
##
## SPDX-License-Identifier: GPL-2.0-or-later
##
## This file contains the implementations for functions pertaining to
## adjoining an identity element to a semigroup.
## This file contains the implementations for functions pertaining to
## adjoining an identity element to a semigroup.
##

###########################################################################
##
#M AdjoinedIdentityFamily( <fam> )
#M AdjoinedIdentityFamily( <fam> )
##

InstallMethod(AdjoinedIdentityFamily, [IsFamily],
InstallMethod(AdjoinedIdentityFamily, [IsFamily],
function(fam)
local afam;
afam := NewFamily(Concatenation("AdjoinedIdentityFamily(",fam!.NAME,")"),
Expand All @@ -28,18 +28,18 @@ end);

###########################################################################
##
#M AdjoinedIdentityDefaultType( <fam> )
#M AdjoinedIdentityDefaultType( <fam> )
##

InstallMethod(AdjoinedIdentityDefaultType, [IsFamily],
function(fam)
return NewType(fam, IsMonoidByAdjoiningIdentityEltRep and
function(fam)
return NewType(fam, IsMonoidByAdjoiningIdentityEltRep and
IsMonoidByAdjoiningIdentityElt);
end);

###########################################################################
##
#A MonoidByAdjoiningIdentityElt( <elt> )
#A MonoidByAdjoiningIdentityElt( <elt> )
##
## the result of this function is the corresponding element in the category
## MonoidByAdjoiningIdentityElt with IsOne set to false.
Expand All @@ -57,10 +57,10 @@ end);

###########################################################################
##
#M <elt1> \* <elt2>
#M <elt1> \* <elt2>
##
## returns <elt2> if <elt1> represents the identity, <elt1> if <elt2>
## represents the identity, and otherwise returns the value of
## returns <elt2> if <elt1> represents the identity, <elt1> if <elt2>
## represents the identity, and otherwise returns the value of
## MonoidByAdjoiningIdentityElt for product of the underlying
## elements.
##
Expand All @@ -79,7 +79,7 @@ end);

###########################################################################
##
#M <elt1> \< <elt2>
#M <elt1> \< <elt2>
##
## compares underlying elements if they exist, and considers the representative
## of the identity to be the least element otherwise.
Expand All @@ -99,11 +99,11 @@ end);

###########################################################################
##
#M <elt1> \= <elt2>
#M <elt1> \= <elt2>
##
## returns true if both elements represent the identity, false if one does
## returns true if both elements represent the identity, false if one does
## and the other doesn't, otherwise compares underlying elements.
##
##

InstallMethod(\=, IsIdenticalObj,
[IsMonoidByAdjoiningIdentityElt, IsMonoidByAdjoiningIdentityElt],
Expand Down Expand Up @@ -140,8 +140,8 @@ end);
## returns the monoid obtained from <semigroup> by adjoining an identity.
##

InstallMethod(MonoidByAdjoiningIdentity, [IsSemigroup and HasGeneratorsOfSemigroup],
function( s )
InstallMethod(MonoidByAdjoiningIdentity, [IsSemigroup and HasGeneratorsOfSemigroup],
function( s )
local m;
m:=Monoid(List(GeneratorsOfSemigroup(s), MonoidByAdjoiningIdentityElt));
SetUnderlyingSemigroupOfMonoidByAdjoiningIdentity(m, s);
Expand All @@ -154,10 +154,10 @@ end);
##
## returns the underlying element of the MonoidByAdjoiningIdentityElt <elt>.
##

InstallMethod(UnderlyingSemigroupElementOfMonoidByAdjoiningIdentityElt,
[IsMonoidByAdjoiningIdentityElt],
x->x![1]);
x->x![1]);

InstallMethod(PrintObj, [IsMonoidByAdjoiningIdentityElt],
function(me)
Expand Down
Loading

0 comments on commit ce30db3

Please sign in to comment.