Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions ActionsForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "ActionsForCAP",
Subtitle := "Actions and Coactions for CAP",
Version := "2024.09-02",
Version := "2025.08-01",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Gutsche",
WWWHome := "http://wwwb.math.rwth-aachen.de/~gutsche",
Email := "gutsche@mathematik.uni-kl.de",
Email := "sebastian.gutsche@gmail.com",
Place := "Kaiserslautern",
Institution := "TU Kaiserslautern",
),
Expand Down
8 changes: 4 additions & 4 deletions AdditiveClosuresForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "AdditiveClosuresForCAP",
Subtitle := "Additive closures for pre-additive categories",
Version := "2025.08-03",
Version := "2025.08-04",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand All @@ -37,7 +37,7 @@ Persons := [
FirstNames := "Martin",
LastName := "Bies",
WWWHome := "https://www.ulb.ac.be/sciences/ptm/pmif/people.html",
Email := "martin.bies@alumni.uni-heidelberg.de",
Email := "martin.bies@rptu.de",
PostalAddress := Concatenation(
"Physique Théorique et Mathématique \n",
"Université Libre de Bruxelles \n",
Expand Down Expand Up @@ -84,7 +84,7 @@ Persons := [
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
Email := "f.zickgraf@dashdos.com",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
Expand Down
4 changes: 2 additions & 2 deletions AttributeCategoryForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "AttributeCategoryForCAP",
Subtitle := "Automatic enhancement with attributes of a CAP category",
Version := "2025.02-01",
Version := "2025.08-01",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand Down
8 changes: 4 additions & 4 deletions CAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "CAP",
Subtitle := "Categories, Algorithms, Programming",
Version := "2025.08-02",
Version := "2025.08-03",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Gutsche",
WWWHome := "https://sebasguts.github.io/",
Email := "gutsche@mathematik.uni-siegen.de",
Email := "sebastian.gutsche@gmail.com",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand All @@ -37,7 +37,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand Down Expand Up @@ -68,7 +68,7 @@ Persons := [
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
Email := "f.zickgraf@dashdos.com",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
Expand Down
4 changes: 2 additions & 2 deletions CartesianCategories/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "CartesianCategories",
Subtitle := "Cartesian and cocartesian categories and various subdoctrines",
Version := "2025.07-07",
Version := "2025.08-01",
Date := ~.Version{[ 1 .. 10 ]},
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)( ),
License := "GPL-2.0-or-later",
Expand All @@ -36,7 +36,7 @@ Persons := [
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
Email := "f.zickgraf@dashdos.com",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
Expand Down
4 changes: 2 additions & 2 deletions CompilerForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "CompilerForCAP",
Subtitle := "Speed up and verify categorical algorithms",
Version := "2025.07-01",
Version := "2025.08-01",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
Email := "f.zickgraf@dashdos.com",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
Expand Down
8 changes: 4 additions & 4 deletions FreydCategoriesForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "FreydCategoriesForCAP",
Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
Version := "2025.08-01",
Version := "2025.08-02",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand All @@ -37,7 +37,7 @@ Persons := [
FirstNames := "Martin",
LastName := "Bies",
WWWHome := "https://www.ulb.ac.be/sciences/ptm/pmif/people.html",
Email := "martin.bies@alumni.uni-heidelberg.de",
Email := "martin.bies@rptu.de",
PostalAddress := Concatenation(
"Physique Théorique et Mathématique \n",
"Université Libre de Bruxelles \n",
Expand All @@ -54,7 +54,7 @@ Persons := [
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
Email := "f.zickgraf@dashdos.com",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
Expand Down
6 changes: 3 additions & 3 deletions GeneralizedMorphismsForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "GeneralizedMorphismsForCAP",
Subtitle := "Implementations of generalized morphisms for the CAP project",
Version := "2025.07-01",
Version := "2025.08-01",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Gutsche",
WWWHome := "https://sebasguts.github.io/",
Email := "gutsche@mathematik.uni-siegen.de",
Email := "sebastian.gutsche@gmail.com",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand All @@ -37,7 +37,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand Down
4 changes: 2 additions & 2 deletions GradedModulePresentationsForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "GradedModulePresentationsForCAP",
Subtitle := "Presentations for graded modules",
Version := "2025.08-01",
Version := "2025.08-02",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Gutsche",
WWWHome := "https://sebasguts.github.io",
Email := "gutsche@mathematik.uni-siegen.de",
Email := "sebastian.gutsche@gmail.com",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand Down
4 changes: 2 additions & 2 deletions GroupRepresentationsForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "GroupRepresentationsForCAP",
Subtitle := "Skeletal category of group representations for CAP",
Version := "2025.08-01",
Version := "2025.08-02",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand Down
6 changes: 3 additions & 3 deletions GroupsAsCategoriesForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "GroupsAsCategoriesForCAP",
Subtitle := "Groups as categories on one object",
Version := "2025.07-02",
Version := "2025.08-01",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand All @@ -37,7 +37,7 @@ Persons := [
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
Email := "f.zickgraf@dashdos.com",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
Expand Down
4 changes: 2 additions & 2 deletions InternalExteriorAlgebraForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "InternalExteriorAlgebraForCAP",
Subtitle := "Constructions for Modules over the Internal Exterior Algebra for CAP",
Version := "2024.04-01",
Version := "2025.08-01",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand Down
8 changes: 4 additions & 4 deletions LinearAlgebraForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "LinearAlgebraForCAP",
Subtitle := "Category of Matrices over a Field for CAP",
Version := "2025.08-01",
Version := "2025.08-02",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Gutsche",
WWWHome := "https://sebasguts.github.io/",
Email := "gutsche@mathematik.uni-siegen.de",
Email := "sebastian.gutsche@gmail.com",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand All @@ -37,7 +37,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand All @@ -53,7 +53,7 @@ Persons := [
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
Email := "f.zickgraf@dashdos.com",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
Expand Down
6 changes: 3 additions & 3 deletions LinearClosuresForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "LinearClosuresForCAP",
Subtitle := "Linear closures",
Version := "2025.08-03",
Version := "2025.08-04",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand Down Expand Up @@ -51,7 +51,7 @@ Persons := [
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
Email := "f.zickgraf@dashdos.com",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
Expand Down
8 changes: 4 additions & 4 deletions ModulePresentationsForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "ModulePresentationsForCAP",
Subtitle := "Category R-pres for CAP",
Version := "2025.08-01",
Version := "2025.08-02",
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)( ),
License := "GPL-2.0-or-later",

Expand All @@ -21,7 +21,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Gutsche",
WWWHome := "https://sebasguts.github.io/",
Email := "gutsche@mathematik.uni-siegen.de",
Email := "sebastian.gutsche@gmail.com",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand All @@ -37,7 +37,7 @@ Persons := [
FirstNames := "Sebastian",
LastName := "Posur",
WWWHome := "https://sebastianpos.github.io",
Email := "sebastian.posur@uni-siegen.de",
Email := "sebastian.posur@uni-muenster.de",
PostalAddress := Concatenation(
"Department Mathematik\n",
"Universität Siegen\n",
Expand All @@ -53,7 +53,7 @@ Persons := [
FirstNames := "Fabian",
LastName := "Zickgraf",
WWWHome := "https://github.com/zickgraf/",
Email := "fabian.zickgraf@uni-siegen.de",
Email := "f.zickgraf@dashdos.com",
PostalAddress := Concatenation(
"Walter-Flex-Str. 3\n",
"57068 Siegen\n",
Expand Down
Loading