#15137: Implement right-angled Artin groups
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.1
Component: group theory | Resolution:
Keywords: Artin group RAAG, | Merged in:
days54 | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | 0f6f1b49532de4b6a55310debeb0a1f0aa6df1ca
public/groups/15137-raags | Stopgaps:
Dependencies: #15603 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:11 mmarco]:
> Would it make sense to inherit from FinitelyPresentedGroup? Things like
the Alexander matrix could be interesting to have.
I'm not sure. `FinitelyPresentedGroup` is a Gap group, this is
implementation is pure python/Sage, and I don't know how to mix the two.
There should be methods to construct the corresponding FP group, as well
as the ability to pass this to Gap (as a FP group).
Replying to [comment:12 chapoton]:
> 1) the following does not work:
>
> sage: G = RightAngledArtinGroup?(graphs.EmptyGraph?())
>
> it should either fail more gracefully or succeed.
Grrr...boarder cases; I'll fix this after I see what would be the most
consistent behavior.
> 2) there is a typo "creaing"
Will fix.
> 3) maybe the string representation could use the string repr of the
graph ? maybe instead of just the number of vertices ?
That would be better; will change.
--
Ticket URL: <http://trac.sagemath.org/ticket/15137#comment:13>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
