Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Error, the recognition described by this recognition node has failed #302

Open
fingolfin opened this issue Nov 18, 2021 · 2 comments
Open
Labels
bug: unexpected error A computation runs into an error loop when it should not have bug Any bug should have this label, even if it also has a more generic label

Comments

@fingolfin
Copy link
Member

The attached problematic input was extracted from the ClassicalMaximals package test suite: bug1.txt

Reading that file with the latest recog dev version gives this:

gap> Read("bug1.txt");
#I  Giving up desperately...
F dim=   8 field=9  0
<failed recognition node GoProjective Dim=8 Field=9
 F:<failed recognition node (projective) C6 Dim=8 Field=9
    F:<recognition node GoProjective Dim=2 Field=2
       F:<recognition node (projective) ClassicalNatural_PSL2Even Size=6 Dim=2 Field=2>
       K:<trivial kernel>
    K:<failed recognition node (projective) C3C5 Dim=8 Field=9
       F:<failed recognition node (projective) KroneckerProduct Dim=8 Field=9
          F:<recognition node (projective) C3C5 Dim=2 Field=9
             F:<recognition node DiagonalMatrices Dim=1 Field=3>
             K:<recognition node (projective) ProjDeterminant Dim=2 Field=3
                F:<recognition node Pcgs Size=2>
                K:<trivial kernel>>
          K:has no kernel>
       K:has no kernel>>
Error, the recognition described by this recognition node has failed! at /Users/mhorn/Projekte/GAP/repos/pkg/pkg/recog/gap/base/recognition.gi:776 called from
<function "Size for a failed recognition node">( <arguments> )
 called from read-eval loop at bug1.g:32
type 'quit;' to quit to outer loop
brk>

Since it involves recognition node (projective) C6, perhaps this is related to issue #295 ?

@fingolfin fingolfin added bug Any bug should have this label, even if it also has a more generic label bug: unexpected error A computation runs into an error loop when it should not have labels Nov 18, 2021
@fingolfin
Copy link
Member Author

Another such error (derived from the TestTensorInducedDecompositionStabilizerInSp([2, 5, 3]); test in gap-packages/ClassicalMaximals#84): bug2.txt

@fingolfin
Copy link
Member Author

Very curious: if the cvec package is loaded, both reproducers work. If it is not loaded, they fail.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug: unexpected error A computation runs into an error loop when it should not have bug Any bug should have this label, even if it also has a more generic label
Projects
None yet
Development

No branches or pull requests

1 participant