search

gap-packages / walrus

Computational Methods for Finitely Generated Monoids and Groups
https://gap-packages.github.io/walrus
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

Fix dependency on kbmag #27

Closed olexandr-konovalov closed 5 years ago

olexandr-konovalov commented 5 years ago

If kbmag package is not available, loading walrus triggers syntax warnings:

===========================================
%%% Loading walrus 0.9 with autoloaded, only needed

Syntax warning: Unbound global variable in /circa/scratch/gap-jenkins/workspac\
e/GAP-pkg-update-stable-quicktest/GAPCOPTS/64build/GAPGMP/gmp/GAPTARGET/packag\
esload/label/kovacs/GAP-pkg-update-stable-snapshot/pkg/walrus-0.9/gap/presenta\
tion.gi:287
    pres -> KBMAGRewritingSystem(PregroupPresentationToFpGroup(pres)));
                                ^
Syntax warning: Unbound global variable in /circa/scratch/gap-jenkins/workspac\
e/GAP-pkg-update-stable-quicktest/GAPCOPTS/64build/GAPGMP/gmp/GAPTARGET/packag\
esload/label/kovacs/GAP-pkg-update-stable-snapshot/pkg/walrus-0.9/gap/examples\
.gi:116
    WriteRWS(KBMAGRewritingSystem(PregroupPresentationToFpGroup(pgp)),
            ^
Syntax warning: Unbound global variable in /circa/scratch/gap-jenkins/workspac\
e/GAP-pkg-update-stable-quicktest/GAPCOPTS/64build/GAPGMP/gmp/GAPTARGET/packag\
esload/label/kovacs/GAP-pkg-update-stable-snapshot/pkg/walrus-0.9/gap/examples\
.gi:116
    WriteRWS(KBMAGRewritingSystem(PregroupPresentationToFpGroup(pgp)),
                                 ^
profiling package is not available, disabling ProfileSinglePresentation
[ "AVL", "ORB", "Orb", "Pop", "UF", "pg_word" ]
### Loaded walrus 0.9 with autoloaded, only needed
===========================================