Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Latexing, showing or viewing a held integral triggers its evaluation ???

Note : for once, this will be cross-posted on sage-support for ticket advice...

Exploring this question led me to discover what I think is a serious bug : it seems that latexing an expression containing a held (= unevaluated) integral triggers the latter's evaluation ; ditto for viewing or showing...

Minimal case:

sage: Ig=sin(x)
sage: It=Ig.integrate(x,-pi,pi,hold=True)
sage: Cs=1/(2*pi)
sage: latex(It)
\int_{-\pi}^{\pi} \sin\left(x\right)\,{d x}

So far, so good. But :

sage: Ex=Cs*It
sage: Ex
1/2*integrate(sin(x), x, -pi, pi)/pi
sage: latex(Ex)
\frac{0}{2 \, \pi}

Aaaarghh ! And, of course :

sage: show(Ex)
\newcommand{\Bold}[1]{\mathbf{#1}}\frac{0}{2 \, \pi}

And view(Ex proudly displays this crap...

IMHO, this is a serious bug, entailing a risk of inadvertently triggering long, impossible or never ending computations.

Advice ?

Latexing, showing or viewing a held integral triggers its evaluation ???

Note : for once, this will be cross-posted on sage-support for ticket advice...

Exploring this question led me to discover what I think is a serious bug : it seems that latexing an expression containing a held (= unevaluated) integral triggers the latter's evaluation ; ditto for viewing or showing...

Minimal case:

sage: Ig=sin(x)
sage: It=Ig.integrate(x,-pi,pi,hold=True)
sage: Cs=1/(2*pi)
sage: latex(It)
\int_{-\pi}^{\pi} \sin\left(x\right)\,{d x}

So far, so good. But :

sage: Ex=Cs*It
sage: Ex
1/2*integrate(sin(x), x, -pi, pi)/pi
sage: latex(Ex)
\frac{0}{2 \, \pi}

Aaaarghh ! And, of course :

sage: show(Ex)
\newcommand{\Bold}[1]{\mathbf{#1}}\frac{0}{2 \, \pi}

And view(Ex proudly displays this crap...

IMHO, this is a serious bug, entailing a risk of inadvertently triggering long, impossible or never ending computations.

Advice ?

EDIT : On Cocalc, I have checked that the problem can be reproduced on all available Sage kernels back to 8.2.

Looks more like an error from me, rather than a bug...

Suggestions most welcome !

Latexing, showing or viewing a held integral triggers its evaluation ???

Note : for once, this will be cross-posted on sage-support for ticket advice...

Exploring this question led me to discover what I think is a serious bug : it seems that latexing an expression containing a held (= unevaluated) integral triggers the latter's evaluation ; ditto for viewing or showing...

Minimal case:

sage: Ig=sin(x)
sage: It=Ig.integrate(x,-pi,pi,hold=True)
sage: Cs=1/(2*pi)
sage: latex(It)
\int_{-\pi}^{\pi} \sin\left(x\right)\,{d x}

So far, so good. But :

sage: Ex=Cs*It
sage: Ex
1/2*integrate(sin(x), x, -pi, pi)/pi
sage: latex(Ex)
\frac{0}{2 \, \pi}

Aaaarghh ! And, of course :

sage: show(Ex)
\newcommand{\Bold}[1]{\mathbf{#1}}\frac{0}{2 \, \pi}

And view(Ex proudly displays this crap...

IMHO, this is a serious bug, entailing a risk of inadvertently triggering long, impossible or never ending computations.

Advice ?

EDIT : On Cocalc, I have checked that the problem can be reproduced on all available Sage kernels back to 8.2.

Looks more like an error from me, rather than a bug...

Suggestions most welcome !

EDIT : One more data point: calling latex (or show or view) on such an expression containing a held integral in a hold context gives a RecursionError.

HTH,