homalg-project / catreps Goto Github PK

gap> zero;
<(1)->0, (2)->0; (a)->0x0, (b)->0x0, (c)->0x0>
gap> etas := WeakDirectSumDecomposition( zero );
Error, cannot convert float -inf to integer in
Int( Log2( Float( d ) ) ) at /home/user/.gap/pkg/FunctorCategories/gap/DirectSumDecomposition.gi:23 called from
DecomposeOnceByRandomEndomorphism( Source( eta )
) at /home/user/.gap/pkg/FunctorCategories/gap/DirectSumDecomposition.gi:80 called from
<function "WeakDirectSumDecomposition for an object in a Hom-category">( )
called from read-eval loop at stdin:2
#I Options stack has been reset

Should I commit the new version that is now in my (private) repo bachelorarbeit/catreps-seminar/CategoryOfRepresentations.ipynb?

gap> etas := WeakDirectSumDecomposition( fortyone );;
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `UnionOfRowsOp' on 2 arguments at /home/user/gap-4.10.2/lib/methsel2.g:250 called from
UnionOfRowsOp( arg, arg[1] ) at /home/user/.gap/pkg/homalg_project/Gauss/gap/GaussDense.gi:503 called from
UnionOfRows( result.coeffs, result.relations
) at /home/user/.gap/pkg/homalg_project/GaussForHomalg/gap/GaussFQI.gi:80 called from
RP!.RowReducedEchelonForm( M, T
) at /home/user/.gap/pkg/homalg_project/MatricesForHomalg/gap/Service.gi:203 called from
RowReducedEchelonForm( M, TT
) at /home/user/.gap/pkg/homalg_project/MatricesForHomalg/gap/Service.gi:2288 called from
BasisOfRowsCoeff( B, C ) at /home/user/.gap/pkg/homalg_project/MatricesForHomalg/gap/Service.gi:2566 called from
... at stdin:1
type 'quit;' to quit to outer loop

Example:

GF3 := HomalgRingOfIntegers(3);
ccat := ConcreteCategoryForCAP( [ [1,1,1], [4,5,6], [,,,5,6,4] ] );
relEndo := RelationsOfEndomorphisms( GF3, ccat );

in the inner while loop, only n is increased but one never leaves the loop to increase m. So with m = 0,

IsCongruentForMorphisms( mor^(m+n), mor^m )

is looking for a power n such that (MapOfFinSets( [1,2,3], [ [1,1], [2,1], [3,1] ], [1,2,3] ))^(0+n) = MapOfFinSets([ [ 1, 2, 3 ], [ [ 1, 1 ], [ 2, 2 ], [ 3, 3 ] ], [ 1, 2, 3 ] ] ) which is hopeless.