#17627: Construction of FinitelyGeneratedGroup from GAP group
--------------------------------+------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.5
Component: group theory | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
--------------------------------+------------------------
Comment (by captaintrunky):
I knew this too, but it does not work due to this exception. As I
understand, the code:
{{{
f.<x,y> = FreeGroup()
}}}
makes some magic and the code:
{{{
f = FreeGroup("x, y")
}}}
doesn't do this magic. This whole thing completely breaks relations
addition. Probably, I should ask on sage-devel.
Replying to [comment:5 vdelecroix]:
> Replying to [comment:4 captaintrunky]:
> > I try to exactly what you are proposing. But I've struggle with the
following:
>
> Great ;-)
>
> What I know
> {{{
> fp_gap = libgap.FreeGroup("x", "y")
> sage: libgap.GeneratorsOfGroup(fp_gap)
> [ x, y ]
> sage: F = wrap_FreeGroup(fp_gap)
> sage: F.gen(0)
> x
> sage: F.gen(1)
> y
> }}}
--
Ticket URL: <http://trac.sagemath.org/ticket/17627#comment:6>
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/d/optout.
