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

Better interface for handling pregroup words #16

Open
markuspf opened this issue Feb 6, 2019 · 2 comments
Open

Better interface for handling pregroup words #16

markuspf opened this issue Feb 6, 2019 · 2 comments

Comments

@markuspf
Copy link
Member

markuspf commented Feb 6, 2019

Currently when creating pregroup presentations one has to awkwardly give pregroup words as lists of elements:

pg := SmallPregroup(4,2);
<pregroup with 4 elements in table rep>
gap> pgp := NewPregroupPresentation(pg, [[pg[2],pg[3]],[pg[3],pg[2],pg[2]]]);
<pregroup presentation with 3 generators and 2 relators>
gap> IsHyperbolic(pgp, 1/6);
[ fail, [ [ 2, 0, 0, 0 ], [ 5, 1, 1, 1/3 ], [ 4, 1, 1, 1/3 ], [ 3, 2, 2, 2/3 ], [ 1, 2, 2, 2/3 ], [ 2, 2, 2, 2/3 ] ], [ 5, 1, 1, 1/3 ] ]

Probably pregroup words should be implemented as objects.

@colva
Copy link
Collaborator

colva commented Feb 6, 2019 via email

@markuspf
Copy link
Member Author

markuspf commented Feb 6, 2019

I basically want to implement "words over pregroups", hence enabling behaviour similar to handling free groups (following for illustration)

gap> pg := SmallPregroup(4,2);;
gap> x := pg[2];; y := pg[3];;
gap> w := x^5 * y *  x^-1;
<pregroup word>

It's not hard to do, I just don't want to get distracted from writing documentation and doing the first go at submitting the package before I go on with word problem solver or polish.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants