Public bug reported:
Binary package hint: maxima
Consider the following:
(%i1) assume(((y1-y0+x1-x0)*(V+U-y1-x1)) > 0);
integrate(1/( (x0+t*(x1-x0)-U) + (y0+t*(y1-y0)-V)),t,0,1);
(%o1) [(y1-y0+x1-x0)*(V+U-y1-x1)>0]
Is (y1-y0+x1-x0)*(V+U-y1-x1) positive, negative, or zero?
Although the assume() command states that the ambiguous expression is
more than zero, integrate() still asks if it is positive,negative, or
zero. Expected behavior is acceptance of the assume() line to address
the ambiguity encountered in integrate().
Bug or feature? Can anyone else reproduce this?
Ubuntu 9.10
Amd64
maxima ver. 5.17.1 Karmic
I am using the sysctl.conf "kernel.randomize_va_space = 1" workaround
which fixed a lot of previous issues but does not appear to fix this.
** Affects: maxima (Ubuntu)
Importance: Undecided
Status: New
--
maxima ignores assume() preceding integration
https://bugs.launchpad.net/bugs/564415
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
