#14334: integral of multivariate polynomial
-------------------------------------------+--------------------------------
       Reporter:  chapoton                 |         Owner:  malb        
           Type:  defect                   |        Status:  needs_review
       Priority:  major                    |     Milestone:  sage-5.9    
      Component:  commutative algebra      |    Resolution:              
       Keywords:  integral of polynomials  |   Work issues:              
Report Upstream:  N/A                      |     Reviewers:              
        Authors:  Frédéric Chapoton        |     Merged in:              
   Dependencies:                           |      Stopgaps:              
-------------------------------------------+--------------------------------

Comment (by novoselt):

 Well, I think that top level function `integral` should work in this case,
 perhaps with symbolic ring as parent. If integral method is called
 directly, it still would be better to have a less cryptic message than
 that rationals cannot be integrated.

 Also, with the patch I get
 {{{
 sage: ZZ["x, y"]("x*y+x-y").integral(x)
 ---------------------------------------------------------------------------
 AttributeError                            Traceback (most recent call
 last)
 <ipython-input-5-c6379f42d83e> in <module>()
 ----> 1 ZZ["x, y"]("x*y+x-y").integral(x)

 /home/novoselt/sage-5.9.beta0/local/lib/python2.7/site-
 packages/sage/structure/element.so in
 sage.structure.element.Element.__getattr__
 (sage/structure/element.c:3637)()

 /home/novoselt/sage-5.9.beta0/local/lib/python2.7/site-
 packages/sage/structure/misc.so in
 sage.structure.misc.getattr_from_other_class
 (sage/structure/misc.c:1507)()

 AttributeError:
 'sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular'
 object has no attribute 'integral'
 }}}
 and somehow here it feels that the method should succeed, since
 {{{
 sage: integrate(ZZ["x, y"]("x*y+x-y"), x)
 1/2*x^2*y + 1/2*x^2 - x*y
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14334#comment:4>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to