#18749: Groebner basis computations with openf4 package
-------------------------------------+-------------------------------------
       Reporter:  tcoladon           |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.8
      Component:  packages:          |   Resolution:
  optional                           |    Merged in:
       Keywords:  F4, groebner       |    Reviewers:  Martin Albrecht,
  basis, ideal                       |  Travis Scrimshaw, Jeroen Demeyer,
        Authors:  Titouan Coladon    |  Dima Pasechnik
Report Upstream:  N/A                |  Work issues:
         Branch:  u/jdemeyer/f4      |       Commit:
   Dependencies:                     |  0da1853a76d06188a2cd6f608c6b3df406259cea
                                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by jpflori):

 Replying to [comment:81 jdemeyer]:
 > Replying to [ticket:18749 tcoladon]:
 > > The proposed wrapper in Cython is not very efficient and may be
 improved:
 > > for instance, the computation of katsura 12 over GF(4294967291) takes
 only 2min 11s,
 > > and more than 9 min are spent in the cython wrapper to convert the
 result into sage polynomials.
 >
 > Is this acceptable? Why are strings used for the conversion? Can't we
 access the C data structures?

 I don't see any easy way to do this after quickly browsing `openf4` source
 code.

 As far as initialization is concerned, the only constructor for
 polynomials on top of move and copy contructors takes a vector of strings.
 You can init an empty polynomial and add terms one at a time but you have
 to sort the temrs first.

 And to extract the result you have to do the same thing.

 So my opinion is that such functions should be added to openf4, not the
 the sage wrapper.
 They could for example eat and spit vectors of Element.

--
Ticket URL: <http://trac.sagemath.org/ticket/18749#comment:83>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to