#6391: libGAP! -- create a Cython library interface to gap
----------------------------------------------------------------------------+
Reporter: was |
Owner: was
Type: enhancement |
Status: needs_work
Priority: major |
Milestone: sage-5.3
Component: interfaces |
Resolution:
Keywords: |
Work issues:
Report Upstream: N/A |
Reviewers: Dima Pasechnik, Ivan Andrus, Volker Braun, William Stein
Authors: Dima Pasechnik, Ivan Andrus, Volker Braun, William Stein |
Merged in:
Dependencies: #13211 |
Stopgaps:
----------------------------------------------------------------------------+
Changes (by vbraun):
* dependencies: => #13211
Old description:
> There's libSingular, there's libPari, and next we need to create libGAP.
>
> Most current spkg for Sage-4.7.alpha2 (Requires Sage-4.7!)
> http://www.stp.dias.ie/~vbraun/Sage/spkg/gap-4.4.12.p8.spkg
>
>
> Older versions:
> http://sage.math.washington.edu/home/wstein/patches/gap/gap-4.4.10.p17.spkg
> http://sage.math.washington.edu/home/dima/packages/gap-4.4.12.p5.spkg
> http://sage.math.washington.edu/home/dima/packages/gap-4.4.12.p6.spkg
> http://www.stp.dias.ie/~vbraun/Sage/spkg/gap-4.4.12.p7.spkg
New description:
There's libSingular, there's libPari, and next we need to create libGAP.
To try it out,
* Install http://www.stp.dias.ie/~vbraun/Sage/spkg/gap-4.5.5.spkg from
#13211
* Install http://www.stp.dias.ie/~vbraun/Sage/spkg/libgap-4.5.5.spkg
* Apply [attachment:trac_6391_libGAP.patch] to the Sage library
--
Comment:
The libgap doctests pass now. Also, mmarco's example works:
{{{
sage: F = libgap.FreeGroup(2)
sage: a,b = F.GeneratorsOfGroup()
sage: lis = libgap('[]')
sage: lis.Add(a^2)
sage: lis.Add(b^2)
sage: lis.Add(a*b*a*b)
sage: lis
[ f1^2, f2^2, f1*f2*f1*f2 ]
sage: H=F/lis
sage: H
<fp group on the generators [ f1, f2 ]>
sage: H.IsomorphismSimplifiedFpGroup()
[ f1, f2 ] -> [ f1, f2 ]
}}}
William's `timeit('a+a', number=10^6)` also works. If you have any
interest in libGAP please try it out **this week** and let me know if you
find any bugs, then I can investigate them during the rest of this week...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6391#comment:71>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
