search

homalg-project / CAP_project

CAP project -- Categories, Algorithms, and Programming
https://homalg-project.github.io/docs/CAP_project-based/
24 stars 18 forks source link

Bug in IsWellDefinedForObjects method in adelman categories #476

Closed kamalsaleh closed 4 years ago

kamalsaleh commented 4 years ago 
LoadPackage( "Bialgebroids" );;
LoadPackage( "FreydCategoriesForCAP" );;
snake_quiver := RightQuiver( "Q(6)[a:1->2,b:2->3,c:3->4]" );;
kQ := PathAlgebra( HomalgFieldOfRationals(), snake_quiver );;
Aoid := Algebroid( kQ, [ kQ.abc ] );;
add := AdditiveClosure( Aoid );;
adelman := AdelmanCategory( add );;
o := Aoid.1/add/adelman;;
z := ZeroObject( adelman );;
IsWellDefined( o );
true
IsWellDefined( z );
true
IsWellDefined( DirectSum( o, z ) );
false
sebastianpos commented 4 years ago

Thanks, it turned out to be a problem in the additive closure category: the handling of empty matrices in the function computing the universal morphism into direct sums was wrong.

kamalsaleh commented 4 years ago

Thank you for the quick fix :)