search

peal / vole

A GAP package for backtrack search in permutation groups with graphs
https://peal.github.io/vole
Mozilla Public License 2.0
8 stars 2 forks source link

Missing ForceQuitGap #71

Closed MathieuDutSik closed 2 years ago

MathieuDutSik commented 2 years ago

The "ForceQuitGap" appears missing in the code and I have a warning.

Syntax warning: Unbound global variable in /Users/mathieu/opt/gap-4.11.1/pkg/vole/gap/internal/comms.gi:248
        ForceQuitGap();

This does not prevent vole from loading though.

wilfwilson commented 2 years ago

Thank you for creating this issue, ForceQuitGap is only available in GAP 4.12, which we hadn't realised.