#6391: libGAP!  -- create a Cython library interface to gap
----------------------------------------------------------------------------+
       Reporter:  was                                                       |   
      Owner:  was                                                     
           Type:  enhancement                                               |   
     Status:  needs_work                                              
       Priority:  major                                                     |   
  Milestone:  sage-5.0                                                
      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:                                                            |   
   Stopgaps:                                                          
----------------------------------------------------------------------------+

Comment (by mmarco):

 I have been trying to make my free groups/finitely presented groups (see
 #12339) wraper with libgap, and in general it works fine (and an
 impressive speed, i must say). There are some random segfauls though. And
 i have run into a problem that can be traced down to:




 {{{
 sage: from sage.libs.gap.all import libgap
 sage: F=libgap('FreeGroup(2)')
 sage: lis=libgap('[]')
 sage: (a,b)=F.GeneratorsOfGroup()
 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()
 ---------------------------------------------------------------------------
 ValueError                                Traceback (most recent call
 last)

 /home/mmarco/sage-4.7.2/<ipython console> in <module>()

 /home/mmarco/sage-4.7.2/local/lib/python2.6/site-
 packages/sage/libs/gap/libgap.so in
 sage.libs.gap.libgap.GapElement_MethodProxy.__call__
 (sage/libs/gap/libgap.c:7643)()

 /home/mmarco/sage-4.7.2/local/lib/python2.6/site-
 packages/sage/libs/gap/libgap.so in
 sage.libs.gap.libgap.GapElement_Function.__call__
 (sage/libs/gap/libgap.c:7259)()

 ValueError: Gap: Aborted
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6391#comment:70>
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.

Reply via email to