Hi Simon, The integral is sort of complicated. First integrate
f(r) = r^5*(1-r^2)/((1-2*a*r+r^2)*(1-2*b*r+r^2)) over [0,1]. Sage asked
for some assumptions and so I gave it these: assume( -1 < a < 1) assume(
-1 < b < 1) assume(a^2-1 <0) assume(b^2-1 <0) With these assumptions,
this first integral worked. But read on! The result of integration
g(a,b) depends on two parameters a,b. Now integrate g(cos(s),cos(t))
over s in [0,2pi]. The latter integral asks for assumptions. And so I
made the following assumptions. assume( 0< arccos(cos(s)) <2*pi) assume(
0< arccos(cos(t)) <2*pi) With these assumptions, the integrate command
produced "Is 1 zero or nonzero?" I wish I could find simpler example for
which produces this error message, but I really have no idea what's
happening here. Best wishes, Chris PS By the way, Sage is outputting
"acos" in error messages presumably because Maxima uses acos for arccos.
On 2018-10-24 4:35 a.m., Simon King wrote:
Hi Chris,
On 2018-10-23, Chris Judge <cjud...@gmail.com> wrote:
Appears to be a bug that comes when integrating expression.
Maxima asks "Is 1 zero or nonzero?" and then suggests using assume(1>0).
Then it fails to accept this assumption...
You just made my day...
Coincidally, this week I told my students about the trivial ring (where
1=0).
In any case, in order to track down the bug you encountered, it would
help if you could give us the expression whose integration triggers the
bug.
Best regards,
Simon
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
