8000 Failures in slnconstr.gi: `Error, ModRat: for <r>/<s> mod <n>, <s>/gcd(<r>,<s>) and <n> must be coprime ` · Issue #313 · gap-packages/recog · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Failures in slnconstr.gi: Error, ModRat: for <r>/<s> mod <n>, <s>/gcd(<r>,<s>) and <n> must be coprime  #313
Open
@fingolfin

Description

@fingolfin

The following input file triggers an error:
bug_O_C2_NonIsometric_-1_6_9.txt

with 2   3 field=9  5 FFFKF
Error, ModRat: for <r>/<s> mod <n>, <s>/gcd(<r>,<s>) and <n> must be coprime in
  LogFFE( det, Z( q ) ) / gcd / (d / gcd) mod ((q - 1) / gcd)
  at GAPROOT/pkg/recog/gap/matrix/slconstr.gi:1250 called from
SLCR.SLSLPbb( ri!.data, x, ri!.dimension
 ) at GAPROOT/pkg/recog/gap/matrix/slconstr.gi:2472 called from
slpforelement( ri )( ri, x ) at GAPROOT/pkg/recog/gap/base/recognition.gi:711 called from
SLPforElement( rifac, gg ) at GAPROOT/pkg/recog/gap/base/recognition.gi:733 called from
slpforelement( ri )( ri, x ) at GAPROOT/pkg/recog/gap/base/recognition.gi:711 called from
SLPforElement( KernelRecogNode( ri ), z!.el
 ) at GAPROOT/pkg/recog/gap/base/kernel.gi:55 called from
...  at bug_O_C2_NonIsometric_-1_6_9.txt:95
type 'quit;' to quit to outer loop
brk>

Perhaps @danielrademacher has some insights on this code?

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugAny bug should have this label, even if it also has a more generic labelbug: unexpected errorA computation runs into an error loop when it should not have

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0