Skip to content

Commit 3d78de7

Browse files
Merge pull request #1735 from mohamed-barakat/devel
fixed example file for Julia
2 parents eaf109a + e0d011b commit 3d78de7

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

LinearAlgebraForCAP/PackageInfo.g

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
1010

1111
PackageName := "LinearAlgebraForCAP",
1212
Subtitle := "Category of Matrices over a Field for CAP",
13-
Version := "2025.04-01",
13+
Version := "2025.05-01",
1414
Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
1515
License := "GPL-2.0-or-later",
1616

LinearAlgebraForCAP/examples/OppositeCategory.g

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ vec := MatrixCategory( QQ );;
1010
op := Opposite( vec );;
1111
Display( ListKnownCategoricalProperties( op ) );
1212
#! [ "IsAbCategory", "IsAbelianCategory", "IsAbelianCategoryWithEnoughInjectives",\
13-
#! "IsAbelianCategoryWithEnoughProjectives", "IsAdditiveCategory",\
13+
#! "IsAbelianCategoryWithEnoughProjectives", "IsAdditiveCategory",\
1414
#! "IsBraidedMonoidalCategory", "IsCategoryWithCoequalizers",\
1515
#! "IsCategoryWithCokernels", "IsCategoryWithEqualizers",\
1616
#! "IsCategoryWithInitialObject", "IsCategoryWithKernels",\

0 commit comments

Comments
 (0)