Skip to content

Commit d64bf3b

Browse files
kamalsalehkamalsaleh
committed
transpile LinearAlgebraForCAP v2025.07-03 using ansible
bump LinearAlgebraForCAP to v0.1.10
1 parent cc8eda7 commit d64bf3b

File tree

8 files changed

+66
-32
lines changed

8 files changed

+66
-32
lines changed

‎.generate.sh‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
#!/bin/bash
2+
3+
# This script is autogenerated by Ansible to run the Julia package generation playbook.
4+
ansible-playbook -i ~/.gap/pkg/PackageJanitor/gap_to_julia/hosts ~/.gap/pkg/PackageJanitor/gap_to_julia/site.yml -l LinearAlgebraForCAP --diff "$@"

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
.generate.sh

‎Project.toml‎

Lines changed: 11 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,32 @@
11
name = "LinearAlgebraForCAP"
22
uuid = "3dc4824f-14ac-4ab7-8a60-75dbcd4a9d60"
33
authors = [
4-
"Sebastian Gutsche <sebastian.gutsche@gmail.com>",
5-
"Sebastian Posur <sebastian.posur@uni-muenster.de>",
6-
"Fabian Zickgraf <f.zickgraf@dashdos.com>",
4+
"Sebastian Gutsche <gutsche@mathematik.uni-siegen.de>",
5+
"Sebastian Posur <sebastian.posur@uni-siegen.de>",
6+
"Fabian Zickgraf <fabian.zickgraf@uni-siegen.de>"
77
]
8-
version = "0.1.9"
8+
9+
# Transpiled from GAP's LinearAlgebraForCAP v2025.07-03
10+
version = "0.1.10"
911

1012
[deps]
1113
MatricesForHomalg = "29b9b1b6-efa6-450e-8188-a5a2c25df071"
1214
CAP = "d64df2ee-d2bb-46f4-8cbc-f03bb858f8cb"
1315
MonoidalCategories = "bfd98c86-782f-4b94-909f-74167f1eb613"
1416

17+
[weakdeps]
18+
19+
[extensions]
20+
1521
[compat]
1622
julia = "1.11"
1723
MatricesForHomalg = "0.1"
1824
CAP = "0.6"
1925
MonoidalCategories = "0.2"
2026

2127
[extras]
22-
Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
2328
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
29+
Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
2430

2531
[targets]
2632
test = ["Test", "Documenter"]

‎README.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,9 @@
99

1010
<!-- END HEADER -->
1111

12-
This is the Julia version of the [CAP-based][CAP_project] package [LinearAlgebraForCAP][LinearAlgebraForCAP].
12+
This is the Julia version of the [CAP-based][CAP_based] package [LinearAlgebraForCAP][LinearAlgebraForCAP].
1313

14-
[CAP_project]: https://homalg-project.github.io/docs/CAP_project-based/
14+
[CAP_based]: https://homalg-project.github.io/docs/CAP_project-based/
1515
[LinearAlgebraForCAP]: https://homalg-project.github.io/pkg/LinearAlgebraForCAP
1616

1717
<!-- BEGIN FOOTER -->

‎docs/src/AutoDocTests.tst.autogen.md‎

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11

22
```jldoctest AutoDocTests
3-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
3+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
44
55
julia> true
66
true
@@ -33,7 +33,7 @@ julia> alpha = VectorSpaceMorphism( a, homalg_matrix, b )
3333
```
3434

3535
```jldoctest AutoDocTests
36-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
36+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
3737
3838
julia> alphap = homalg_matrix/vec;
3939
@@ -92,7 +92,7 @@ julia> u = UniversalMorphismFromDirectSum( [ b, b ], [ i1, i2 ] )
9292
```
9393

9494
```jldoctest AutoDocTests
95-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
95+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
9696
9797
julia> KernelObjectFunctorial( u, IdentityMorphism( Source( u ) ), u ) == IdentityMorphism( MatrixCategoryObject( vec, 3 ) )
9898
true
@@ -274,7 +274,7 @@ julia> d = MatrixCategoryObject( vec, 1 )
274274
```
275275

276276
```jldoctest AutoDocTests
277-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
277+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
278278
279279
julia> pre_compose = MonoidalPreComposeMorphism( a, b, c )
280280
<A morphism in Category of matrices over Q>
@@ -345,7 +345,7 @@ true
345345
```
346346

347347
```jldoctest AutoDocTests
348-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
348+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
349349
350350
julia> true
351351
true
@@ -425,7 +425,7 @@ julia> F_installation2OnMorphisms( input );
425425
```
426426

427427
```jldoctest AutoDocTests
428-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
428+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
429429
430430
julia> true
431431
true
@@ -544,7 +544,7 @@ true
544544
```
545545

546546
```jldoctest AutoDocTests
547-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
547+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
548548
549549
julia> field = HomalgFieldOfRationals( );
550550
@@ -644,7 +644,7 @@ true
644644
```
645645

646646
```jldoctest AutoDocTests
647-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
647+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
648648
649649
julia> field = HomalgFieldOfRationals( );
650650
@@ -687,7 +687,7 @@ true
687687
```
688688

689689
```jldoctest AutoDocTests
690-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
690+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
691691
692692
julia> true
693693
true
@@ -761,7 +761,7 @@ true
761761
```
762762

763763
```jldoctest AutoDocTests
764-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
764+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
765765
766766
julia> field = HomalgFieldOfRationals( );
767767
@@ -822,7 +822,7 @@ true
822822
```
823823

824824
```jldoctest AutoDocTests
825-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
825+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
826826
827827
julia> true
828828
true
@@ -886,7 +886,7 @@ true
886886
```
887887

888888
```jldoctest AutoDocTests
889-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
889+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
890890
891891
julia> field = HomalgFieldOfRationals( );
892892
@@ -926,7 +926,7 @@ true
926926
```
927927

928928
```jldoctest AutoDocTests
929-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
929+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
930930
931931
julia> true
932932
true
@@ -964,7 +964,7 @@ julia> Display( EntriesOfHomalgMatrixAsListList( UnderlyingMatrix( gamma ) ) )
964964
```
965965

966966
```jldoctest AutoDocTests
967-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
967+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
968968
969969
julia> Q = HomalgFieldOfRationals();
970970
@@ -1000,7 +1000,7 @@ julia> KernelEmbedding( alpha )
10001000
```
10011001

10021002
```jldoctest AutoDocTests
1003-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
1003+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
10041004
10051005
julia> Q = HomalgFieldOfRationals();
10061006
@@ -1033,7 +1033,7 @@ false
10331033
```
10341034

10351035
```jldoctest AutoDocTests
1036-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
1036+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
10371037
10381038
julia> Q = HomalgFieldOfRationals();
10391039
@@ -1075,7 +1075,7 @@ true
10751075
```
10761076

10771077
```jldoctest AutoDocTests
1078-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
1078+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
10791079
10801080
julia> Q = HomalgFieldOfRationals();
10811081
@@ -1108,7 +1108,7 @@ julia> p2 = ProjectionInFactorOfFiberProduct( [ AtoC, BtoC ], 2 )
11081108
```
11091109

11101110
```jldoctest AutoDocTests
1111-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
1111+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
11121112
11131113
julia> true
11141114
true

‎docs/src/HomogeneousLinearSystems.tst.autogen.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11

22
```jldoctest
3-
julia> using MatricesForHomalg; using CAP; using MonoidalCategories; using LinearAlgebraForCAP
3+
julia> using MatricesForHomalg, CAP, MonoidalCategories, LinearAlgebraForCAP
44
55
julia> true
66
true

‎makefile‎

Lines changed: 26 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,37 @@
11
.PHONY: test
22

3+
install:
4+
julia -e 'using Pkg; Pkg.develop(path=".");'
5+
6+
uninstall:
7+
julia -e 'using Pkg; Pkg.rm("LinearAlgebraForCAP");'
8+
9+
test:
10+
julia -e 'using Pkg; Pkg.test("LinearAlgebraForCAP");'
11+
312
gen:
4-
gap_to_julia LinearAlgebraForCAP
13+
rm -f ./src/gap/*.autogen.jl
14+
rm -f ./src/gap/*/*.autogen.jl
15+
rm -f ./docs/src/*.autogen.md
16+
./.generate.sh -e gen_full=0
517

6-
clean-gen:
18+
gen-full:
719
rm -f ./src/gap/*.autogen.jl
820
rm -f ./src/gap/*/*.autogen.jl
921
rm -f ./docs/src/*.autogen.md
10-
gap_to_julia LinearAlgebraForCAP
22+
./.generate.sh -e gen_full=1
1123

12-
test:
13-
julia -e 'using Pkg; Pkg.test("LinearAlgebraForCAP");'
24+
git-commit:
25+
@if [ -n "$$(git diff .)" ]; then \
26+
echo "Committing changes ..."; \
27+
git add .; \
28+
git commit \
29+
-m "Update to GAP's $$(grep "# Transpiled from GAP's" "Project.toml" | cut -d ' ' -f 5-)" \
30+
-m "Bump Version to v$$(grep "version = " "Project.toml" | cut -d '"' -f 2)" \
31+
; \
32+
else \
33+
echo "No changes to commit."; \
34+
fi
1435

1536
codecov:
1637
julia --project=. -e 'using Coverage; using Pkg; Pkg.test(coverage=true); LCOV.writefile("coverage.lcov", process_folder(pwd()));'

‎test/runtests.jl‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,4 @@
11
using Test, Documenter, LinearAlgebraForCAP
2-
doctest(LinearAlgebraForCAP)
2+
3+
# test upto whitespaces
4+
doctest(LinearAlgebraForCAP; doctestfilters=[r"\s+" => ""])

0 commit comments

Comments
 (0)