diff --git a/.codecov.yml b/.codecov.yml index 31bf437..33151bf 100644 --- a/.codecov.yml +++ b/.codecov.yml @@ -1,5 +1,6 @@ codecov: disable_default_path_fixes: true + require_ci_to_pass: false fixes: - "/home/gap/.gap/pkg/CatReps/::" ignore: diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml index 19527b2..a739d1d 100644 --- a/.github/workflows/Tests.yml +++ b/.github/workflows/Tests.yml @@ -46,8 +46,8 @@ jobs: # build documentation of packages which we might want to reference, keep this in sync with `release-gap-package` [ -d "CAP_project/CAP" ] && make -C "CAP_project/CAP" doc [ -d "CAP_project/CompilerForCAP" ] && make -C "CAP_project/CompilerForCAP" doc - [ -d "CAP_project/FreydCategoriesForCAP" ] && make -C "CAP_project/FreydCategoriesForCAP" doc [ -d "CAP_project/MonoidalCategories" ] && make -C "CAP_project/MonoidalCategories" doc + [ -d "CAP_project/FreydCategoriesForCAP" ] && make -C "CAP_project/FreydCategoriesForCAP" doc [ -d "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" ] && make -C "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" doc [ -d "homalg_project/homalg" ] && make -C "homalg_project/homalg" doc [ -d "homalg_project/Modules" ] && make -C "homalg_project/Modules" doc @@ -55,7 +55,7 @@ jobs: TERM=dumb make -C CatReps -j $(nproc) --output-sync ci-test cp ./CatReps/.codecov.yml ./ (cd CatReps && LANG=C.UTF-8 python3 process_coverage_ignored_lines.py) - [ "${{ matrix.image }}" = "ghcr.io/homalg-project/gap-docker-master:latest" ] && ./CatReps/upload_codecov.sh + [ "$GITHUB_EVENT_NAME" != "schedule" ] && [ "${{ matrix.image }}" = "ghcr.io/homalg-project/gap-docker-master:latest" ] && ./CatReps/upload_codecov.sh git config --global user.name "Bot" git config --global user.email "empty" cd CatReps diff --git a/PackageInfo.g b/PackageInfo.g index 3f2cfbe..9f6fb97 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2022.05-03", +Version := "2022.05-04", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), @@ -97,7 +97,7 @@ PackageDoc := rec( ), Dependencies := rec( - GAP := ">= 4.9.1", + GAP := ">= 4.11.1", NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], [ "CAP", ">= 2022.04-08" ], @@ -108,7 +108,7 @@ Dependencies := rec( [ "SubcategoriesForCAP", ">= 2020.06-01" ], [ "MatricesForHomalg", ">= 2020.02.02" ], [ "Toposes", ">= 2022.04-29" ], - [ "Algebroids", ">= 2022.05-02" ], + [ "Algebroids", ">= 2022.05-05" ], [ "FunctorCategories", ">= 2022.05-09" ], ], SuggestedOtherPackages := [ ], diff --git a/README.md b/README.md index 32c1359..e942f0f 100644 --- a/README.md +++ b/README.md @@ -30,9 +30,9 @@ Using the procedure `Algebroid` one can then construct a finite presentation of ```gap gap> Q := HomalgFieldOfRationals( ); -GF(3) +Q gap> A := Algebroid( Q, c3c3 ); -Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] +Algebroid( Q, FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations gap> UnderlyingQuiverAlgebra( A ); (Q * q) / [ 1*(a*a*a) - 1*(1), 1*(c*c*c) - 1*(2), -1*(b*c) + 1*(a*b) ] gap> IsLinearClosureOfACategory( A ); @@ -43,8 +43,9 @@ Finally, using the constructor `Hom` from the package [`FunctorCategories`](http ```gap gap> CatReps := FunctorCategory( A, Q ); -FunctorCategory( Algebroid generated by the right quiver -q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over Q ) +FunctorCategory( Algebroid( Q, FreeCategory( +RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +Category of matrices over Q ) ``` The supported categorical doctrine of the category of representations is diff --git a/examples/Algebroid.g b/examples/Algebroid.g index c251e73..2dc977e 100644 --- a/examples/Algebroid.g +++ b/examples/Algebroid.g @@ -17,9 +17,11 @@ ccat2 := ConcreteCategoryForCAP( [ [,,,5,6,4], [,,,7,8,9], [,,,,,,8,9,7] ] ); Q := HomalgFieldOfRationals( ); #! Q A1 := Q[ccat1]; -#! Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] +#! Algebroid( Q, FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations A2 := Q[ccat2]; -#! Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] +#! Algebroid( Q, FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations IsIdenticalObj( A1, A2 ); #! true UnderlyingCategory( A1 ); @@ -29,11 +31,13 @@ UnderlyingCategory( A2 ); IsIdenticalObj( UnderlyingCategory( A1 ), UnderlyingCategory( A2 ) ); #! true CatReps1 := FunctorCategory( A1, Q ); -#! FunctorCategory( Algebroid generated by the right quiver -#! q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over Q ) +#! FunctorCategory( Algebroid( Q, FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over Q ) CatReps2 := FunctorCategory( A2, Q ); -#! FunctorCategory( Algebroid generated by the right quiver -#! q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over Q ) +#! FunctorCategory( Algebroid( Q, FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over Q ) IsIdenticalObj( CatReps1, CatReps2 ); #! true #! @EndExample diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index b7167f7..f037a22 100644 --- a/examples/CategoryOfRepresentations.g +++ b/examples/CategoryOfRepresentations.g @@ -24,12 +24,14 @@ UnderlyingQuiverAlgebra( AsFpCategory( c3c3 ) ); GF3 := HomalgRingOfIntegers( 3 ); #! GF(3) A := GF3[c3c3]; -#! Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] +#! Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations IsLinearClosureOfACategory( A ); #! true CatReps := FunctorCategory( A, GF3 ); -#! FunctorCategory( Algebroid generated by the right quiver -#! q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) +#! FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) InfoOfInstalledOperationsOfCategory( CatReps ); #! 98 primitive operations were used to derive 318 operations for this category #! which constructively @@ -63,9 +65,9 @@ Display( zero ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data unit := TensorUnit( CatReps ); #! <(1)->1, (2)->1; (a)->1x1, (b)->1x1, (c)->1x1> Display( unit ); @@ -90,9 +92,9 @@ Display( unit ); #! #! An identity morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data d := [[1,1,0,0,0],[0,1,1,0,0],[0,0,1,0,0],[0,0,0,1,1],[0,0,0,0,1]];; e := [[0,1,0,0],[0,0,1,0],[0,0,0,0],[0,1,0,1],[0,0,1,0]];; f := [[1,1,0,0],[0,1,1,0],[0,0,1,0],[0,0,0,1]];; @@ -131,9 +133,9 @@ Display( nine ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data nine( A.1 ); #! nine( A.2 ); @@ -251,9 +253,9 @@ Display( fortyone ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data etas := WeakDirectSumDecomposition( fortyone : random := false );; dec := List( etas, eta -> List( SetOfObjects( A ), o -> Dimension( Source( eta( o ) ) ) ) ); @@ -348,9 +350,9 @@ Display( Source( iso ) ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data Display( iso ); #! Image of <(1)>: #! . . 1 . . . 2 1 . 1 1 . . 2 . . . 1 . . . . . . . @@ -401,9 +403,9 @@ Display( iso ); #! #! An isomorphism in Category of matrices over GF(3) #! -#! A morphism in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! A morphism in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data eta := etas[9]; #! <(1)->3x25, (2)->3x16> TensorProductOnMorphisms( eta, eta ); @@ -438,9 +440,9 @@ Display( six ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data emb := EmbeddingOfSumOfImagesOfAllMorphisms( unit, six ); #! <(1)->1x3, (2)->0x3> Display( emb ); @@ -454,9 +456,9 @@ Display( emb ); #! #! A morphism in Category of matrices over GF(3) #! -#! A morphism in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! A morphism in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data s1 := Source( emb ); #! <(1)->1, (2)->0; (a)->1x1, (b)->1x0, (c)->0x0> Display( s1 ); @@ -481,21 +483,24 @@ Display( s1 ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data Aop := OppositeAlgebroid( A ); -#! Algebroid generated by the right quiver q_op(2)[a:1->1,b:2->1,c:2->2] +#! Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q_op(2)[a:1->1,b:2->1,c:2->2]" ) ) ) / relations Yop := YonedaEmbedding( Aop ); #! Yoneda embedding functor Display( Yop ); #! Yoneda embedding functor: #! -#! Algebroid generated by the right quiver q_op(2)[a:1->1,b:2->1,c:2->2] +#! Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q_op(2)[a:1->1,b:2->1,c:2->2]" ) ) ) / relations #! | #! V -#! FunctorCategory( Algebroid generated by the right quiver -#! q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) +#! FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) proj1 := Yop( Aop.1 ); #! <(1)->3, (2)->3; (a)->3x3, (b)->3x3, (c)->3x3> IsProjective( proj1 ); @@ -528,9 +533,9 @@ Display( proj1 ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data e1 := EmbeddingOfSumOfImagesOfAllMorphisms( unit, proj1 ); #! <(1)->1x3, (2)->1x3> Source( e1 ); @@ -565,29 +570,35 @@ Display( five ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data #! @EndExample + #! The next calculation shows that the $3$-dimensional representation of $C_3$ #! associated to object $1$ is a single copy of the regular representation of $C_3$. + #! @Example SumOfImagesOfAllMorphisms( s1, six ); #! <(1)->1, (2)->0; (a)->1x1, (b)->1x0, (c)->0x0> #! @EndExample + #! The next calculation shows that the quotient representation five maps #! its module at object $1$ monomorphically to the module at object $2$, #! which must either be indecomposable of dimension $3$, or else the #! direct sum of indecomposables of dimension $2$ and $1$. + #! @Example SumOfImagesOfAllMorphisms( s1, five ); #! <(1)->0, (2)->0; (a)->0x0, (b)->0x0, (c)->0x0> SumOfImagesOfAllMorphisms( unit, five ); #! <(1)->1, (2)->1; (a)->1x1, (b)->1x1, (c)->1x1> #! @EndExample + #! The next calculation shows that the module at object $2$ for six #! is indecomposable of dimension $3$. #! We now have sufficient information to describe six completely. + #! @Example SumOfImagesOfAllMorphisms( six, unit ); #! <(1)->0, (2)->1; (a)->0x0, (b)->0x1, (c)->1x1> @@ -619,7 +630,7 @@ Display( proj2 ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data #! @EndExample diff --git a/examples/DecomposeOnceByRandomEndomorphism.g b/examples/DecomposeOnceByRandomEndomorphism.g index 832a6b6..fd3ad2c 100644 --- a/examples/DecomposeOnceByRandomEndomorphism.g +++ b/examples/DecomposeOnceByRandomEndomorphism.g @@ -10,12 +10,14 @@ AsFpCategory( c3c3 ); GF3 := HomalgRingOfIntegers( 3 ); #! GF(3) A := GF3[c3c3]; -#! Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] +#! Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations IsLinearClosureOfACategory( A ); #! true CatReps := FunctorCategory( A, GF3 ); -#! FunctorCategory( Algebroid generated by the right quiver -#! q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) +#! FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) d := [[1,1,0,0,0],[0,1,1,0,0],[0,0,1,0,0],[0,0,0,1,1],[0,0,0,0,1]];; e := [[0,1,0,0],[0,0,1,0],[0,0,0,0],[0,1,0,1],[0,0,1,0]];; f := [[1,1,0,0],[0,1,1,0],[0,0,1,0],[0,0,0,1]];; @@ -126,9 +128,9 @@ Display( fortyone ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data S := DirectSum( [ Source( iota ), Source( kappa ) ] ); #! <(1)->25, (2)->16; (a)->25x25, (b)->25x16, (c)->16x16> Display( S ); @@ -216,9 +218,9 @@ Display( S ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data #! @EndExample #! Comparing the matrices of fortyone with those of @@ -242,9 +244,9 @@ Display( iota ); #! #! A morphism in Category of matrices over GF(3) #! -#! A morphism in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! A morphism in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data Display( Source( iota ) ); #! Image of <(1)>: #! A vector space object over GF(3) of dimension 3 @@ -271,9 +273,9 @@ Display( Source( iota ) ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data #! @EndExample #! We can then look at the other embedding of the direct sum diff --git a/examples/RepresentingC4C4.g b/examples/RepresentingC4C4.g index 8433e3a..02979f8 100644 --- a/examples/RepresentingC4C4.g +++ b/examples/RepresentingC4C4.g @@ -15,7 +15,8 @@ UnderlyingQuiverAlgebra( AsFpCategory( c4c4 ) ); GF3 := HomalgRingOfIntegers( 3 ); #! GF(3) A := GF3[c4c4]; -#! Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] +#! Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations SetIsLinearClosureOfACategory( A, true ); #! @EndExample @@ -37,8 +38,8 @@ SetIsLinearClosureOfACategory( A, true ); #! @Example CatReps := FunctorCategory( A, GF3 ); -#! FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], +#! FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, #! Category of matrices over GF(3) ) amat := HomalgMatrix( One( GF3 ) * [ [ 0,0,0,1,0,0 ], @@ -156,9 +157,10 @@ Display( eleven ); #! . . . . 1 #! #! A morphism in Category of matrices over GF(3) -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data gammas := WeakDirectSumDecomposition( eleven ); #! [ <(1)->1x6, (2)->0x5>, <(1)->1x6, (2)->1x5>, <(1)->1x6, (2)->1x5>, #! <(1)->0x6, (2)->2x5>, <(1)->2x6, (2)->0x5>, <(1)->1x6, (2)->1x5> ] @@ -206,8 +208,8 @@ Display( Source( UniversalMorphismFromDirectSum( gammas ) ) ); #! #! A morphism in Category of matrices over GF(3) #! -#! An object in FunctorCategory( Algebroid generated by the -#! right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices -#! over GF(3) ) given by the above data +#! An object in FunctorCategory( Algebroid( GF(3), FreeCategory( +#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations, +#! Category of matrices over GF(3) ) given by the above data #! @EndExample #! @EndChunk diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb index 5cb8f28..3c754de 100644 --- a/examples/julia/notebooks/CategoryOfRepresentations.ipynb +++ b/examples/julia/notebooks/CategoryOfRepresentations.ipynb @@ -26,7 +26,7 @@ "name": "stdout", "output_type": "stream", "text": [ - "CapAndHomalg v\u001b[32m1.3.3\u001b[39m\n", + "CapAndHomalg v\u001b[32m1.4.1\u001b[39m\n", "Imported OSCAR's components GAP and Singular_jll\n", "Type: ?CapAndHomalg for more information\n" ] @@ -151,7 +151,7 @@ { "data": { "text/plain": [ - "GAP: Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2]" + "GAP: Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations" ] }, "execution_count": 7, @@ -204,7 +204,7 @@ { "data": { "text/plain": [ - "GAP: FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) / relations" + "GAP: FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) / relations" ] }, "execution_count": 9, @@ -443,7 +443,7 @@ { "data": { "text/plain": [ - "GAP: FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) )" + "GAP: FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) )" ] }, "execution_count": 17, @@ -596,33 +596,28 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 0\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 0\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", "(an empty 0 x 0 matrix)\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", "(an empty 0 x 0 matrix)\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", "(an empty 0 x 0 matrix)\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -644,33 +639,28 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 1\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 1\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", " 1\n", "\n", "An identity morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", " 1\n", "\n", "An identity morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", " 1\n", "\n", - "An identity morphism in Category of matrices over GF(3)\n" + "An identity morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -726,17 +716,12 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 5\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 4\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", " 1 1 . . .\n", " . 1 1 . .\n", @@ -746,7 +731,6 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", " . 1 . .\n", " . . 1 .\n", @@ -756,14 +740,15 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", " 1 1 . .\n", " . 1 1 .\n", " . . 1 .\n", " . . . 1\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -1189,17 +1174,12 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 25\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 16\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", " 1 1 . . . 1 1 . . . . . . . . . . . . . . . . . .\n", " . 1 1 . . . 1 1 . . . . . . . . . . . . . . . . .\n", @@ -1229,7 +1209,6 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", " . . . . . 1 . . . . . . . . . .\n", " . . . . . . 1 . . . . . . . . .\n", @@ -1259,7 +1238,6 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", " 1 1 . . 1 1 . . . . . . . . . .\n", " . 1 1 . . 1 1 . . . . . . . . .\n", @@ -1278,7 +1256,9 @@ " . . . . . . . . . . . . . . 1 .\n", " . . . . . . . . . . . . . . . 1\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -1467,17 +1447,12 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 25\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 16\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", " 1 1 . . . . . . . . . . . . . . . . . . . . . . .\n", " . 1 . . . . . . . . . . . . . . . . . . . . . . .\n", @@ -1507,7 +1482,6 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", " . . . . . . . . . . . . . . . .\n", " . . . . . . . . . . . . . . . .\n", @@ -1537,7 +1511,6 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", " 1 . . . . . . . . . . . . . . .\n", " . 1 1 . . . . . . . . . . . . .\n", @@ -1556,7 +1529,9 @@ " . . . . . . . . . . . . . . 1 .\n", " . . . . . . . . . . . . . . . 1\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -1589,9 +1564,6 @@ "name": "stdout", "output_type": "stream", "text": [ - "A morphism in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", " . . 1 . . . 2 1 . 1 1 . . 2 . . . 1 . . . . . . .\n", " . . . . . . . . . . . . . . . . . . . . . . 1 . .\n", @@ -1621,7 +1593,6 @@ "\n", "An isomorphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of <(2)>:\n", " . . 2 . . 1 . . 2 2 1 . . . . .\n", " 2 1 . . . . . . . . . . . 1 . .\n", @@ -1640,7 +1611,9 @@ " . . . . . . . . . . . . . . 1 .\n", " . . . . . . . . . . . . . . . 1\n", "\n", - "An isomorphism in Category of matrices over GF(3)\n" + "An isomorphism in Category of matrices over GF(3)\n", + "\n", + "A morphism in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -1744,17 +1717,12 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 3\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 3\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", " 1 2 .\n", " . 1 .\n", @@ -1762,7 +1730,6 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", " . . 1\n", " . . .\n", @@ -1770,13 +1737,14 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", " 1 1 .\n", " . 1 1\n", " . . 1\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -1826,19 +1794,17 @@ "name": "stdout", "output_type": "stream", "text": [ - "A morphism in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", " . 1 .\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of <(2)>:\n", "(an empty 0 x 3 matrix)\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "A morphism in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -1881,33 +1847,28 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 1\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 0\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", " 1\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", "(an empty 1 x 0 matrix)\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", "(an empty 0 x 0 matrix)\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -1934,7 +1895,7 @@ { "data": { "text/plain": [ - "GAP: Algebroid generated by the right quiver q_op(2)[a:1->1,b:2->1,c:2->2]" + "GAP: Algebroid( GF(3), FreeCategory( RightQuiver( \"q_op(2)[a:1->1,b:2->1,c:2->2]\" ) ) ) / relations" ] }, "execution_count": 60, @@ -1981,10 +1942,10 @@ "text": [ "Yoneda embedding functor:\n", "\n", - "Algebroid generated by the right quiver q_op(2)[a:1->1,b:2->1,c:2->2]\n", + "Algebroid( GF(3), FreeCategory( RightQuiver( \"q_op(2)[a:1->1,b:2->1,c:2->2]\" ) ) ) / relations\n", " |\n", " V\n", - "FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) )\n" + "FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) )\n" ] } ], @@ -2058,17 +2019,12 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 3\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 3\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", " . 1 .\n", " . . 1\n", @@ -2076,7 +2032,6 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", " 1 . .\n", " . 1 .\n", @@ -2084,13 +2039,14 @@ "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", " . 1 .\n", " . . 1\n", " 1 . .\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -2217,37 +2173,32 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 2\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 3\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", " 1 .\n", " 2 1\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", " . . 1\n", " . 2 .\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", " 1 1 .\n", " . 1 1\n", " . . 1\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -2338,33 +2289,28 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 1\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 1\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", " 1\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", " 1\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", " 1\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], @@ -2470,48 +2416,36 @@ "name": "stdout", "output_type": "stream", "text": [ - "An object in FunctorCategory( Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2], Category of matrices over GF(3) ) defined by the following data:\n", - "\n", - "\n", "Image of <(1)>:\n", "A vector space object over GF(3) of dimension 0\n", "\n", - "\n", "Image of <(2)>:\n", "A vector space object over GF(3) of dimension 3\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", "(an empty 0 x 0 matrix)\n", "\n", "A zero morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", "(an empty 0 x 3 matrix)\n", "\n", "A zero morphism in Category of matrices over GF(3)\n", "\n", - "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", " . 1 .\n", " . . 1\n", " 1 . .\n", "\n", - "A morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n", + "\n", + "An object in FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ) given by the above data\n" ] } ], "source": [ "Display( proj2 )" ] - }, - { - "cell_type": "code", - "execution_count": null, - "metadata": {}, - "outputs": [], - "source": [] } ], "metadata": { diff --git a/makefile b/makefile index 6661fa7..7202fdb 100644 --- a/makefile +++ b/makefile @@ -31,10 +31,6 @@ test-with-coverage: doc gap --quitonbreak --cover stats tst/testall.g echo 'LoadPackage("profiling"); OutputJsonCoverage("stats", "coverage.json");' | gap --quitonbreak -test-with-coverage-without-precompiled-code: doc - gap --quitonbreak --cover stats_no_precompiled_code tst/testall_no_precompiled_code.g - echo 'LoadPackage("profiling"); OutputJsonCoverage("stats_no_precompiled_code", "coverage_no_precompiled_code.json");' | gap --quitonbreak - test-spacing: grep -R "[^ [\"] " gap/*.gi && echo "Duplicate spaces found" && exit 1 || exit 0 grep -RE '[^ ] +$$' gap/* && echo "Trailing whitespace found" && exit 1 || exit 0 diff --git a/tst/100_LoadPackage.tst b/tst/100_LoadPackage.tst index a9c53f0..92cd7c6 100644 --- a/tst/100_LoadPackage.tst +++ b/tst/100_LoadPackage.tst @@ -3,6 +3,8 @@ # # This file tests if the package can be loaded without errors or warnings. # +# do not load suggested dependencies automatically +gap> PushOptions( rec( OnlyNeeded := true ) ); gap> package_loading_info_level := InfoLevel( InfoPackageLoading );; gap> SetInfoLevel( InfoPackageLoading, PACKAGE_ERROR );; gap> LoadPackage( "CatReps", false ); diff --git a/tst/testall_no_precompiled_code.g b/tst/testall_no_precompiled_code.g deleted file mode 100644 index 1e75698..0000000 --- a/tst/testall_no_precompiled_code.g +++ /dev/null @@ -1,21 +0,0 @@ -# SPDX-License-Identifier: GPL-2.0-or-later -# CatReps: Representations and cohomology of finite categories -# -# This file runs package tests without precompiled code. -# -PushOptions( - rec( - no_precompiled_code := true, - ) -); - -options := rec( - exitGAP := true, - testOptions := rec( - compareFunction := "uptowhitespace", - ), -); - -TestDirectory( DirectoriesPackageLibrary( "CatReps", "tst" ), options ); - -FORCE_QUIT_GAP( 1 ); # if we ever get here, there was an error diff --git a/upload_codecov.sh b/upload_codecov.sh index 66d59ff..77b485c 100755 --- a/upload_codecov.sh +++ b/upload_codecov.sh @@ -23,4 +23,4 @@ shasum -a 256 -c codecov.SHA256SUM # execute chmod +x codecov -./codecov -Z -f "coverage*.json" +./codecov -Z || ./codecov -Z || ./codecov -Z