Skip to content

Commit eb66f40

Browse files
Update to CAP v2026.02-01
* CAP v2026.02-01 * AdditiveClosuresForCAP v2026.02-01 * LinearAlgebraForCAP v2026.02-01 * LinearClosuresForCAP v2026.02-01
1 parent 6035fb9 commit eb66f40

File tree

2 files changed

+14
-3
lines changed

2 files changed

+14
-3
lines changed

Project.toml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ authors = [
66
"Fabian Zickgraf <f.zickgraf@dashdos.com>"
77
]
88

9-
# Transpiled from GAP's LinearAlgebraForCAP v2025.12-01
10-
version = "0.1.14"
9+
# Transpiled from GAP's LinearAlgebraForCAP v2026.02-01
10+
version = "0.1.15"
1111

1212
[deps]
1313
MatricesForHomalg = "29b9b1b6-efa6-450e-8188-a5a2c25df071"
@@ -21,7 +21,7 @@ MonoidalCategories = "bfd98c86-782f-4b94-909f-74167f1eb613"
2121
[compat]
2222
julia = "1.11"
2323
MatricesForHomalg = "0.1"
24-
CAP = "0.6"
24+
CAP = "~0.6.19"
2525
MonoidalCategories = "~0.2.11"
2626

2727
[extras]

src/gap/precompiled_categories/MatrixCategory_precompiled.gi.autogen.jl

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4411,6 +4411,17 @@ end
44114411

44124412
, 201; IsPrecompiledDerivation = true );
44134413

4414+
##
4415+
AddIsHomSetInhabited( cat,
4416+
4417+
########
4418+
function ( cat_1, arg2_1, arg3_1 )
4419+
return true;
4420+
end
4421+
########
4422+
4423+
, 1; IsPrecompiledDerivation = true );
4424+
44144425
##
44154426
AddIsIdempotent( cat,
44164427

0 commit comments

Comments
 (0)