Algebroids: Assertion failure in CategoryFromDataTables

[kamalsaleh]

gap> LoadPackage( "Algebroids" );
# true

gap> q := RightQuiver( "q(*)[a:*->*,b:*->*,c:*->*]" );
# q(*)[a:*->*,b:*->*,c:*->*]

gap> F := FreeCategory( q );
# FreeCategory( RightQuiver( "q(*)[a:*->*,b:*->*,c:*->*]" ) )

gap> C := F / [ [ F.aaaaaaa, F.a ], [F.bbbbbb, F.b], [F.cccccc, F.c], [ F.ab, F.c ], [ F.ba, F.c ], [ F.ac, F.b ], [ F.ca, F.b ] ];
# FreeCategory( RightQuiver( "q(*)[a:*->*,b:*->*,c:*->*]" ) ) / relations

gap> RangeCategoryOfHomomorphismStructure( C );
# SkeletalFinSets

gap> CategoryFromDataTables( C );
Error, Assertion failure in
  pos <> fail at /home/kamal/.gap/pkg/CAP_project/CAP/gap/ToolsForCategories.gi:1284 called from 
SafePosition( mors, g ) at /home/kamal/.gap/pkg/CategoricalTowers/Algebroids/gap/FpCategories.gi:188 called from
func( C[i] ) at /home/kamal/Software/gap-4.12.1/lib/coll.gi:663 called from
List( ArrowList( path ), function ( g )
      return -1 + SafePosition( mors, g );
  end ) at /home/kamal/.gap/pkg/CategoricalTowers/Algebroids/gap/FpCategories.gi:188 called from
func( pair[1] ) at /home/kamal/.gap/pkg/CategoricalTowers/Algebroids/gap/FpCategories.gi:191 called from
func( C[i] ) at /home/kamal/Software/gap-4.12.1/lib/coll.gi:663 called from
...  at *stdin*:51
you may 'return;'

brk> mors;
[ (a), (b), (b) ]

brk> g;
(c)

[mohamed-barakat]

Here is the source of the bug:

gap> SetOfGeneratingMorphisms( C );
[ (*)-[(a)]->(*), (*)-[(b)]->(*), (*)-[(b)]->(*) ]

[mohamed-barakat]

Ah, b and c are equal by the relations, a corner case not taken care of:

gap> C.b = C.c;
true