Opened 9 years ago

Closed 8 years ago

#14334 closed defect (fixed)

integral of multivariate polynomial

Reported by: chapoton Owned by: malb
Priority: major Milestone: sage-5.12
Component: commutative algebra Keywords: integral of polynomials
Cc: Merged in: sage-5.12.beta4
Authors: Frédéric Chapoton Reviewers: Andrey Novoseltsev
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by chapoton)

So far (in sage 5.10), the integral of multivariable polynomial is not clean, and belongs to the symbolic ring

sage: x,y = polygen(QQ, ['x','y'])
sage: (x*y).integral(x)
Traceback (most recent call last)
AttributeError: 'sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular' object has no attribute 'integral'

But one can do this:

sage: integrate(x*y,x)
sage: integrate(x*y,x).parent()
Symbolic Ring

It would be much better to have a .integral attribute and to stay within polynomial rings, like it happens with just one variable

sage: x = polygen(QQ, 'x')
sage: x.integral().parent()
Univariate Polynomial Ring in x over Rational Field

Attachments (1)

trac_14334_integration_multipoly-fc.patch (13.3 KB) - added by chapoton 8 years ago.

Download all attachments as: .zip

Change History (16)

comment:1 Changed 9 years ago by chapoton

  • Authors set to Frédéric Chapoton
  • Status changed from new to needs_review

Here is a patch.

  • implements integration in multi-polynomials
  • implements integration with respect to any variable in polynomials and power series

comment:2 Changed 9 years ago by novoselt

What is the desired (and actual) behaviour if the variable does not belong to the base rings as well? I.e. can I integrate an element of QQ[x,y] with respect to z?

comment:3 Changed 9 years ago by chapoton

With the patch applied, this gives :

AttributeError: 'AlgebraicNumber' object has no attribute 'integral'


AttributeError: 'sage.rings.rational.Rational' object has no attribute 'integral'

Which means that once the bottom ring is reached, it just fails to provide an integral method. Do you think it is necessary to implement an integral method for any ring ? Maybe one just saying "NotImplemented" ?

comment:4 Changed 9 years ago 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/ 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/ 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

comment:5 Changed 9 years ago by chapoton

ok, one should also add an integral method in multi_polynomial_libsingular.pyx (TODO)

Version 0, edited 9 years ago by chapoton (next)

comment:6 Changed 9 years ago by novoselt

Part of the problem is that the result is not living in the original ring. Maybe, afterall, the best approach is to keep things as is, letting integral method fail if there are issues with coefficients. Those who want to integrate a potentially problematic polynomial should use integral function which will drop to symbolic ring if calling methods fails.

comment:7 Changed 9 years ago by chapoton

I did not manage to make the following example work

sage: x,y = polygen(ZZ,['x','y'])
sage: (x*y).integral(x)

The problem is that this is handled by singular. If the base ring is more complicated, everything works well.

If somebody is able to implement a working integral method in multi_polynomial_libsingular.pyx, please do !

Last edited 9 years ago by chapoton (previous) (diff)

comment:8 Changed 8 years ago by chapoton

  • Description modified (diff)

comment:9 Changed 8 years ago by chapoton

ok, here is a patch that is doing the job. Needs review, please !

I have chosen to impose that the ring contains QQ, which seems a reasonable thing to do.

comment:10 Changed 8 years ago by novoselt

  • Reviewers set to Andrey Novoseltsev
  • Status changed from needs_review to positive_review

comment:11 Changed 8 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:12 Changed 8 years ago by novoselt

The patch does not apply for me on 5.11.rc1 because of empty lines conflict - probably needs rebasing!

Changed 8 years ago by chapoton

comment:13 Changed 8 years ago by chapoton

rebased on 5.12.beta0

comment:14 Changed 8 years ago by nbruin

This can be done later as well: Isn't it a bit overly restrictive to demand QQ is a subfield? Everything should be fine as long as factorial(degree(f,x)) is invertible in the base ring.

Perhaps just try the computation:

  • If you end up with an exponent that is divisible by the characteristic, you'll get a ZeroDivisionError.
  • If you try to convert the newly computed coefficient into the base ring, you'll get an error for things like integrate(5*x^2*y,y) in ZZ[x,y], because ZZ(5/3) will fail.

You could catch these errors and raise a ValueError: polynomial does not have an antiderivative over this ring.

comment:15 Changed 8 years ago by jdemeyer

  • Merged in set to sage-5.12.beta4
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.