#6391: libGAP!  -- create a Cython library interface to gap
----------------------------------------------------------------------------+
       Reporter:  was                                                       |   
      Owner:  was                                                     
           Type:  enhancement                                               |   
     Status:  positive_review                                         
       Priority:  major                                                     |   
  Milestone:  sage-5.5                                                
      Component:  group theory                                              |   
 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:  #13415, #13123, #13211                                    |   
   Stopgaps:                                                          
----------------------------------------------------------------------------+

Comment (by mmarco):

 Another question: i can use much less memory in a gap computation through
 libgap that i can in a standard sage/gap session:

 {{{
 ./sage -gap
  *********   GAP, Version 4.5.6 of 16-Sep-2012 (free software, GPL)
  *  GAP  *   http://www.gap-system.org
  *********   Architecture: x86_64-unknown-linux-gnu-gcc-default64
  Libs used:  gmp, readline
  Loading the library and packages ...
  Packages:   GAPDoc 1.5.1
  Try '?help' for help. See also  '?copyright' and  '?authors'
 gap> F:=FreeGroup(2);
 <free group on the generators [ f1, f2 ]>
 gap> H:=F/[F.1^2,F.2^3];
 <fp group on the generators [ f1, f2 ]>
 gap> a:=GeneratorsOfGroup(H)[1];
 f1
 gap> a;
 f1
 gap> Order(a);
 2
 gap> quit;
 }}}

 But:

 {{{
 sage: G=libgap.FreeGroup(2)
 sage: (a,b)=G.GeneratorsOfGroup()
 sage: H=G/libgap([a^2,b^3])
 sage: (c,d)=H.GeneratorsOfGroup()
 sage: c.Order()
 ---------------------------------------------------------------------------
 ValueError                                Traceback (most recent call
 last)

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

 /home/mmarco/sage-5.4/local/lib/python2.7/site-
 packages/sage/libs/gap/element.so in
 sage.libs.gap.element.GapElement_MethodProxy.__call__
 (sage/libs/gap/element.c:8414)()

 /home/mmarco/sage-5.4/local/lib/python2.7/site-
 packages/sage/libs/gap/element.so in
 sage.libs.gap.element.GapElement_Function.__call__
 (sage/libs/gap/element.c:7947)()

 ValueError: libGAP: Error, exceeded the permitted memory (`-o' command
 line option)
 }}}

 It is the same computation, but in the gap session it has enough memory
 (it doesn't need much: even with -o 256M the computation succeeds), and
 through libgap it runs out of memory.

 I don't know if it is relevant, but i have no swap enabled in my system.

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