-
Notifications
You must be signed in to change notification settings - Fork 9
Open
Description
I suspect this is a bug in recog, but I don't have time to dig deeper. Alternatively: a bug / misfeature in GAP itself, because it doesn't implement CopySubVector for non-compressed matrices.
gap> TestExtraspecialNormalizerInSU(13, 1, 25);
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `CopySubVector' on 4 arguments at /Users/mhorn/Projekte/GAP/gap/lib/methsel2.g:250 called from
CopySubVector( m[k], v, what, where
); at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/matrix.gi:607 called from
RECOG.ExtractLowStuff( x, curlay, ri!.blocks, lens, basisOfFieldExtension
) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/matrix.gi:667 called from
CallFuncList( findgensNmeth( ri ).method,
Concatenation( [ ri ], findgensNmeth( ri ).args )
) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/base/recognition.gi:590 called from
RecogniseGeneric( Group( List( GeneratorsOfGroup( H ), function ( x )
return ImageElm( Homom( ri ), x );
end ) ), methodsforimage( ri ), depthString, InitialDataForImageRecogNode( ri )
) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/base/recognition.gi:563 called from
RecogniseGeneric( N, methoddb, depthString, InitialDataForKernelRecogNode( ri )
) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/base/recognition.gi:641 called from
RecogniseGeneric( N, methoddb, depthString, InitialDataForKernelRecogNode( ri )
) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/base/recognition.gi:641 called from
RecogniseGeneric( Group( List( GeneratorsOfGroup( H ), function ( x )
return ImageElm( Homom( ri ), x );
end ) ), methodsforimage( ri ), depthString, InitialDataForImageRecogNode( ri )
) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/base/recognition.gi:563 called from
RecogniseGeneric( G, FindHomDbMatrix, "", rec(
)
) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/recog/gap/base/recognition.gi:112 called from
RecogniseGroup( G
) at /Users/mhorn/Projekte/GAP/repos/pkg/gap-packages/ClassicalMaximals/tst/utils.g:10 called from
CheckSize( G ); at *stdin*:16 called from
<function "TestExtraspecialNormalizerInSU">( <arguments> )
called from read-eval loop at *errin*:1
Metadata
Metadata
Assignees
Labels
No labels