Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove trailing whitespace from all files in lib #5268

Merged
merged 1 commit into from
Dec 14, 2022
Merged

Remove trailing whitespace from all files in lib #5268

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
4 changes: 2 additions & 2 deletions lib/addcoset.gi
View file
Open in desktop
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
View file
Open in desktop
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
View file
Open in desktop
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
View file
Open in desktop
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