#20191: implement ExprCondPair equivalent
-------------------------+----------------------------
   Reporter:  rws        |            Owner:
       Type:  defect     |           Status:  new
   Priority:  major      |        Milestone:  sage-7.2
  Component:  symbolics  |         Keywords:
  Merged in:             |          Authors:
  Reviewers:             |  Report Upstream:  N/A
Work issues:             |           Branch:
     Commit:             |     Dependencies:
   Stopgaps:             |
-------------------------+----------------------------
 This shows an equivalent to SymPy's `ExprCondPair` is missing in Sage:
 {{{
         sage: _ = var('y, z')
         sage: (x^y - z).integrate(y)
         -y*z + x^y/log(x)
         sage: (x^y - z).integrate(y, algorithm="sympy")  # see Trac #14694
         Traceback (most recent call last):
         ...
         AttributeError: 'ExprCondPair' object has no attribute '_sage_'

 SymPy-1.0:
 >>> integrate(x**y-z,y)
        ⎛⎧  y     for log(x) = 0⎞
        ⎜⎪                      ⎟
        ⎜⎪   y                  ⎟
 -y⋅z + ⎜⎨  x                   ⎟
        ⎜⎪──────    otherwise   ⎟
        ⎜⎪log(x)                ⎟
        ⎝⎩                      ⎠

 }}}
 When it is implemented a SymPy patch should be done for the `_sage_`
 method.

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