#19945: Asymptotic Ring: cannot construct (1/2)^n
-----------------------------------------+------------------------
       Reporter:  cheuberg               |        Owner:
           Type:  defect                 |       Status:  new
       Priority:  major                  |    Milestone:  sage-7.1
      Component:  asymptotic expansions  |   Resolution:
       Keywords:                         |    Merged in:
        Authors:                         |    Reviewers:
Report Upstream:  N/A                    |  Work issues:
         Branch:                         |       Commit:
   Dependencies:                         |     Stopgaps:
-----------------------------------------+------------------------

Comment (by dkrenn):

 Replying to [ticket:19945 cheuberg]:
 > {{{
 > sage: A.<n> = AsymptoticRing('QQ^n * n^QQ', ZZ)
 > sage: (1/2)^n
 > }}}

 The problem is that `(1/2)^n` calls `__pow__` of the rational `1/2`. This
 tries `A(1/2)^n`, which fails since `1/2` is not in `A`. This also
 explains why it works with coefficient ring `QQ` as in [comment:1
 comment:1].

 As a workaround you can use
 {{{
 sage: n.rpow(1/2)
 }}}

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