diff --git a/PackageInfo.g b/PackageInfo.g index b78623d..1888a64 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2022.11-03", +Version := "2022.12-01", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), @@ -100,7 +100,7 @@ Dependencies := rec( GAP := ">= 4.12.1", NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], - [ "CAP", ">= 2022.11-06" ], + [ "CAP", ">= 2022.12-02" ], [ "MonoidalCategories", ">= 2021.08-01" ], [ "LinearAlgebraForCAP", ">= 2021.07-01" ], [ "FinSetsForCAP", ">= 2022.05-07" ], diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index f53a24f..b91c835 100644 --- a/examples/CategoryOfRepresentations.g +++ b/examples/CategoryOfRepresentations.g @@ -279,27 +279,27 @@ Display( Source( iso ) ); #! 1 1 . . . . . . . . . . . . . . . . . . . . . . . #! . 1 . . . . . . . . . . . . . . . . . . . . . . . #! 1 1 1 . . . . . . . . . . . . . . . . . . . . . . -#! . . . 1 2 . . . . . . . . . . . . . . . . . . . . -#! . . . . 1 . . . . . . . . . . . . . . . . . . . . -#! . . . 1 1 1 . . . . . . . . . . . . . . . . . . . -#! . . . . . . 1 2 . . . . . . . . . . . . . . . . . +#! . . . 1 . . . . . . . . . . . . . . . . . . . . . +#! . . . 1 1 . . . . . . . . . . . . . . . . . . . . +#! . . . . 1 1 . . . . . . . . . . . . . . . . . . . #! . . . . . . . 1 . . . . . . . . . . . . . . . . . -#! . . . . . . 1 1 1 . . . . . . . . . . . . . . . . +#! . . . . . . 2 2 . . . . . . . . . . . . . . . . . +#! . . . . . . 1 . 1 . . . . . . . . . . . . . . . . #! . . . . . . . . . 1 2 . . . . . . . . . . . . . . #! . . . . . . . . . . 1 . . . . . . . . . . . . . . -#! . . . . . . . . . 1 1 1 . . . . . . . . . . . . . +#! . . . . . . . . . 2 . 1 . . . . . . . . . . . . . #! . . . . . . . . . . . . 1 . . . . . . . . . . . . -#! . . . . . . . . . . . . . 1 2 . . . . . . . . . . -#! . . . . . . . . . . . . . . 1 . . . . . . . . . . -#! . . . . . . . . . . . . . 2 . 1 . . . . . . . . . -#! . . . . . . . . . . . . . . . . 2 2 . . . . . . . -#! . . . . . . . . . . . . . . . . 1 . . . . . . . . -#! . . . . . . . . . . . . . . . . 2 . 1 . . . . . . -#! . . . . . . . . . . . . . . . . . . . 1 2 . . . . -#! . . . . . . . . . . . . . . . . . . . . 1 . . . . -#! . . . . . . . . . . . . . . . . . . . 2 . 1 . . . -#! . . . . . . . . . . . . . . . . . . . . . . . 2 . -#! . . . . . . . . . . . . . . . . . . . . . . 1 2 2 +#! . . . . . . . . . . . . . 1 1 . . . . . . . . . . +#! . . . . . . . . . . . . . . 1 1 . . . . . . . . . +#! . . . . . . . . . . . . . . . 1 . . . . . . . . . +#! . . . . . . . . . . . . . . . . 1 1 . . . . . . . +#! . . . . . . . . . . . . . . . . . 1 1 . . . . . . +#! . . . . . . . . . . . . . . . . . . 1 . . . . . . +#! . . . . . . . . . . . . . . . . . . . 1 1 . . . . +#! . . . . . . . . . . . . . . . . . . . . 1 1 . . . +#! . . . . . . . . . . . . . . . . . . . . . 1 . . . +#! . . . . . . . . . . . . . . . . . . . . . . 1 1 . +#! . . . . . . . . . . . . . . . . . . . . . . . 1 1 #! . . . . . . . . . . . . . . . . . . . . . . . . 1 #! #! A morphism in Category of matrices over GF(3) @@ -317,19 +317,19 @@ Display( Source( iso ) ); #! . . . . . . . . . . . . . . . . #! . . . . . . . . . . . . . . . . #! . . . . . . . . . . . . . . . . -#! . . . . . 2 . . . . . . . . . . -#! . . . . . . . . 1 . . . . . . . -#! . . . . . . 1 . . . . . . . . . -#! . . . . . . 1 2 . . . . . . . . -#! . . . . . . . . . . . 2 . . . . -#! . . . . . . . . . . . 2 . . . . -#! . . . . . . . . . . 1 . . . . . -#! . . . . . . . . . . . . . . 1 . +#! . . . 1 . 2 . . . . . . . . . . +#! . . . . . . 1 . 2 . . . . . . . +#! . . . . . . . 1 2 . . . . . . . +#! . . . . . . . . 2 . . . . . . . +#! . . . . . . . . . . 1 2 . . . . +#! . . . . . . . . . . . 1 . . . . +#! . . . . . . . . . . . . . . . . +#! . . . . . . . . . . . . . 2 1 . +#! . . . . . . . . . . . . . . 2 . #! . . . . . . . . . . . . . . . . -#! . . . . . . . . . . . . . 2 . . -#! . . . . . . . . . . . . . . . 2 #! . . . . . . . . . . . . . . . 1 #! . . . . . . . . . . . . . . . . +#! . . . . . . . . . . . . . . . . #! #! A morphism in Category of matrices over GF(3) #! @@ -337,12 +337,12 @@ Display( Source( iso ) ); #! 1 . . . . . . . . . . . . . . . #! . 1 1 . . . . . . . . . . . . . #! 1 . 1 . . . . . . . . . . . . . -#! . . . 1 1 . . . . . . . . . . . -#! . . . . 1 1 . . . . . . . . . . #! . . . . . 1 . . . . . . . . . . -#! . . . . . . 1 . . . . . . . . . -#! . . . . . . . 1 1 . . . . . . . -#! . . . . . . 2 . 1 . . . . . . . +#! . . . . 1 1 . . . . . . . . . . +#! . . . 2 . 2 . . . . . . . . . . +#! . . . . . . 1 1 2 . . . . . . . +#! . . . . . . . 1 2 . . . . . . . +#! . . . . . . . . 1 . . . . . . . #! . . . . . . . . . 1 1 . . . . . #! . . . . . . . . . . 1 1 . . . . #! . . . . . . . . . . . 1 . . . . @@ -361,28 +361,28 @@ Display( iso ); #! . . 1 . . . 2 1 . 1 1 . . 2 . . . 1 . . . . . . . #! . . . . . . . . . . . . . . . . . . . . . . 1 . . #! . 1 2 . 2 1 1 2 2 2 1 . . 2 . . 1 . . 2 2 . . 1 . -#! . . 1 . . . 1 . . 1 . . 1 2 . . . 1 . . . 1 . . . -#! . . . . . . . 1 . . . 2 2 . . . . . . . . . 1 . . +#! . . . . . . . 2 . . . 1 1 . . . . . . . . . 2 . . +#! . . 1 . . . 1 1 . 1 . 2 . 2 . . . 1 . . . 1 1 . . #! . 1 2 . 2 . 1 2 2 2 1 . . 2 . . 1 . . 2 . . . 1 . +#! . . 1 . . . 1 1 . 1 . . 2 2 . . . 1 . . . 1 1 . . #! . . 1 . . . 1 . . 1 . 1 1 2 . . . 1 . . . 1 . . . -#! . . . . . . . 1 . . . 2 1 . . . . . . . . . 1 . . #! . 1 1 . 2 . 2 . 2 1 1 . . . . . 1 . . 2 . . . 1 . -#! . . . . . . . . . 2 . 1 1 2 . . . 1 . . . 1 . . . -#! . . . . . . . . . . . . 2 . 2 . . . . . . . 1 . . +#! . . . . . . . . . 1 . 2 . 1 1 . . 2 . . . 2 2 . . +#! . . . . . . . . . . . . 1 . 1 . . . . . . . 2 . . #! . . . . . . . . 2 . 1 . . . . . 1 . . 2 . . . 1 . -#! . . 1 . . . 2 1 . 1 1 . . 2 . . . 1 . 2 . 2 . 1 . -#! . 2 . . 1 2 . . 1 . 1 . . 2 . . 1 2 . . 1 . . . . -#! . . 1 . . . 2 1 . 1 1 . . 2 . . . 2 . . . 1 . . . -#! 1 . . 2 . 2 . . 1 1 1 . . 1 . 2 1 2 . 2 . . . 1 . -#! . 1 1 . 2 1 2 1 2 1 . . . . . . . . . . . . . . . -#! . 1 . . 2 1 . . 2 . 2 . . 1 . . . . . . . . . . . -#! 2 2 1 1 1 . 2 1 . . 1 . . . . . . 2 . . . 1 . . . -#! . 2 2 . . 2 1 2 . 2 . . . 1 . . 1 2 . . 1 . . . . +#! . . 2 . . . 1 2 . 2 2 . . 1 . . . 2 . 2 . 1 . 1 . +#! 2 . 1 1 . 1 2 1 2 . . . . 1 . 1 . . . 1 1 . . 2 . +#! . 2 . . 1 2 . . 1 . 1 . . 2 . . 1 . . . 1 2 . . . +#! . . 2 . . . 1 2 . 2 2 . . 1 . . . 1 . . . 2 . . . +#! 2 . . 1 . 1 . . 2 2 2 . . 2 . . . 2 . . . 1 . . . +#! . 2 . . 1 2 . . 1 . 1 . . 2 . . . . . . . . . . . +#! . . 2 . . . 1 2 . 2 2 . . 1 . . . . . . . . . . . +#! 1 . . . 2 2 . . 2 . 1 . . 1 . 2 2 1 . 2 1 . . 1 . +#! . 1 . . . 1 . . . 1 2 . . 2 . . 2 2 . . 2 2 . . . #! . . 1 . . . 2 1 . . 1 . . . . . . 2 . . . 1 . . . -#! 1 1 1 . 2 . 2 1 2 1 1 . . . . 2 1 2 . 2 . . . 1 . -#! 2 2 . 1 1 . . . . . . . . . . 1 2 1 2 1 . . . . . -#! 1 2 1 2 1 1 2 1 2 1 . . . . . 2 . . 1 . 2 . . 1 . -#! . . 2 . . . 1 2 . 2 2 . . 1 . . . 1 . . . 2 . . 1 +#! 1 . . 2 . 2 . . 1 . 1 . . 2 . 2 2 . 1 1 1 1 . 2 2 +#! . 1 . . 2 1 . . 2 . 2 . . 1 . . 2 2 . 1 2 2 . 1 1 +#! . . 1 . . . 2 1 . 1 1 . . 2 . . . 2 . . . 1 . . 2 #! #! An isomorphism in Category of matrices over GF(3) #! @@ -390,12 +390,12 @@ Display( iso ); #! . . 2 . . 1 . . 2 2 1 . . . . . #! 2 1 . . . . . . . . . . . 1 . . #! . 2 1 . 2 . 1 . . . . . . . 1 . -#! . 2 2 2 . 2 . . . . . . 1 . . . -#! . . 2 . . 2 . 2 . 2 2 . . 1 . . -#! . . . . . . 1 . . 2 1 2 . . 1 . -#! . . . . . . . . . . 1 . . . . . -#! . . . . . 1 . 1 . 2 . 1 . 1 . . +#! . . 2 . . 2 . 2 . . . 1 . 1 . . +#! . 2 . 2 . 2 . . . . . . 1 1 . . +#! . . 2 . . 2 1 2 . 2 2 . . 1 1 . +#! . . . . . 1 1 1 . . . 1 . 1 1 . #! . . . . . . 1 . . 1 . 1 . . 1 . +#! . . . . . . . . . . 1 . . . . . #! . . . 1 . . . . . . . . . . . . #! . . . . . . . 1 . . . . . . . . #! . . . . . . . . . . . 1 . . . . @@ -423,16 +423,16 @@ Display( six ); #! A vector space object over GF(3) of dimension 3 #! #! Image of (1)-[{ Z(3)^0*(a) }]->(1): -#! 1 2 . -#! . 1 . -#! 2 . 1 +#! 1 1 . +#! . 1 1 +#! . . 1 #! #! A morphism in Category of matrices over GF(3) #! #! Image of (1)-[{ Z(3)^0*(b) }]->(2): -#! . . 1 +#! . 2 1 +#! . . 2 #! . . . -#! . 2 . #! #! A morphism in Category of matrices over GF(3) #! @@ -450,7 +450,7 @@ emb := EmbeddingOfSumOfImagesOfAllMorphisms( unit, six ); #! <(1)->1x3, (2)->0x3> Display( emb ); #! Image of <(1)>: -#! . 1 . +#! . . 1 #! #! A morphism in Category of matrices over GF(3) #! @@ -555,14 +555,14 @@ Display( five ); #! A vector space object over GF(3) of dimension 3 #! #! Image of (1)-[{ Z(3)^0*(a) }]->(1): -#! 1 . -#! 2 1 +#! 1 1 +#! . 1 #! #! A morphism in Category of matrices over GF(3) #! #! Image of (1)-[{ Z(3)^0*(b) }]->(2): -#! . . 1 -#! . 2 . +#! . 2 1 +#! . . 2 #! #! A morphism in Category of matrices over GF(3) #! diff --git a/examples/DecomposeOnceByRandomEndomorphism.g b/examples/DecomposeOnceByRandomEndomorphism.g index 6fcc6e6..2594855 100644 --- a/examples/DecomposeOnceByRandomEndomorphism.g +++ b/examples/DecomposeOnceByRandomEndomorphism.g @@ -141,8 +141,8 @@ Display( S ); #! A vector space object over GF(3) of dimension 16 #! #! Image of (1)-[{ Z(3)^0*(a) }]->(1): -#! . 2 . . . . . . . . . . . . . . . . . . . . . . . -#! 1 2 2 . . . . . . . . . . . . . . . . . . . . . . +#! 1 1 . . . . . . . . . . . . . . . . . . . . . . . +#! . 1 1 . . . . . . . . . . . . . . . . . . . . . . #! . . 1 . . . . . . . . . . . . . . . . . . . . . . #! . . . 1 1 . . . 1 1 . . . . . . . . . . . . . . . #! . . . . 1 1 . . . 1 1 . . . . . . . . . . . . . . @@ -150,29 +150,29 @@ Display( S ); #! . . . . . . 1 1 . . . 1 1 . . . . . . . . . . . . #! . . . . . . . 1 . . . . 1 . . . . . . . . . . . . #! . . . . . . . . 1 1 . . . 1 1 . . . . . . . . . . -#! . . . . . . . . . 1 1 . . . 1 1 . . . . . . . . . -#! . . . . . . . . . . 1 . . . . 1 . . . . . . . . . -#! . . . . . . . . . . . 1 1 . . . 1 1 . . . . . . . -#! . . . . . . . . . . . . 1 . . . . 1 . . . . . . . -#! . . . . . . . . . . . . . 1 1 . . . . . . . . . . -#! . . . . . . . . . . . . . . 1 1 . . . . . . . . . -#! . . . . . . . . . . . . . . . 1 . . . . . . . . . -#! . . . . . . . . . . . . . . . . 1 1 . . . . . . . -#! . . . . . . . . . . . . . . . . . 1 . . . . . . . -#! . . . . . . . . . . . . . . . . . . 1 1 . 1 1 . . -#! . . . . . . . . . . . . . . . . . . . 1 1 . 1 1 . -#! . . . . . . . . . . . . . . . . . . . . 1 . . 1 . -#! . . . . . . . . . . . . . . . . . . . . . 1 1 . . -#! . . . . . . . . . . . . . . . . . . . . . . 1 1 . -#! . . . . . . . . . . . . . . . . . . . . . . . 1 . -#! . . . . . . . . . . . . . . . . . . . . . . . . 1 +#! . . . . . . . . . 1 1 . . . 1 1 . . . . . . . . . +#! . . . . . . . . . . 1 . . . . 1 . . . . . . . . . +#! . . . . . . . . . . . 1 1 . . . 1 1 . . . . . . . +#! . . . . . . . . . . . . 1 . . . . 1 . . . . . . . +#! . . . . . . . . . . . . . 1 1 . . . . . . . . . . +#! . . . . . . . . . . . . . . 1 1 . . . . . . . . . +#! . . . . . . . . . . . . . . . 1 . . . . . . . . . +#! . . . . . . . . . . . . . . . . 1 1 . . . . . . . +#! . . . . . . . . . . . . . . . . . 1 . . . . . . . +#! . . . . . . . . . . . . . . . . . . 1 1 . 1 1 . . +#! . . . . . . . . . . . . . . . . . . . 1 1 . 1 1 . +#! . . . . . . . . . . . . . . . . . . . . 1 . . 1 . +#! . . . . . . . . . . . . . . . . . . . . . 1 1 . . +#! . . . . . . . . . . . . . . . . . . . . . . 1 1 . +#! . . . . . . . . . . . . . . . . . . . . . . . 1 . +#! . . . . . . . . . . . . . . . . . . . . . . . . 1 #! #! A morphism in Category of matrices over GF(3) #! #! Image of (1)-[{ Z(3)^0*(b) }]->(2): -#! 2 . . . . . . . . . . . . . . . #! 1 . . . . . . . . . . . . . . . #! . . . . . . . . . . . . . . . . +#! . . . . . . . . . . . . . . . . #! . . . . . . 1 . . . . . . . . . #! . . . . . . . 1 . . . . . . . . #! . . . . . . . . . . . . . . . . @@ -233,9 +233,9 @@ Display( S ); #! @BeginExample Display( iota ); #! Image of <(1)>: -#! 2 2 . 1 1 . . . . . . . . . . 1 2 1 2 1 . . . . . -#! 1 2 1 2 1 1 2 1 2 1 . . . . . 2 . . 1 . 2 . . 1 . -#! . . 2 . . . 1 2 . 2 2 . . 1 . . . 1 . . . 2 . . 1 +#! 1 . . 2 . 2 . . 1 . 1 . . 2 . 2 2 . 1 1 1 1 . 2 2 +#! . 1 . . 2 1 . . 2 . 2 . . 1 . . 2 2 . 1 2 2 . 1 1 +#! . . 1 . . . 2 1 . 1 1 . . 2 . . . 2 . . . 1 . . 2 #! #! A morphism in Category of matrices over GF(3) #! @@ -255,16 +255,16 @@ Display( Source( iota ) ); #! A vector space object over GF(3) of dimension 1 #! #! Image of (1)-[{ Z(3)^0*(a) }]->(1): -#! . 2 . -#! 1 2 2 +#! 1 1 . +#! . 1 1 #! . . 1 #! #! A morphism in Category of matrices over GF(3) #! #! Image of (1)-[{ Z(3)^0*(b) }]->(2): -#! 2 #! 1 #! . +#! . #! #! A morphism in Category of matrices over GF(3) #! diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb index 088c43d..de157f0 100644 --- a/examples/notebooks/CategoryOfRepresentations.ipynb +++ b/examples/notebooks/CategoryOfRepresentations.ipynb @@ -1540,27 +1540,27 @@ " 1 1 . . . . . . . . . . . . . . . . . . . . . . .\n", " . 1 . . . . . . . . . . . . . . . . . . . . . . .\n", " 1 1 1 . . . . . . . . . . . . . . . . . . . . . .\n", - " . . . 1 2 . . . . . . . . . . . . . . . . . . . .\n", - " . . . . 1 . . . . . . . . . . . . . . . . . . . .\n", - " . . . 1 1 1 . . . . . . . . . . . . . . . . . . .\n", - " . . . . . . 1 2 . . . . . . . . . . . . . . . . .\n", + " . . . 1 . . . . . . . . . . . . . . . . . . . . .\n", + " . . . 1 1 . . . . . . . . . . . . . . . . . . . .\n", + " . . . . 1 1 . . . . . . . . . . . . . . . . . . .\n", " . . . . . . . 1 . . . . . . . . . . . . . . . . .\n", - " . . . . . . 1 1 1 . . . . . . . . . . . . . . . .\n", + " . . . . . . 2 2 . . . . . . . . . . . . . . . . .\n", + " . . . . . . 1 . 1 . . . . . . . . . . . . . . . .\n", " . . . . . . . . . 1 2 . . . . . . . . . . . . . .\n", " . . . . . . . . . . 1 . . . . . . . . . . . . . .\n", - " . . . . . . . . . 1 1 1 . . . . . . . . . . . . .\n", + " . . . . . . . . . 2 . 1 . . . . . . . . . . . . .\n", " . . . . . . . . . . . . 1 . . . . . . . . . . . .\n", - " . . . . . . . . . . . . . 1 2 . . . . . . . . . .\n", - " . . . . . . . . . . . . . . 1 . . . . . . . . . .\n", - " . . . . . . . . . . . . . 2 . 1 . . . . . . . . .\n", - " . . . . . . . . . . . . . . . . 2 2 . . . . . . .\n", - " . . . . . . . . . . . . . . . . 1 . . . . . . . .\n", - " . . . . . . . . . . . . . . . . 2 . 1 . . . . . .\n", - " . . . . . . . . . . . . . . . . . . . 1 2 . . . .\n", - " . . . . . . . . . . . . . . . . . . . . 1 . . . .\n", - " . . . . . . . . . . . . . . . . . . . 2 . 1 . . .\n", - " . . . . . . . . . . . . . . . . . . . . . . . 2 .\n", - " . . . . . . . . . . . . . . . . . . . . . . 1 2 2\n", + " . . . . . . . . . . . . . 1 1 . . . . . . . . . .\n", + " . . . . . . . . . . . . . . 1 1 . . . . . . . . .\n", + " . . . . . . . . . . . . . . . 1 . . . . . . . . .\n", + " . . . . . . . . . . . . . . . . 1 1 . . . . . . .\n", + " . . . . . . . . . . . . . . . . . 1 1 . . . . . .\n", + " . . . . . . . . . . . . . . . . . . 1 . . . . . .\n", + " . . . . . . . . . . . . . . . . . . . 1 1 . . . .\n", + " . . . . . . . . . . . . . . . . . . . . 1 1 . . .\n", + " . . . . . . . . . . . . . . . . . . . . . 1 . . .\n", + " . . . . . . . . . . . . . . . . . . . . . . 1 1 .\n", + " . . . . . . . . . . . . . . . . . . . . . . . 1 1\n", " . . . . . . . . . . . . . . . . . . . . . . . . 1\n", "\n", "A morphism in Category of matrices over GF(3)\n", @@ -1578,19 +1578,19 @@ " . . . . . . . . . . . . . . . .\n", " . . . . . . . . . . . . . . . .\n", " . . . . . . . . . . . . . . . .\n", - " . . . . . 2 . . . . . . . . . .\n", - " . . . . . . . . 1 . . . . . . .\n", - " . . . . . . 1 . . . . . . . . .\n", - " . . . . . . 1 2 . . . . . . . .\n", - " . . . . . . . . . . . 2 . . . .\n", - " . . . . . . . . . . . 2 . . . .\n", - " . . . . . . . . . . 1 . . . . .\n", - " . . . . . . . . . . . . . . 1 .\n", + " . . . 1 . 2 . . . . . . . . . .\n", + " . . . . . . 1 . 2 . . . . . . .\n", + " . . . . . . . 1 2 . . . . . . .\n", + " . . . . . . . . 2 . . . . . . .\n", + " . . . . . . . . . . 1 2 . . . .\n", + " . . . . . . . . . . . 1 . . . .\n", + " . . . . . . . . . . . . . . . .\n", + " . . . . . . . . . . . . . 2 1 .\n", + " . . . . . . . . . . . . . . 2 .\n", " . . . . . . . . . . . . . . . .\n", - " . . . . . . . . . . . . . 2 . .\n", - " . . . . . . . . . . . . . . . 2\n", " . . . . . . . . . . . . . . . 1\n", " . . . . . . . . . . . . . . . .\n", + " . . . . . . . . . . . . . . . .\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", @@ -1598,12 +1598,12 @@ " 1 . . . . . . . . . . . . . . .\n", " . 1 1 . . . . . . . . . . . . .\n", " 1 . 1 . . . . . . . . . . . . .\n", - " . . . 1 1 . . . . . . . . . . .\n", - " . . . . 1 1 . . . . . . . . . .\n", " . . . . . 1 . . . . . . . . . .\n", - " . . . . . . 1 . . . . . . . . .\n", - " . . . . . . . 1 1 . . . . . . .\n", - " . . . . . . 2 . 1 . . . . . . .\n", + " . . . . 1 1 . . . . . . . . . .\n", + " . . . 2 . 2 . . . . . . . . . .\n", + " . . . . . . 1 1 2 . . . . . . .\n", + " . . . . . . . 1 2 . . . . . . .\n", + " . . . . . . . . 1 . . . . . . .\n", " . . . . . . . . . 1 1 . . . . .\n", " . . . . . . . . . . 1 1 . . . .\n", " . . . . . . . . . . . 1 . . . .\n", @@ -1653,28 +1653,28 @@ " . . 1 . . . 2 1 . 1 1 . . 2 . . . 1 . . . . . . .\n", " . . . . . . . . . . . . . . . . . . . . . . 1 . .\n", " . 1 2 . 2 1 1 2 2 2 1 . . 2 . . 1 . . 2 2 . . 1 .\n", - " . . 1 . . . 1 . . 1 . . 1 2 . . . 1 . . . 1 . . .\n", - " . . . . . . . 1 . . . 2 2 . . . . . . . . . 1 . .\n", + " . . . . . . . 2 . . . 1 1 . . . . . . . . . 2 . .\n", + " . . 1 . . . 1 1 . 1 . 2 . 2 . . . 1 . . . 1 1 . .\n", " . 1 2 . 2 . 1 2 2 2 1 . . 2 . . 1 . . 2 . . . 1 .\n", + " . . 1 . . . 1 1 . 1 . . 2 2 . . . 1 . . . 1 1 . .\n", " . . 1 . . . 1 . . 1 . 1 1 2 . . . 1 . . . 1 . . .\n", - " . . . . . . . 1 . . . 2 1 . . . . . . . . . 1 . .\n", " . 1 1 . 2 . 2 . 2 1 1 . . . . . 1 . . 2 . . . 1 .\n", - " . . . . . . . . . 2 . 1 1 2 . . . 1 . . . 1 . . .\n", - " . . . . . . . . . . . . 2 . 2 . . . . . . . 1 . .\n", + " . . . . . . . . . 1 . 2 . 1 1 . . 2 . . . 2 2 . .\n", + " . . . . . . . . . . . . 1 . 1 . . . . . . . 2 . .\n", " . . . . . . . . 2 . 1 . . . . . 1 . . 2 . . . 1 .\n", - " . . 1 . . . 2 1 . 1 1 . . 2 . . . 1 . 2 . 2 . 1 .\n", - " . 2 . . 1 2 . . 1 . 1 . . 2 . . 1 2 . . 1 . . . .\n", - " . . 1 . . . 2 1 . 1 1 . . 2 . . . 2 . . . 1 . . .\n", - " 1 . . 2 . 2 . . 1 1 1 . . 1 . 2 1 2 . 2 . . . 1 .\n", - " . 1 1 . 2 1 2 1 2 1 . . . . . . . . . . . . . . .\n", - " . 1 . . 2 1 . . 2 . 2 . . 1 . . . . . . . . . . .\n", - " 2 2 1 1 1 . 2 1 . . 1 . . . . . . 2 . . . 1 . . .\n", - " . 2 2 . . 2 1 2 . 2 . . . 1 . . 1 2 . . 1 . . . .\n", + " . . 2 . . . 1 2 . 2 2 . . 1 . . . 2 . 2 . 1 . 1 .\n", + " 2 . 1 1 . 1 2 1 2 . . . . 1 . 1 . . . 1 1 . . 2 .\n", + " . 2 . . 1 2 . . 1 . 1 . . 2 . . 1 . . . 1 2 . . .\n", + " . . 2 . . . 1 2 . 2 2 . . 1 . . . 1 . . . 2 . . .\n", + " 2 . . 1 . 1 . . 2 2 2 . . 2 . . . 2 . . . 1 . . .\n", + " . 2 . . 1 2 . . 1 . 1 . . 2 . . . . . . . . . . .\n", + " . . 2 . . . 1 2 . 2 2 . . 1 . . . . . . . . . . .\n", + " 1 . . . 2 2 . . 2 . 1 . . 1 . 2 2 1 . 2 1 . . 1 .\n", + " . 1 . . . 1 . . . 1 2 . . 2 . . 2 2 . . 2 2 . . .\n", " . . 1 . . . 2 1 . . 1 . . . . . . 2 . . . 1 . . .\n", - " 1 1 1 . 2 . 2 1 2 1 1 . . . . 2 1 2 . 2 . . . 1 .\n", - " 2 2 . 1 1 . . . . . . . . . . 1 2 1 2 1 . . . . .\n", - " 1 2 1 2 1 1 2 1 2 1 . . . . . 2 . . 1 . 2 . . 1 .\n", - " . . 2 . . . 1 2 . 2 2 . . 1 . . . 1 . . . 2 . . 1\n", + " 1 . . 2 . 2 . . 1 . 1 . . 2 . 2 2 . 1 1 1 1 . 2 2\n", + " . 1 . . 2 1 . . 2 . 2 . . 1 . . 2 2 . 1 2 2 . 1 1\n", + " . . 1 . . . 2 1 . 1 1 . . 2 . . . 2 . . . 1 . . 2\n", "\n", "An isomorphism in Category of matrices over GF(3)\n", "\n", @@ -1682,12 +1682,12 @@ " . . 2 . . 1 . . 2 2 1 . . . . .\n", " 2 1 . . . . . . . . . . . 1 . .\n", " . 2 1 . 2 . 1 . . . . . . . 1 .\n", - " . 2 2 2 . 2 . . . . . . 1 . . .\n", - " . . 2 . . 2 . 2 . 2 2 . . 1 . .\n", - " . . . . . . 1 . . 2 1 2 . . 1 .\n", - " . . . . . . . . . . 1 . . . . .\n", - " . . . . . 1 . 1 . 2 . 1 . 1 . .\n", + " . . 2 . . 2 . 2 . . . 1 . 1 . .\n", + " . 2 . 2 . 2 . . . . . . 1 1 . .\n", + " . . 2 . . 2 1 2 . 2 2 . . 1 1 .\n", + " . . . . . 1 1 1 . . . 1 . 1 1 .\n", " . . . . . . 1 . . 1 . 1 . . 1 .\n", + " . . . . . . . . . . 1 . . . . .\n", " . . . 1 . . . . . . . . . . . .\n", " . . . . . . . 1 . . . . . . . .\n", " . . . . . . . . . . . 1 . . . .\n", @@ -1815,16 +1815,16 @@ "A vector space object over GF(3) of dimension 3\n", "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", - " 1 2 .\n", - " . 1 .\n", - " 2 . 1\n", + " 1 1 .\n", + " . 1 1\n", + " . . 1\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", - " . . 1\n", + " . 2 1\n", + " . . 2\n", " . . .\n", - " . 2 .\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", @@ -1889,7 +1889,7 @@ "output_type": "stream", "text": [ "Image of <(1)>:\n", - " . 1 .\n", + " . . 1\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", @@ -2291,14 +2291,14 @@ "A vector space object over GF(3) of dimension 3\n", "\n", "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", - " 1 .\n", - " 2 1\n", + " 1 1\n", + " . 1\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", - " . . 1\n", - " . 2 .\n", + " . 2 1\n", + " . . 2\n", "\n", "A morphism in Category of matrices over GF(3)\n", "\n", @@ -2417,7 +2417,7 @@ "A morphism in Category of matrices over GF(3)\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", @@ -2577,7 +2577,7 @@ }, "celltoolbar": "Slideshow", "kernelspec": { - "display_name": "Julia 1.8.1", + "display_name": "Julia 1.8.2", "language": "julia", "name": "julia-1.8" }, @@ -2585,7 +2585,7 @@ "file_extension": ".jl", "mimetype": "application/julia", "name": "julia", - "version": "1.8.1" + "version": "1.8.2" } }, "nbformat": 4,