#18081: Expression.factor_list() result inconsistent
-----------------------------+------------------------
       Reporter:  rws        |        Owner:
           Type:  defect     |       Status:  new
       Priority:  major      |    Milestone:  sage-6.6
      Component:  symbolics  |   Resolution:
       Keywords:             |    Merged in:
        Authors:             |    Reviewers:
Report Upstream:  N/A        |  Work issues:
         Branch:             |       Commit:
   Dependencies:             |     Stopgaps:
-----------------------------+------------------------
Description changed by rws:

Old description:

> {{{
> sage: (1-2^(-s)).factor_list()
> [(2^s - 1, 1), (2^s, -1)]
> sage: (1/(1-2^(-s))).factor_list()
> [(2^s - 1, -1), (2, s)]
> }}}
> I would have expected the first expression to have `(2, -s)` or the
> second to have `(2^s, 1)`.

New description:

 {{{
 sage: (1-2^(-s)).factor_list()
 [(2^s - 1, 1), (2^s, -1)]
 sage: (1/(1-2^(-s))).factor_list()
 [(2^s - 1, -1), (2, s)]
 }}}
 I would have expected the first expression to have `(2, -s)` or the second
 to have `(2^s, 1)`.
 Also, this looks odd:
 {{{
 sage: (1/(1-x)).factor_list()
 [(x - 1, -1), (-1, 1)]
 sage: (1-x).factor_list()
 [(-x + 1, 1)]
 }}}

--

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