#16464: cyclotomic_cosets for any finite ring
-------------------------+-------------------------------------------------
       Reporter:         |        Owner:
  vdelecroix             |       Status:  needs_review
           Type:         |    Milestone:  sage-6.3
  enhancement            |   Resolution:
       Priority:  major  |    Merged in:
      Component:         |    Reviewers:
  number theory          |  Work issues:
       Keywords:         |       Commit:
        Authors:         |  21cb1a83280c9a0c7ddd6c418dad4d053024b570
  Vincent Delecroix      |     Stopgaps:
Report Upstream:  N/A    |
         Branch:         |
  public/16464           |
   Dependencies:         |
-------------------------+-------------------------------------------------

Comment (by ncohen):

 A new commit, with two questions :

 1)

 {{{
 +    if n <= 2 or not n.is_prime():
 +        raise ValueError("the argument n must be an odd prime")
 }}}

 Why don't you test that `n` is odd ?

 2) Why would this be allowed ? It really does NOT have the same behaviour.

 {{{
 -    n = max(S1+S2)+1
 -    if not(is_a_splitting(S1,S2,n)):
 +    n = len(S1) + len(S2) + 1
 +    if not is_a_splitting(S1,S2,n):
 }}}


 Nathann

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

Reply via email to