#13215: Skew polynomials
------------------------------------+---------------------------------------
       Reporter:  caruso            |         Owner:  tbd         
           Type:  enhancement       |        Status:  needs_review
       Priority:  major             |     Milestone:  sage-5.3    
      Component:  algebra           |    Resolution:              
       Keywords:  skew polynomials  |   Work issues:              
Report Upstream:  N/A               |     Reviewers:              
        Authors:  Xavier Caruso     |     Merged in:              
   Dependencies:  #13214, #13303    |      Stopgaps:              
------------------------------------+---------------------------------------

Comment (by burcin):

 Thanks for the prompt response! I am attending a workshop this week and I
 haven't had a chance to read through your patch properly yet. So please
 excuse me if I am completely off the mark in my response below. :)

 Replying to [comment:15 caruso]:
 > I haven't heard about Plural before that... so, I haven't considered
 using it for skew polynomials yet. I will compare how fast is the
 arithmetic with Plural and with my own implementation in Cython and let
 you know.

 Your patch provides more functionality than Plural, for example gcd's and
 factoring. The coefficient domains supported by Plural are also limited. I
 suppose your implementation supports more general coefficient domains,
 basically anything Sage already knows about.

 It would be good to have a clear comparison between Plural and your
 implementation first. But I imagine having two skew polynomial classes in
 Sage, a generic implementation from your patch and one based on Plural. We
 could probably share the high level functionality not provided by Plural
 using the category framework.

 I am not opposed to just including your patch and think about the Plural
 part later as an optimization if you say that your implementation is more
 capable.

 > Ok, I will split my patch in several components. (Is two enough or are
 you expecting more than that?).

 I don't know yet. It depends on how many functionally independent parts
 there are. For instance, the short representations for morphisms can be an
 independent piece that is trivial to review.  The hash functions for
 morphisms would also be a separate bug fix. Actually, I attempted to fix
 that a long time ago at #9016.

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