Skip to content

Commit e54a074

Browse files
mohamed-barakatmohamed-barakat
committed
start using GAP package OscarForHomalg
1 parent 68f3da6 commit e54a074

23 files changed

+1330
-12
lines changed

‎.travis.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ jobs:
3434
- stage: Documentation
3535
name: "HTML"
3636
julia: 1.3
37-
script: julia --color=yes --project=docs -e '
37+
script: travis_wait 60 julia --color=yes --project=docs -e '
3838
using Pkg;
3939
Pkg.instantiate();
4040
Pkg.develop(PackageSpec(path=pwd()));
@@ -46,7 +46,7 @@ after_success:
4646
# - julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(process_folder())'
4747

4848
script:
49-
- julia -e 'using Pkg;
49+
- travis_wait 60 julia -e 'using Pkg;
5050
Pkg.instantiate();
5151
Pkg.test("HomalgProject");'
5252

‎Project.toml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,12 @@
11
name = "HomalgProject"
22
uuid = "50bd374c-87b5-11e9-015a-2febe71398bd"
33
authors = ["Mohamed Barakat <mohamed.barakat@uni-siegen.de>"]
4-
version = "0.1.6"
4+
version = "0.1.7"
55

66
[deps]
77
GAP = "c863536a-3901-11e9-33e7-d5cd0df7b904"
88
Singular = "bcd08a7b-43d2-5ff7-b6d4-c458787f915c"
9+
#LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" ## needed by JuliaExperimental
910

1011
[compat]
1112
julia = "1.1, 1.2, 1.3, 1.4"

‎README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
[![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://homalg-project.github.io/HomalgProject.jl/stable)
44
[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://homalg-project.github.io/HomalgProject.jl/dev)
55
[![Build Status](https://travis-ci.com/homalg-project/HomalgProject.jl.svg?branch=master)](https://travis-ci.com/homalg-project/HomalgProject.jl)
6-
<!-- [![Codecov](https://codecov.io/gh/homalg-project/HomalgProject.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/homalg-project/HomalgProject.jl) -->
6+
[![Codecov](https://codecov.io/gh/homalg-project/HomalgProject.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/homalg-project/HomalgProject.jl)
77
<!-- [![Build Status](https://ci.appveyor.com/api/projects/status/github/homalg-project/HomalgProject.jl?svg=true)](https://ci.appveyor.com/project/homalg-project/HomalgProject-jl) -->
88

99
This Julia package is a compatility package for the [homalg project](https://homalg-project.github.io/homalg_project/) and the [CAP project](https://homalg-project.github.io/CAP_project/) written in [GAP](https://gap-system.github.io/).

‎docs/src/examples.md

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,7 @@ The following examples tests the functionality of the software projects
1010
DocTestSetup = quote
1111
using HomalgProject
1212
GAP.Globals.SizeScreen( GAP.julia_to_gap( [ 4096 ] ) )
13-
LoadPackageAndExposeGlobals( "IO_ForHomalg", Main, all_globals = true )
1413
LoadPackageAndExposeGlobals( "GradedModules", Main, all_globals = true )
15-
GAP.Globals.HOMALG_IO.show_banners = false
1614
HomalgFieldOfRationalsInSingular = GAP.Globals.HomalgFieldOfRationalsInSingular
1715
LeftPresentation = GAP.Globals.LeftPresentation
1816
Display = GAP.Display
@@ -29,6 +27,9 @@ julia> using HomalgProject
2927
3028
julia> LoadPackageAndExposeGlobals( "GradedModules", Main, all_globals = true )
3129
30+
julia> UseExternalSingular( false )
31+
true
32+
3233
julia> ℚ = HomalgFieldOfRationalsInSingular( )
3334
GAP: Q
3435
@@ -51,6 +52,7 @@ x^4, x^3*z, 0, x^2*z, -x*z,
5152
0, 0, x^2*z, -x*y*z, y*z,
5253
0, 0, x^2*y-x^2,-x*y^2+x*y,y^2-y
5354
55+
5456
Cokernel of the map
5557
5658
Q[x,y,z]^(1x6) --> Q[x,y,z]^(1x5),
@@ -73,6 +75,7 @@ Degree 0:
7375
x*y,-y*z,-z,0,
7476
x^2,-x*z,0, -z
7577
78+
7679
Cokernel of the map
7780
7881
Q[x,y,z]^(1x3) --> Q[x,y,z]^(1x4),
@@ -86,6 +89,7 @@ x,0, -z,
8689
0,x, -y,
8790
0,-y,x^2-1
8891
92+
8993
Cokernel of the map
9094
9195
Q[x,y,z]^(1x4) --> Q[x,y,z]^(1x3),
@@ -187,6 +191,7 @@ x^2,-x*z,0, -z,1,0, 0, 0, 0,
187191
0, 0, 0, 0, 0,0, 0, 0, y,
188192
0, 0, 0, 0, 0,0, 0, 0, x
189193
194+
190195
Cokernel of the map
191196
192197
Q[x,y,z]^(1x12) --> Q[x,y,z]^(1x9),
@@ -204,6 +209,7 @@ x^4, x^3*z, 0, x^2*z, -x*z,
204209
0, 0, x^2*z, -x*y*z, y*z,
205210
0, 0, x^2*y-x^2,-x*y^2+x*y,y^2-y
206211
212+
207213
Cokernel of the map
208214
209215
Q[x,y,z]^(1x6) --> Q[x,y,z]^(1x5),
@@ -227,6 +233,7 @@ x^2,-x*z,0, -z,1,0, 0, 0, 0,
227233
0, 0, 0, 0, 0,0, 0, 0, y,
228234
0, 0, 0, 0, 0,0, 0, 0, x
229235
236+
230237
Cokernel of the map
231238
232239
Q[x,y,z]^(1x12) --> Q[x,y,z]^(1x9),

‎pkg/OscarForHomalg/.gitignore

Lines changed: 57 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
/maketest.g
2+
/doc/*.xml
3+
4+
/doc/chap*.html
5+
/doc/chap*.txt
6+
/doc/*.css
7+
/doc/*.js
8+
/doc/chooser.html
9+
/doc/*.aux
10+
/doc/*.bbl
11+
/doc/*.blg
12+
/doc/*.brf
13+
/doc/*.idx
14+
/doc/*.ilg
15+
/doc/*.ind
16+
/doc/*.lab
17+
/doc/*.log
18+
/doc/*.out
19+
/doc/*.pnr
20+
/doc/*.six
21+
/doc/*.tex
22+
/doc/*.toc
23+
/doc/manual.pdf
24+
25+
/tst/*01.tst
26+
27+
.deps/
28+
.dirstamp
29+
.libs/
30+
31+
/aclocal.m4
32+
/autom4te.cache/
33+
/bin/
34+
/cnf
35+
/config.log
36+
/config.status
37+
/configure
38+
/lib/
39+
/libtool
40+
/m4/libtool.m4
41+
/m4/ltoptions.m4
42+
/m4/ltsugar.m4
43+
/m4/ltversion.m4
44+
/m4/lt~obsolete.m4
45+
/Makefile
46+
/Makefile.in
47+
/src/pkgconfig.h
48+
/src/stamp-h1
49+
50+
*.la
51+
src/*.lo
52+
53+
/tmp/
54+
/gh-pages/
55+
56+
stats
57+
coverage.json

‎pkg/OscarForHomalg/PackageInfo.g

Lines changed: 96 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,96 @@
1+
#
2+
# OscarForHomalg: OscarForHomalg with extra structure
3+
#
4+
# This file contains package meta data. For additional information on
5+
# the meaning and correct usage of these fields, please consult the
6+
# manual of the "Example" package as well as the comments in its
7+
# PackageInfo.g file.
8+
#
9+
SetPackageInfo( rec(
10+
11+
PackageName := "OscarForHomalg",
12+
Subtitle := "A homalg interface to OSCAR (Singular/Nemo/AbstractAlgebra/Hecke) using JuliaInterface",
13+
Version := Maximum( [
14+
"2020.02.01", ## Mohamed's version
15+
## this line prevents merge conflicts
16+
] ),
17+
18+
Date := ~.Version{[ 1 .. 10 ]},
19+
Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ),
20+
21+
Persons := [
22+
rec(
23+
IsAuthor := true,
24+
IsMaintainer := true,
25+
FirstNames := "Mohamed",
26+
LastName := "Barakat",
27+
WWWHome := "https://mohamed-barakat.github.io",
28+
Email := "mohamed.barakat@uni-siegen.de",
29+
PostalAddress := Concatenation(
30+
"Walter-Flex-Str. 3\n",
31+
"57072 Siegen\n",
32+
"Germany" ),
33+
Place := "Siegen",
34+
Institution := "University of Siegen",
35+
),
36+
],
37+
38+
SourceRepository := rec(
39+
Type := "git",
40+
URL := Concatenation( "https://github.com/homalg-project/", ~.PackageName ),
41+
),
42+
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
43+
#SupportEmail := "TODO",
44+
PackageWWWHome := Concatenation( "https://homalg-project.github.io/", ~.PackageName ),
45+
PackageInfoURL := Concatenation( ~.PackageWWWHome, "/PackageInfo.g" ),
46+
README_URL := Concatenation( ~.PackageWWWHome, "/README.md" ),
47+
ArchiveURL := Concatenation( ~.SourceRepository.URL,
48+
"/releases/download/v", ~.Version,
49+
"/", ~.PackageName, "-", ~.Version ),
50+
51+
ArchiveFormats := ".tar.gz",
52+
53+
## Status information. Currently the following cases are recognized:
54+
## "accepted" for successfully refereed packages
55+
## "submitted" for packages submitted for the refereeing
56+
## "deposited" for packages for which the GAP developers agreed
57+
## to distribute them with the core GAP system
58+
## "dev" for development versions of packages
59+
## "other" for all other packages
60+
##
61+
Status := "dev",
62+
63+
AbstractHTML := "",
64+
65+
PackageDoc := rec(
66+
BookName := "OscarForHomalg",
67+
ArchiveURLSubset := ["doc"],
68+
HTMLStart := "doc/chap0.html",
69+
PDFFile := "doc/manual.pdf",
70+
SixFile := "doc/manual.six",
71+
LongTitle := "OscarForHomalg as preadditive categories generated by enhanced quivers",
72+
),
73+
74+
Dependencies := rec(
75+
GAP := ">= 4.8",
76+
NeededOtherPackages := [
77+
[ "GAPDoc", ">= 1.5" ],
78+
[ "JuliaInterface", ">= 0.2" ],
79+
#[ "JuliaExperimental", ">= 0.1" ],
80+
#[ "RingsForHomalg", ">= 2019.06.01" ], #listing it causes a conflict with the way how JuliaExperimental currently loads RingsForHomalg
81+
],
82+
SuggestedOtherPackages := [
83+
[ "RingsForHomalg", ">= 2019.12.08" ]
84+
],
85+
ExternalConditions := [ ],
86+
),
87+
88+
AvailabilityTest := function()
89+
return true;
90+
end,
91+
92+
TestFile := "tst/testall.g",
93+
94+
Keywords := [ "" ],
95+
96+
));

‎pkg/OscarForHomalg/README.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
# The GAP 4 package `OscarForHomalg`
2+

‎pkg/OscarForHomalg/doc/Doc.autodoc

Whitespace-only changes.

0 commit comments

Comments
 (0)