search

semigroups / Semigroups

The GAP package Semigroups
https://semigroups.github.io/Semigroups/
Other
23 stars 36 forks source link

possible problem when using \in with transformation semigroups #148

Closed james-d-mitchell closed 8 years ago

james-d-mitchell commented 8 years ago

Originally reported by: Christopher Wensley (Bitbucket: chris_wensley, GitHub: Unknown)

My Gpd test files give errors with the current gapdev and semigroups-2.7.2, and I've produced the very simple example shown in the log below. Am I doing something wrong?

Christopher-Wensleys-iMac:gpd christopherwensley$ ../../dev.sh ┌───────┐ GAP unknown of 2016-02-07 15:16:58 (GMT) │ GAP │ http://www.gap-system.org └───────┘ Architecture: x86_64-apple-darwin12.5.0-gcc-default64 Libs used: gmp Loading the library and packages ... Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0 Packages: AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.0, AutPGrp 1.6, CRISP 1.3.9, Cryst 4.1.12, CrystCat 1.1.6, CTblLib 1.2.2, FactInt 1.5.3, FGA 1.3.0, GAPDoc 1.5.1, IO 4.4.5, IRREDSOL 1.2.4, LAGUNA 3.7.0, Polenta 1.3.2, Polycyclic 2.11, RadiRoot 2.7, ResClasses 3.4.0, Sophus 1.23, SpinSym 1.5, TomLib 1.2.5 Try '?help' for help. See also '?copyright' and '?authors' gap> LoadPackage("semigroups"); ─────────────────────────────────────────────────────── Loading orb 4.7.5 (Methods to enumerate orbits) by Juergen Mueller (http://www.math.rwth-aachen.de/~Juergen.Mueller), Max Neunhöffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef), and Felix Noeske (http://www.math.rwth-aachen.de/~Felix.Noeske). Homepage: http://gap-packages.github.io/orb/ ─────────────────────────────────────────────── Loading genss 1.6.3 (Generic Schreier-Sims) by Max Neunhöffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef) and Felix Noeske (http://www.math.rwth-aachen.de/~Felix.Noeske). Homepage: http://gap-packages.github.io/genss/ ─────────────────────────────────────────────── Loading GRAPE 4.7 (GRaph Algorithms using PErmutation groups) by Leonard H. Soicher (http://www.maths.qmul.ac.uk/~leonard/). Homepage: http://www.maths.qmul.ac.uk/~leonard/grape/ ─────────────────────────────────────────────── Loading Semigroups 2.7.2 by J. D. Mitchell (tinyurl.com/jdmitchell) with contributions by: Manuel Delgado (http://cmup.fc.up.pt/cmup/mdelgado/), J. East (http://www.uws.edu.au/staff_profiles/uws_profiles/doctor_james_east), Attila Egri-Nagy (http://www.egri-nagy.hu), J. Jonusas, Markus Pfeiffer (http://www.morphism.de/~markusp/), B. Steinberg (http://www.sci.ccny.cuny.edu/~benjamin/), J. Smith (http://math.sci.ccny.cuny.edu/people?name=Jhevon_Smith), M. Torpey,

and W. Wilson (http://wilf.me).

true gap> t := Transformation( [1,1,2,3] );; gap> s := Transformation( [2,2,3,3] );; gap> r := Transformation( [2,3,4,4] );; gap> sgp := Semigroup( [t,s,r], rec(acting:=true) ); <transformation semigroup of degree 4 with 3 generators> gap> t in sgp; Error, no method found! For debugging hints type ?Recovery from NoMethodFound Error, no 1st choice method found for `=' on 2 arguments called from HTValue( ht, f ) at /Applications/gap/gapdev/pkg/semigroups-2.7.2/gap/acting.gi:198 called from <function "unknown">( ) called from read-eval loop at line 6 of stdin you can 'quit;' to quit to outer loop, or you can 'return;' to continue brk>

james-d-mitchell commented 8 years ago

Original comment by Christopher Wensley (Bitbucket: chris_wensley, GitHub: Unknown):

Many thanks for clarifying this: I did ask "Am I doing anything wrong?". I did install the latest Orb (and some others) yesterday, but compiled it in using 4.8.1 and then had problems when running gapdev. I had not appreciated that this could cause inconsistencies. I have now moved my pkg folder to gapdev, recompiled everything, and the error has gone away.

james-d-mitchell commented 8 years ago

Original comment by James Mitchell (Bitbucket: james-d-mitchell, GitHub: james-d-mitchell):

This is the same issue as Issue #140.

The problem is with your GAP setup not with the Semigroups package. Probably you updated and recompiled GAP but did not recompile some packages, such as Orb. The Semigroups 2.7.2 tests have passed every check (we test extensively before releasing, and so does the GAP package administrator).