GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#############################################################################
##
#W PackageInfo.g The Congruence package Ann Dooms
#W Eric Jespers
#W Alexander Konovalov
#W Helena Verrill
##
##
#############################################################################
SetPackageInfo( rec(
PackageName := "Congruence",
Subtitle := "Congruence subgroups of SL(2,Integers)",
Version := "1.2.1",
Date := "26/09/2017",
## <#GAPDoc Label="PKGVERSIONDATA">
## <!ENTITY VERSION "1.2.1">
## <!ENTITY RELEASEDATE "26 September 2017">
## <!ENTITY RELEASEYEAR "2017">
## <#/GAPDoc>
SourceRepository := rec(
Type := "git",
URL := Concatenation( "https://github.com/gap-packages/", LowercaseString(~.PackageName) ),
),
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
PackageWWWHome := Concatenation( "https://gap-packages.github.io/", LowercaseString(~.PackageName) ),
README_URL := Concatenation( ~.PackageWWWHome, "/README.md" ),
PackageInfoURL := Concatenation( ~.PackageWWWHome, "/PackageInfo.g" ),
ArchiveURL := Concatenation( ~.SourceRepository.URL,
"/releases/download/v", ~.Version,
"/", LowercaseString(~.PackageName), "-", ~.Version ),
ArchiveFormats := ".tar.gz",
Persons := [
rec(
LastName := "Dooms",
FirstNames := "Ann",
IsAuthor := true,
IsMaintainer := true,
Email := "[email protected]",
WWWHome := "http://homepages.vub.ac.be/~andooms",
PostalAddress := Concatenation( [
"Department of Mathematics\n",
"Vrije Universiteit Brussel\n",
"Pleinlaan 2, Brussels, B-1050 Belgium" ] ),
Place := "Brussels",
Institution := "Vrije Universiteit Brussel"
),
rec(
LastName := "Jespers",
FirstNames := "Eric",
IsAuthor := true,
IsMaintainer := false,
Email := "[email protected]",
WWWHome := "http://homepages.vub.ac.be/~efjesper",
PostalAddress := Concatenation( [
"Department of Mathematics\n",
"Vrije Universiteit Brussel\n",
"Pleinlaan 2, Brussels, B-1050 Belgium" ] ),
Place := "Brussels",
Institution := "Vrije Universiteit Brussel"
),
rec(
LastName := "Konovalov",
FirstNames := "Alexander",
IsAuthor := true,
IsMaintainer := true,
Email := "[email protected]",
WWWHome := "https://alexk.host.cs.st-andrews.ac.uk",
PostalAddress := Concatenation( [
"School of Computer Science\n",
"University of St Andrews\n",
"Jack Cole Building, North Haugh,\n",
"St Andrews, Fife, KY16 9SX, Scotland" ] ),
Place := "St Andrews",
Institution := "University of St Andrews"
),
rec(
LastName := "Verrill",
FirstNames := "Helena",
IsAuthor := true,
IsMaintainer := true,
Email := "[email protected]",
WWWHome := "http://www.math.lsu.edu/~verrill",
PostalAddress := Concatenation( [
"Department of Mathematics\n",
"Louisiana State University\n",
"Baton Rouge, Louisiana, 70803-4918\n",
"USA" ] ),
Place := "Baton Rouge",
Institution := "Louisiana State University"
)
],
Status := "accepted",
CommunicatedBy := "Graham Ellis (Galway)",
AcceptDate := "09/2014",
AbstractHTML := "The <span class=\"pkgname\">Congruence </span> package provides functions to construct several types of canonical congruence subgroups in SL_2(Z), and also intersections of a finite number of such subgroups. Furthermore, it implements the algorithm for generating Farey symbols for congruence subgroups and using them to produce a system of independent generators for these subgroups",
PackageDoc := rec(
BookName := "Congruence",
ArchiveURLSubset := ["doc"],
HTMLStart := "doc/chap0.html",
PDFFile := "doc/manual.pdf",
SixFile := "doc/manual.six",
LongTitle := "Congruence subgroups of SL(2,Integers)",
Autoload := true
),
Dependencies := rec(
GAP := ">=4.8",
NeededOtherPackages := [ ["GAPDoc", ">= 1.5.1"] ],
SuggestedOtherPackages := [],
ExternalConditions := []
),
AvailabilityTest := ReturnTrue,
TestFile := "tst/testall.g",
Keywords := ["congruence subgroup", "Farey symbol"]
));