#12573: sum of powers of root of unity fails
-----------------------------+----------------------------------------------
   Reporter:  dkrenn         |          Owner:  was                             
       Type:  defect         |         Status:  new                             
   Priority:  major          |      Milestone:  sage-5.0                        
  Component:  number theory  |       Keywords:  sum, number field, root of unity
Work_issues:                 |       Upstream:  N/A                             
   Reviewer:                 |         Author:                                  
     Merged:                 |   Dependencies:                                  
-----------------------------+----------------------------------------------
Description changed by dkrenn:

Old description:

> The following problem was reported to me by Volker Ziegler:
> {{{
> sage: PZ.<X>=PolynomialRing(ZZ)
> sage: Cyclic3.<z>=NumberField(X^2+3)
> sage: zi=Cyclic3.primitive_root_of_unity()
> sage: sum([zi^i for i in range(5)])
> 1/2*z - 1/2
> sage: sum(zi^i,i,0,5)
> ERROR: An unexpected error occurred while tokenizing input
> The following traceback may be corrupted or invalid
> The error message is: ('EOF in multi-line statement', (1288, 0))
>
> Traceback (most recent call last)
> ...
> TypeError: An embedding into RR or CC must be specified.
> }}}
> The function ``sum`` works in the first case, but fails in the second.

New description:

 The following problem when building a sum over powers of an root of unity.
 {{{
 sage: PZ.<X>=PolynomialRing(ZZ)
 sage: Cyclic3.<z>=NumberField(X^2+3)
 sage: zi=Cyclic3.primitive_root_of_unity()
 sage: sum([zi^i for i in range(5)])
 1/2*z - 1/2
 sage: sum(zi^i,i,0,5)
 ERROR: An unexpected error occurred while tokenizing input
 The following traceback may be corrupted or invalid
 The error message is: ('EOF in multi-line statement', (1288, 0))

 Traceback (most recent call last)
 ...
 TypeError: An embedding into RR or CC must be specified.
 }}}
 The function ``sum`` works in the first case, but fails in the second.

 This problem was reported to me by Volker Ziegler.

--

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