With the help of GEMM it should be possible to supplement present QA
mechanisms, by adding a component that automatically locates and list
bugs of a new nature.
This can be compared and contrasted against a test suite which is slow
to incorporate new material, and as a result is rather static in nature.
GEMM, on the other hand, is dynamical and continually searching various
branches of behavior.
It is anticipated that on a time scale of 12 months, that GEMM should be
able to locate examples of new bugs for hundreds system functions, many
thousands classified nice-formatted entries like the samples shown below.
Please completely realize that:
* the structure of an entry is under y o u r control
* the choice of the function is under y o u r control
Had you have any questions please don't hesitate to contact me at
vvb@mail.strace.net. Enjoy!
Sincerely,
VB
...............................................................................
TESTING ENVIRONMENT
CPU ID AuthenticAMD AMD Athlon(tm) XP 1600+
RAM size 512 Mb
Free HDD size 11 Gb
OS ID Microsoft Windows 98 4.10.2222 A
...............................................................................
MEANINGS OF THE MARKERS
ABSENT The result of the evaluation is correct
BUG-1 The bug differs from the bug in Maple 8
CANNOT The expression is returned unevaluated
CRASHED Invalid memory addressing occurred
ERROR An error message interrupted the computation
LOOPED The expression is running after 2 hours
PRESENT The quoted bug is present in the output
REGRESSION At least 1 Maple version can handle it correctly
REPRODUCIBLE The bug can can be reproduced
UNDONE Maple transformed the input without full success
...............................................................................
BUG # 1 (software protection)
****************************************
*** UNRELIABLE SOFTWARE PROTECTION ***
****************************************
ACTUAL: Can make Maple 8 Trial Version copy running forever.
HOW-TO-DO: Keep/reset the system date within 29 days after
the date of the installation.
EXPECTED: Cannot run Maple 8 Trial Version after 30 days.
FORMAL ADVICE: 1) Consider SciFace experience.
2) Consider WRI experience.
3) Consider TI experience.
4) Consider the ideas of Vladimir V. Bondarenko.
5) Consider using dongles.
TRUE ADVICE: Keep her steady! ;-)
...............................................................................
BUG # 2 (evalf)
**************************************
*** INVALID PAGE FAULT EXCEPTION ***
**************************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(AiryAi(1/sqrt(z)), z=0..1));
ACTUAL: MSERVER caused an invalid page fault in module MAPLE.DLL
at 0167:1016d5af.
EXPECTED: .07316096643
...............................................................................
BUG # 3 (evalf)
**************************************
*** INVALID PAGE FAULT EXCEPTION ***
**************************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ERROR 4 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ERROR 3 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ERROR 2 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(StruveH(1/3,1/z), z=0..1));
ACTUAL: MSERVER caused an invalid page fault in module MAPLE.DLL
at 0167:1016d5af.
EXPECTED: .5386098780
The same problem with
evalf(Int(StruveH(1/3,1/sqrt(z)), z=0..1));
...............................................................................
BUG # 4 (evalf)
**********************************
*** MEMORY ALLOCATION FAILED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ABSENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
LOOPED Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(arccosh(1/tanh(z)), z=-1..1));
ACTUAL: Execution stopped: Memory allocation failed.
The kernel has been shut down.
Further computations cannot be performed.
EXPECTED: 3.439997633+3.141592654*I
CHECK-UP: evalf(Int(arccosh(1/tanh(z)), z=-1..0))+
evalf(Int(arccosh(1/tanh(z)), z=0..1));
3.439997634+3.141592654*I
The same problem with
evalf(Int(arccosh(1/tanh(z)), z=-1..0))+
evalf(Int(arccosh(1/tanh(z)), z=0..1));
...............................................................................
BUG # 5 (int)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(exp(z)*ln(z), z=infinity..0);
ACTUAL: Error, (in limit) inconsistent direction with infinities
EXPECTED: -infinity
CHECK-UP: evalf(Int(exp(z)*ln(z), z=infinity..0));
Float(-infinity)
evalf(Int(exp(z)*ln(z), z=100..0));
-.1235208139e45
...............................................................................
BUG # 6 (int)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(arctan(sqrt(3)*(2*z - 1)/3)/(z^2 + 1), z=0..infinity);
ACTUAL: Error, (in signum/main) numeric exception: division by zero
EXPECTED: 13/288*Pi^2+1/16*ln(7-4*3^(1/2))*ln(2-3^(1/2))+1/4*dilog(-2/(-\
2-I+3^(1/2)))+1/4*dilog(-2/(-2+I+3^(1/2)))+1/4*dilog((3*I+3^(1\
/2))/(3*I+(1+2*I)*3^(1/2)))+1/4*dilog((3+I*3^(1/2))/(3+(2+I)*3\
^(1/2)))
CHECK-UP: .8224670361+0.*I
evalf(Int(arctan(sqrt(3)*(2*z-1)/3)/(z^2+1), z=0..infinity));
.8224670334
...............................................................................
BUG # 7 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
CANNOT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
LOOPED Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CRASHED Maple V, Release 5, IBM INTEL NT, Nov 27 1997
LOOPED Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
a := 1/10^10:
evalf(Int(Int(Int(1/(3 - cos(x) - cos(y) - cos(z)), x=a..Pi-a),
y=a..Pi-a), z=a..Pi-a));
ACTUAL 1 (often): Error, (in property/OrProp/*) too many levels of recursion
ACTUAL 2 (seldom): Error, (in collect/series) too many levels of recursion
...............................................................................
BUG # 8 (evalf)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ERROR 2 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ERROR 2 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(arcsec(1/arccsch(z)), z=-1..1));
ACTUAL: Error, (in evalf/int) cannot assume on a constant object
EXPECTED: 3.141592654
CHECK-UP: evalf(Int(arcsec(1/arccsch(z)), z=-1..0))+
evalf(Int(arcsec(1/arccsch(z)), z=0..1));
3.141592654+0.*I
The same problem with
evalf(Int(arcsec(1/arccsch(z)), z=-0.99..0.99));
evalf(Int(arccsc(1/arccsch(z)), z=-1..1));
...............................................................................
BUG # 9 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
UNDONE Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
UNDONE Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
UNDONE Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(I^z, z=0..infinity);
ACTUAL: Error, (in limit/range) invalid terms in sum
EXPECTED: undefined
...............................................................................
BUG # 10 (int)
******************************
*** INVALID Re MAGNITUDE ***
******************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
BUG 1 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
BUG 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(int(arctan((z - 1))/(z^2 + 1), z=0..infinity),30);
ACTUAL: .328636331315204260235482460675-.8e-30*I
EXPECTED: 1/8*ln(-1/5+2/5*I)^2+1/6*Pi^2+1/8*ln(-1/5-2/5*I)^2-1/8*I*ln(2-\
I)*Pi+1/8*I*ln(2+I)*Pi + 1/16*I*Pi*ln(2)-1/8*I*ln(1-I)*Pi+1/4*\
dilog(3/5+1/5*I)+1/4*dilog(3/5-1/5*I)
.31465653030289119628
CHECK-UP: evalf(Int(arctan((z - 1))/(z^2 + 1), z=0..infinity),30);
.314656530302891196278478318862
The same problem with
int(arctan((z + 1))/(z^2 + 1), z=0..infinity)
int(arctan((2*z - 1)/3)/(z^2 + 1), z=0..infinity);
int(arctan((2*z - 1))/(z^2 + 1), z=0..infinity);
...............................................................................
BUG # 11 (int)
******************************
*** INVALID Re MAGNITUDE ***
******************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int((sin(1)-sin(z/(1+z)))^2, z=0..infinity);
ACTUAL: -1+Si(2)*cos(2)-sin(2)*Ci(2)-I*sin(2)*Pi+cos(1)^2+2*sin(1)*cos\
(1)*Ci(1)+2*I*sin(1)*cos(1)*Pi+2*Si(1)*sin(1)^2
-.114183263+0.*I
EXPECTED: -1/2+(Ci(1)-Ci(2)+ln(2))*sin(2)+Si(1)+1/2*cos(2)*(1-2*Si(1)+2*\
Si(2))
.5160936848
CHECK-UP: evalf(Int((sin(1)-sin(z/(1+z)))^2, z=0..infinity));
.5160936847
...............................................................................
BUG # 12 (int)
******************************
*** INVALID Re MAGNITUDE ***
******************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(int(exp(-z^2)*arctan(z^3),z=0..infinity));
ACTUAL: .1084191096
EXPECTED: .2744301134
ANSWER: See Maple V Release 5
The same problem with
int(exp(-z^2)*arctan(z^5),z=0..infinity);
int(exp(-z^2)*arctan(z^7),z=0..infinity);
int(exp(-z^2)*arctan(z^9),z=0..infinity);
int(exp(-z^2)*arctan(z^11),z=0..infinity);
...............................................................................
BUG # 13 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** MEANINGLESS OUTPUT ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The answer depends on the integration variable.
type(int(BesselJ(1, 1/sqrt(z)), z=-1..1), freeof(z));
ACTUAL: false
EXPECTED: true
int(BesselJ(1, 1/sqrt(z)), z=-1..1);
ACTUAL: (-z^(1/2)*BesselJ(0,1)*StruveH(1,1)+z^(1/2)*BesselJ(1,1)*Struv\
eH(0,1)-(-z)^(1/2)*BesselI(0,1)*StruveL(1,1)+(-z)^(1/2)*Bessel\
I(1,1)*StruveL(0,1))*Pi/z^(1/2)
EXPECTED: -2/3+4/3*BesselJ(0,1)-1/3*Pi*(BesselJ(0,1)*StruveH(1,1)-
BesselJ(1,1)*StruveH(0,1))
CHECK-UP: .4566187310
evalf(Int(BesselJ(1, 1/sqrt(z)), z=0..1));
.4566187311
...............................................................................
BUG # 14 (int)
****************************
*** MEANINGLESS OUTPUT ***
****************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The answer involves trunc(`limit/mrv/Re`(-1))
EXAMPLE 1: int(sin(1/tanh(z)), z=-1..1);
ACTUAL: 1/2*I*sin(1)*Pi+1/2*I*trunc(`limit/mrv/Re`(-1))*Pi*sin(1)
EXPECTED: 0
CHECK-UP: evalf(Int(sin(1/tanh(z)), z=-1..0))+
evalf(Int(sin(1/tanh(z)), z=0..1));
0
EXAMPLE 2: int(cos(1/tanh(z)), z=-1..1);
ACTUAL: -Si(2/(exp(-1)-exp(1))*exp(-1))*sin(1)-
Ci(-2/(exp(-1)-exp(1))*exp(-1))*cos(1)-
Si(2/(exp(-1)-exp(1))*exp(1))*sin(1)+
Ci(-2/(exp(-1)-exp(1))*exp(1))*cos(1)-Pi*sin(1)-
1/2*I*trunc(`limit/mrv/Re`(-1))*Pi*cos(1)-1/2*I*Pi*cos(1)
-.8487048775*I*trunc(`limit/mrv/Re`(-1))-.414495363-
.8487048775*I
EXPECTED: -Si(2*exp(-2)/(exp(-2)-1))*sin(1)-Ci(-2*exp(-2)/(exp(-2)-1))*\
cos(1)-Si(2/(exp(-2)-1))*sin(1)+Ci(-2/(exp(-2)-1))*cos(1)-Pi*\
sin(1)
-.414495363
CHECK-UP: evalf(Int(cos(1/tanh(z)), z=-1..0))+
evalf(Int(cos(1/tanh(z)), z=0..1));
-.4144953636
The same problem with
int(sqrt(sinh(z)), z = -1..1);
...............................................................................
BUG # 15 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** MEANINGLESS OUTPUT ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The answer depends on the integration variable.
int(sqrt(z)*sqrt(1+z^2)/sqrt(1+z^6), z = -infinity..infinity):
evalf(%);
ACTUAL: 2.831474421*(z^(1/2)+(-1.*z)^(1/2))/z^(1/2)
EXPECTED: (1+I)*1/60*(5*GAMMA(3/4)^2*sin(5/12*Pi)*sin(1/12*Pi)* GAMMA(7/\
12)*GAMMA(11/12)*hypergeom([1/2,5/6, 7/6, 3/4],[5/4, 4/3, 5/3]\
,1) - 48*GAMMA(3/4)^2*sin(5/12*Pi) * sin(1/12*Pi)*GAMMA(7/12)*\
GAMMA(11/12)*hypergeom([1/2, 11/12, 7/12, 1/4],[17/12, 3/4, 13\
/12],1)+5*Pi^2*hypergeom([1/2, 1/6, 5/6, 5/12],[11/12, 2/3, 4/\
3],1)+10*Pi^2*hypergeom([1/2, 1/6, 1/12, -1/6],[2/3, 7/12, 1/3\
],1))/Pi^(1/2)*csc(5/12*Pi)*csc(1/12*Pi)/GAMMA(7/12)/GAMMA(11/\
12)
CHECK-UP: 2.831474419+2.831474419*I
evalf(Int(sqrt(z)*sqrt(1 + z^2)/sqrt(1 + z^6), z = -infinity..\
infinity));
2.831474417+2.831474417*I
...............................................................................
BUG # 16 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** SPURIOUS undefined ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG 1 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CANNOT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
EXAMPLE 1: int(abs(sqrt(z/(1+z^2))), z = -infinity..infinity);
ACTUAL: undefined
EXPECTED: infinity
CHECK-UP: evalf(Int(abs(sqrt(z/(1+z^2))), z = -infinity..infinity));
Float(infinity)
EXAMPLE 2: int(abs(sqrt(z))/sqrt(1+z^2), z = -infinity..infinity);
ACTUAL: undefined
EXPECTED: infinity
CHECK-UP: evalf(Int(abs(sqrt(z))/sqrt(1+z^2), z = -infinity..infinity));
Float(infinity)
...............................................................................
BUG # 17 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
************************************
*** TRIVIAL INTEGRAL IS UNDONE ***
************************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
This integral obviously diverges because the integrand is continuous, and it
asymptotically equals to 1/sqrt(z) + O((1/z)^(5/2)) at z = infinity, and
z^(1/2)+O(z^(5/2)) at z = 0.
I consider the Maple's 8 answer as a bug because the integral is TRIVIAL
that is can be immediately done in mind.
int(sqrt(z/(1+z^2)), z = 0..infinity);
ACTUAL: limit((2*(z/(1+z^2))^(1/2)*(-I*(z+I))^(1/2)*2^(1/2)*(I*(z-I))^\
(1/2)*(I*z)^(1/2)*EllipticE((-I*(z+I))^(1/2),1/2*2^(1/2))-(z/(\
1+z^2))^(1/2)*(-I*(z+I))^(1/2)*2^(1/2)*(I*(z-I))^(1/2)*(I*z)^(\
1/2)*EllipticF((-I*(z+I))^(1/2),1/2*2^(1/2))+2*(z/(1+z^2))^(1/\
2)*(-I*(z+I))^(1/2)*2^(1/2)*(I*(z - I))^(1/2)*(I*z)^(1/2)*z^2*\
EllipticE((-I*(z+I))^(1/2),1/2*2^(1/2))-(z/(1+z^2))^(1/2)*(-I*\
(z+I))^(1/2)*2^(1/2)*(I*(z-I))^(1/2)*(I*z)^(1/2)*z^2*EllipticF\
((-I*(z+I))^(1/2),1/2*2^(1/2))-2*(z*(1+z^2))^(1/2)*(z^3+z)^(1/\
2)*EllipticE(1/2*2^(1/2))+(z*(1 + z^2))^(1/2)*(z^3 + z)^(1/2)*\
EllipticK(1/2*2^(1/2)) -2*I*(z*(1 + z^2))^(1/2)*(z^3+z)^(1/2)*\
EllipticE(1/2*2^(1/2)) + I*(z*(1 + z^2))^(1/2)*(z^3 +z)^(1/2)*\
EllipticK(1/2*2^(1/2)))/(z*(1+z^2))^(1/2)/(z^3 + z)^(1/2),z = \
infinity)
EXPECTED: infinity
CHECK-UP: evalf(Int(sqrt(z/(1+z^2)), z = 0..infinity));
Float(infinity)
...............................................................................
BUG # 18 (int)
******************************
*** INVALID Im MAGNITUDE ***
******************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CRASHED Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(sqrt(csc(z)), z = -1..1);
ACTUAL: 2.034805316-2.034805318*I
EXPECTED: 2.034805316+2.034805318*I
CHECK-UP: evalf(Int(sqrt(csc(z)), z = -1..1));
2.034805316+2.034805318*I
...............................................................................
BUG # 19 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** INVALID Re MAGNITUDE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 2 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
EXAMPLE 1: evalf(int(arctan(z)/(1+z^3), z=0..1),30);
ACTUAL: .295402437233686437670241585805+.100e-29*I
EXPECTED: .332572518837625079597240253208
CHECK-UP: evalf(Int(arctan(z)/(1+z^3), z=0..1),30);
.332572518837625079597240253208
EXAMPLE 2: evalf(int(arccot(z)/(1+z^3), z=0..1),30);
ACTUAL: 1.01723170411092331267670505565-.10e-29*I
EXPECTED: .980061622506984670749706388244
CHECK-UP: evalf(Int(arccot(z)/(1+z^3), z=0..1),30);
.980061622506984670749706388244
...............................................................................
BUG # 20 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** INVALID Re MAGNITUDE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CANNOT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(int(ln(z^2 - z + 1)/(z^2 + 1), z=0..infinity));
ACTUAL: -2.600402544+0.*I
EXPECTED: 1/24*Pi*(-7*ln(2-3^(1/2))+13*ln(2+3^(1/2)))+
1/2*I*(polylog(2,(I+3^(1/2))/(2+I+3^(1/2)))+
polylog(2,1+2/(-2-I+3^(1/2)))-polylog(2,1+2/(-2+I+3^(1/2)))-
polylog(2,1-2/(2-I+3^(1/2))))
CHECK-UP: 1.536942713+.1000000000e-9*I
evalf(Int(ln(z^2 - z + 1)/(z^2 + 1), z=0..infinity));
1.536942710
...............................................................................
BUG # 21 (int)
****************************
*** SPURIOUS undefined ***
****************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ABSENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CANNOT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
This integral must be positive.
int(int(1/(1 + x + y)^3, x = 0..infinity), y = 0..infinity);
ACTUAL: undefined
EXPECTED: 1/2
CHECK-UP: evalf(Int(Int(1/(1 + x + y)^3,x=0..infinity), y=0..infinity));
0.5000000000
...............................................................................
BUG # 22 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
***************************************************
*** INVALID Re MAGNITUDE / SPURIOUS undefined ***
***************************************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ERROR 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ERROR 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR 2 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
This integral must be positive.
However, Maple 8 always returns one of these invalid answers:
either dilogarithms (almost always) or undefined (rarely).
int(arctan(z)/(1+z^3), z=0..infinity);
ACTUAL: dilogarithms (negative num value) OR undefined (wrong)
EXPECTED: (1/144)*(4*Pi*(sqrt(3)*Pi+ln(97/8+7*sqrt(3)))-Psi(1,5/12)+\
Psi(1,11/12))
CHECK-UP: .7190728728
evalf(Int(arctan(z)/(1+z^3), z=0..infinity));
.7190728725
The same problem with
int(arctan(z)/(1+z^4), z=0..infinity);
int(arctan(z)/(1+z^5), z=0..infinity);
...............................................................................
BUG # 23 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ERROR 1 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ERROR 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
UNDONE Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
UNDONE Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(int(int(1/(3 - cos(x) - cos(y) - cos(z)), x=0..Pi), y=0..Pi), z= 0..Pi);
ACTUAL: Error, (in gcd/doit) too many levels of recursion
EXPECTED: 4*Pi*(18 + 12*sqrt(2) - 10*sqrt(3) -
7*sqrt(6))*EllipticK((2 - sqrt(3))*(sqrt(3) - sqrt(2)))^2
CHECK-UP: 15.67249482
a := 1/10^7:
evalf(Int(Int(Int(1/(3 - cos(x) - cos(y) - cos(z)), x=a..Pi-a),
y=a..Pi-a), z=a..Pi-a));
15.67247795
...............................................................................
BUG # 24 (int)
************************************************************************
*** FEATURE REQUEST: TOO COMPLICATED - CAN BE EXPRESSED MUCH SIMPLER ***
************************************************************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(1/sqrt(sech(z)), z=0..infinity);
ACTUAL: 2^(1/2)*EllipticPi(1,1/2*2^(1/2))
EXPECTED: infinity
int(sqrt(cosh(z)), z=0..infinity);
ACTUAL: 2^(1/2)*EllipticPi(1,1/2*2^(1/2))
EXPECTED: infinity
int(1/sqrt(1/cosh(z)), z=0..infinity);
ACTUAL: 2^(1/2)*EllipticPi(1,1/2*2^(1/2))
EXPECTED: infinity
...............................................................................
BUG # 25 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** SPURIOUS CONVERGENCE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
LOOPED Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ERROR Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(sqrt(1-1/z^(3/2)), z=1..infinity);
ACTUAL: 1/12*I*Pi^(1/2)*2^(1/2)*(12/7/Pi^(1/2)*2^(1/2)*hypergeom([3/4,\
1/4, 7/12],[3/2, 19/12],1)-24/Pi^(1/2)*2^(1/2)*hypergeom([1/12\
,-1/4,1/4],[1/2,13/12],1)+3/2*sin(5/12*Pi)*sec(1/12*Pi)*csc(1/\
12*Pi)*2^(2/3)*Pi^(1/2)*GAMMA(7/12)/GAMMA(2/3)/GAMMA(11/12))
0.3389019737e-10+0.*I
EXPECTED: infinity
CHECK-UP: evalf(Int(sqrt(1-1/z^(3/2)), z=1..10^10));
9999999999.
The same problem with
int(sqrt(1-1/z^(5/3)), z=1..infinity);
int(sqrt(1-1/z^(7/4)), z=1..infinity);
int(sqrt(1-1/z^(6/5)), z=1..infinity);
...............................................................................
BUG # 26 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** SPURIOUS CONVERGENCE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(FresnelC(z)*ln(z), z=0..infinity);
ACTUAL: 1/4
EXPECTED: infinity
CHECK-UP: evalf(Int(FresnelC(z)*ln(z), z=0..infinity));
Float(infinity)
int(FresnelS(z)*ln(z), z=0..infinity);
ACTUAL: 1/2*(2-ln(2)+gamma+ln(Pi))/Pi
EXPECTED: infinity
CHECK-UP: evalf(Int(FresnelS(z)*ln(z), z=0..infinity));
Float(infinity)
...............................................................................
BUG # 27 (int)
*********************************
*** INVALID Re/Im MAGNITUDE ***
*********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
LOOPED Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(int(sqrt(sqrt(z))/(1+z^2),z=-infinity..infinity));
ACTUAL: 0. + 0.*I
EXPECTED: Pi*sqrt(sqrt(2)/4+1/2)+Pi*I*sqrt(1/2-sqrt(2)/4)
CHECK-UP: 2.902453152+1.202235460*I
evalf(Int(sqrt(sqrt(z))/(1+z^2),z=-infinity..infinity));
2.902453152+1.202235460*I
The same problem with
int(z^(1/5)/(1+z^2),z=-infinity..infinity);
...............................................................................
BUG # 28 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
*********************************
*** INVALID Re/Im MAGNITUDE ***
*********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
BUG 1 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(signum(ln(z)), z= -1..1);
ACTUAL: 0
EXPECTED: -1+Pi/2+Pi^2*(2*BesselY(1,Pi)+StruveH(-1,Pi)-StruveH(1,Pi))/4+\
I*(Pi^2*(-BesselY(0,Pi)+StruveH(0,Pi)))/2
-1.267639165+.9349432435*I
COMMENT: Alas, the Maple 8 numeric integrator cannot knock out this,
evalf(Int(signum(ln(z)), z= -1..1));
evalf(Int(signum(ln(z)), z= -1..1));
COMPARE: MuPAD 2.5 numerical integration yields
numeric::int(sign(ln(z)), z= -1..1);
-1.267639165 + 0.9349432437*I
HINT: plot(Re(signum(ln(z))), z= -1..1);
plot(Im(signum(ln(z))), z= -1..1);
...............................................................................
BUG # 29 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** INVALID Re MAGNITUDE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 2 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
BUG 3 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
UNDONE Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(arccot(1/sin(z)), z=0..Pi/2);
ACTUAL: 1/2*dilog(1/(1+2^(1/2))*2^(1/2)+1/(1+2^(1/2))+I/(1+2^(1/2)))+1\
/4*I*Pi*ln(-1-I)-1/4*I*Pi*ln(2^(1/2)-1+I)-1/4*I*Pi*ln(2^(1/2)+\
1-I)+1/6*Pi^2-1/4*I*Pi*ln(-1+I)-1/2*dilog(1/(2^(1/2)-1)*2^(1/2\
)-1/(2^(1/2)-1)+I/(2^(1/2)-1))+1/4*I*Pi*ln(2^(1/2)-1-I)-1/2*di\
log(1/(1+2^(1/2))*2^(1/2)+1/(1+2^(1/2))-I/(1+2^(1/2)))+1/4*I*P\
i*ln(2^(1/2)+1+I)+1/2*dilog(1/(2^(1/2)-1)*2^(1/2)-1/(2^(1/2)-1\
)-I/(2^(1/2)-1))+1/2*dilog(1/(2^(1/2)-1)*2^(1/2))+1/2*dilog(1+\
2/(2^(1/2)-1)-1/(2^(1/2)-1)*2^(1/2))+1/2*ln(1+2^(1/2))*ln(2-2^\
(1/2))-1/2*ln(1+2^(1/2))*ln(2^(1/2)-1)-1/2*I*ln(1+2^(1/2))*Pi-\
1/2*dilog(2/(1+2^(1/2))+1/(1+2^(1/2))*2^(1/2))+1/2*dilog(1/(1+\
2^(1/2))*2^(1/2))
5.780093050+.2e-8*I
EXPECTED: -1/2*polylog(2,3-2*2^(1/2))+2*polylog(2,2^(1/2)-1)
CHECK-UP:
evalf(Int(arccot(1/sin(z)), z=0..Pi/2));
.8452908502
HINT: plot(arccot(1/sin(z)), z=0..Pi/2);
The same problem with
int(arccot(csc(z)), z=0..Pi/2);
...............................................................................
BUG # 30 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** SPURIOUS CONVERGENCE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
EXAMPLE 1: simplify(int(a^(log[2](z)), z=0..infinity));
ACTUAL: 0
EXPECTED: undefined or int(a^(log[2](z)), z=0..infinity);
COMMENT: int(1^(log[2](z)), z=0..infinity);
infinity
EXAMPLE 2: int(I^(log[2](z)), z=0..infinity);
ACTUAL: 0
EXPECTED: undefined
...............................................................................
BUG # 31 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** SPURIOUS CONVERGENCE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(ln(z)*arctan(sqrt(z)), z=0..infinity);
ACTUAL: -1/2*Pi
EXPECTED: infinity
CHECK-UP: evalf(Int(ln(z)*arctan(sqrt(z)), z=0..infinity));
Float(infinity)
...............................................................................
BUG # 32 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
*****************************
*** SPURIOUS DIVERGENCE ***
*****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ERROR Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
EXAMPLE 1: int(ln(1+z^(1/2))/(1+z^2), z = 0..infinity);
ACTUAL: infinity*signum(1/2*sum(_R1*(ln(_R1)+ln(1/_R1))/(_R1^3-3*_R1^2\
+3*_R1-1),_R1 = RootOf(2+_Z^4-4*_Z^3+6*_Z^2-4*_Z))-1/2*sum((ln\
(_R1)+ln(1/_R1))/(_R1^3-3*_R1^2+3*_R1-1),_R1 = RootOf(2+_Z^4-4\
*_Z^3+6*_Z^2-4*_Z)))
evalf(%);
Float(undefined)+Float(undefined)*I
EXPECTED: 1/2*Pi*ln(2^(3/4)+2^(1/4))-1/2*Catalan
CHECK-UP: 1.198673857
evalf(Int(ln(1+z^(1/2))/(1+z^2),z = 0 .. infinity));
1.198673857
EXAMPLE 2: int(ln(1+1/z^(1/2))/(1+z^2),z = 0 .. infinity);
ACTUAL: infinity*signum(1/2*sum(_R1*(ln(_R1)+ln(1/_R1))/(_R1^3-3*_R1^2\
+3*_R1-1),_R1 = RootOf(2+_Z^4-4*_Z^3+6*_Z^2-4*_Z))-1/2*sum((ln\
(_R1)+ln(1/_R1))/(_R1^3-3*_R1^2+3*_R1-1),_R1 = RootOf(2+_Z^4-4\
*_Z^3+6*_Z^2-4*_Z)))
evalf(%);
Float(undefined)+Float(undefined)*I
EXPECTED: 1/2*Pi*ln(2^(3/4)+2^(1/4))-1/2*Catalan
CHECK-UP: 1.198673857
evalf(Int(ln(1+1/z^(1/2))/(1+z^2),z = 0 .. infinity));
1.198673857
EXAMPLE 3: int(ln(z^(3/2)+1)/(1+z^3),z = 0 .. infinity);
ACTUAL: signum(1/2*Sum(1,_alpha = RootOf(_Z^2+1))-1/2*Sum(_alpha^2,_al\
pha = RootOf(_Z^4-_Z^2+1)))*infinity
evalf(%);
Float(undefined)+Float(undefined)*I
EXPECTED: -(Pi*(Pi - 6*sqrt(3)*ln(2)))/18
CHECK-UP: .7089185601
evalf(Int(ln(z^(3/2)+1)/(1+z^3),z = 0 .. infinity));
.7089185598
...............................................................................
BUG # 33 (int)
****************************
*** SPURIOUS undefined ***
****************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG-2 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
EXAMPLE 1: int(1/abs(1-tan(z)), z=0..Pi/5);
ACTUAL: undefined
EXPECTED: Pi/10 - ln(- sqrt(5/8 - sqrt(5)/8) + sqrt(5)/4 + 1/4)/2
CHECK-UP: 1.068431525
evalf(Int(1/abs(1-tan(z)), z=0..Pi/5));
1.068431525
EXAMPLE 2: int(1/abs(1+tan(z)), z=0..Pi/5);
ACTUAL: undefined
EXPECTED: 1/2*ln(1+cot(3/10*Pi))+1/10*Pi-1/4*ln(1+cot(3/10*Pi)^2)
CHECK-UP: .4812520226
evalf(Int(1/abs(1+tan(z)), z=0..Pi/5));
.4812520226
...............................................................................
BUG # 34 (int)
***********************************
*** BAD NUMERICAL INTEGRATION ***
***********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
CANNOT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ERROR Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ERROR Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ERROR Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(sqrt(1+1/z^(3/2)), z=-1..1));
ACTUAL: 5.859030449+1.1610594455*I
EXPECTED: 7.303152458+2.657766004*I
7.241889406 + 2.646626173*I (Derive)
...............................................................................
BUG # 35 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************************
*** SPURIOUS NON-ZERO IMAGINARY PART ***
******************************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 2 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
BUG 2 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
UNDONE Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(ln(sin(z)/(1+z)), z=0..Pi);
ACTUAL: -Pi*ln(2)-I*Pi^2-ln(1+Pi)-Pi*ln(1+Pi)+Pi
-4.921529636-9.869604404*I
EXPECTED: -Pi*ln(2)-ln(1+Pi)-Pi*ln(1+Pi)+Pi
CHECK-UP: -4.921529636
evalf(Int(ln(sin(z)/(1+z)), z=0..Pi));
-4.921529635
...............................................................................
BUG # 36 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************
*** SYSTEM ERROR ***
**********************
REPRODUCIBLE INTERMITTENTLY
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CRASHED Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(arcsin(1/arccos(z)), z=0..infinity);
ACTUAL: unevaluated or `System error, `, "ran out of memory"
EXPECTED: int(Re(arcsin(1/arccos(z))), z=0..1)-Infinity*I
...............................................................................
BUG # 37 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
UNDONE Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(ln(sin(z)/(1+z)), z=0..infinity);
ACTUAL: Error, (in limit/range) numeric exception: division by zero
EXPECTED: -infinity+I*infinity
...............................................................................
BUG # 38 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
********************
*** WRONG SIGN ***
********************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(ln(z)*arctan(z), z=0..infinity);
ACTUAL: -infinity
EXPECTED: infinity
CHECK-UP: evalf(Int(ln(z)*arctan(sqrt(z)), z=0..infinity));
Float(infinity)
..............................................................................
BUG # 39 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** INVALID Im MAGNITUDE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(int(ln(z)*arctan(z)/(1+z^2)^2,z=-infinity..infinity));
ACTUAL: -1.937892292*I
EXPECTED: -1.152494129*I
ANSWER: -1/16*I*Pi*(-4+Pi^2)
-1.152494130*I
CHECK-UP: evalf(Int(ln(z)*arctan(z)/(1+z^2)^2,z=-infinity..infinity));
0.-1.152494129*I
...............................................................................
BUG # 40 (evalf)
*********************************
*** SLOWDOWN OF 14240 TIMES ***
*********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ABSENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
It takes 213.6 seconds to calculate the following approximation. In Maple 7 it
takes only 0.015 seconds.
time(evalf(hypergeom([1, 1, 5/4],[2, 7/4],1)));
ACTUAL: 213.6
EXPECTED: 0.015
...............................................................................
BUG # 41 (int)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CANNOT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(ln(1+sin(z)), z=0..infinity);
ACTUAL: Error, (in limit/range) invalid terms in sum
EXPECTED: infinity
The same problem with
int(ln(1+sin(z)^2), z=0..infinity);
int(ln(1-sin(z)), z=0..infinity);
int(ln(1+cos(z)), z=0..infinity);
int(ln(1-cos(z)), z=0..infinity);
int(ln(1-sin(z)^2), z=0..infinity);
int(ln(1+cos(z)^2), z=0..infinity);
int(ln(1-cos(z)^2), z=0..infinity);
int(ln(1+sin(z)^2), z=0..infinity);
...............................................................................
BUG # 42 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** SPURIOUS undefined ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(abs(sin(z)), z=-infinity..infinity);
ACTUAL: undefined
EXPECTED: infinity
...............................................................................
BUG # 43 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
LOOPED Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ERROR 2 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ERROR 2 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(arcsin(1/arccos(z)), z=0..1));
ACTUAL: Error, (in simpl/simpl/ReIm/sum) too many levels of recursion
EXPECTED: 1.224555967 - 0.4729516698*I
CHECK-UP: evalf(Int(arcsin(z)/z^2*sin(1/z),z=2/Pi..infinity));
1.224555970-.4729517363*I
...............................................................................
BUG # 44 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
***********************************
*** SIMPLE INTEGRAL IS UNDONE ***
***********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ERROR 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ERROR 1 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
This integral is TOO simple to be left unprocessed.
I definitely feel, it is a BUG.
int(Ci(z), z=0..infinity);
ACTUAL: limit(z*Ci(z)-sin(z),z = infinity)
EXPECTED: 0
CHECK-UP: evalf(Int(Ci(z), z=0..infinity));
-.2e-12
...............................................................................
BUG # 45 (int)
*********************************
*** INVALID Re/Im MAGNITUDE ***
*********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(int(sqrt(abs(z^3+1)),z=0..2));
ACTUAL: 2.144908076+.9220552755*I
EXPECTED: 12/5+2/5*3^(3/4)*EllipticK(1/4*2^(1/2)*3^(1/2)+1/4*2^(1/2))-1/\
5*3^(3/4)*EllipticF(2*3^(1/4)/(1+3^(1/2)),1/4*2^(1/2)*3^(1/2)+\
1/4*2^(1/2))-1/5*3^(3/4)*EllipticF(2*3^(3/4)/(3+3^(1/2)),1/4*2\
^(1/2)*3^(1/2)+1/4*2^(1/2))
CHECK-UP: 3.241309265
evalf(Int(sqrt(abs(z^3+1)),z=0..2));
3.241309263
...............................................................................
BUG # 46 (int)
******************************
*** INVALID Re MAGNITUDE ***
******************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 2 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
BUG 2 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
BUG 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(int(1/(1+(-1+z)^2)*arctan(z), z=0..infinity));
ACTUAL: .7101324486+0.*I
EXPECTED: -1/4*arctan(1/3)^2-1/2*Pi*arctan(1/3)+1/16*ln(5)^2 -1/8*ln(2)*\
ln(5)+1/4*dilog(2/5-1/5*I)+1/4*dilog(2/5+1/5*I)+15/64*Pi^2
CHECK-UP: 2.152744571+0.*I
evalf(Int(1/(1+(-1+z)^2)*arctan(z), z=0..infinity));
2.152744570
...............................................................................
BUG # 47 (fourier/invfourier)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
********************************
*** BAD fourier/invfourier ***
********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
UNDONE Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
UNDONE Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
invfourier(fourier(ln(1+1/z),z,p),p,z);
ACTUAL: 0
EXPECTED: ln(1+1/z)
...............................................................................
BUG # 48 (fourier/invfourier)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
********************************
*** BAD fourier/invfourier ***
********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
UNDONE Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
UNDONE Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
invfourier(fourier(ln(z),z,p),p,z);
ACTUAL: -infinity/Pi
EXPECTED: ln(z)
The same problem with
fourier(ln(1+z),z,p);
fourier(ln(1-z),z,p);
fourier(ln(z)/(1-z^2),z,p);
fourier(ln(1+1/z),z,p);
fourier(ln(1-1/z),z,p);
fourier(ln(1-1/z^2),z,p);
fourier(ln(z)*Heaviside(z),z,p);
...............................................................................
BUG # 49 (fourier)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
UNDONE Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
UNDONE Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
UNDONE Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
fourier(ln(z)*ln(1/z), z, p);
ACTUAL: Error, (in inttrans/normalize/distributional) unable to
evaluate sign
The same problem with
fourier(ln(z)*ln(-z), z, p);
fourier(ln(1+z)*ln(1-z), z, p);
fourier(ln(z)/(1+z), z, p);
fourier(ln(z)/(1-z), z, p);
fourier(ln(z)/(1+z^2), z, p);
fourier(ln(z)/(1-z^2), z, p);
fourier(ln(z)/(1+z^3), z, p);
fourier(ln(z)/(1-z^3), z, p);
...............................................................................
BUG # 50 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** SPURIOUS undefined ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG 2 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 2 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(int(sqrt(abs(z-1)*(z^2+1)),z=0..2));
ACTUAL: undefined
EXPECTED:
...............................................................................
BUG # 51 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
*********************************
*** INVALID Re/Im MAGNITUDE ***
*********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG 2 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 2 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
UNDONE Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(sqrt(-z^3+z^2-z+1),z=0..1):
evalf(%,25);
ACTUAL: .7282824328479719343655894-.30452847612989774120152e-2*I
EXPECTED: .7356418194982207194404737
ANSWER: 2/15+8/15*(2+2*I)^(1/2)*EllipticF(1/2*(2-2*I)^(1/2),1/2*2^(1/2\
)+1/2*I*2^(1/2))-4/15*(2+2*I)^(1/2)*EllipticE(1/2*(2-2*I)^(1/2\
),1/2*2^(1/2)+1/2*I*2^(1/2))+4/15*I*(2+2*I)^(1/2)*EllipticE(1/\
2*(2-2*I)^(1/2),1/2*2^(1/2)+1/2*I*2^(1/2))-4/15*I*(2+2*I)^(1/2\
)*EllipticF(1/2*(2-2*I)^(1/2),1/2*2^(1/2)+1/2*I*2^(1/2))
CHECK-UP: evalf(%,25);
.7356418194982207194404731+0.*I
evalf(Int(sqrt(-z^3+z^2-z+1),z=0..1),25);
.7356418194982207194404737
...............................................................................
BUG # 52 (laplace)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
laplace(ln(z)^2/(1+z),z,p);
ACTUAL: Error, (in int/cook/ngritty) wrong number (or type) of
parameters in function diff
EXPECTED: 1/6*Pi^2*exp(p)*Ei(1,p)+gamma^2*exp(p)*Ei(1,p)+2*exp(p)*gamma*\
ln(p)*Ei(1,p)+2*exp(p)*gamma*MeijerG(3,0,p)*p+exp(p)*ln(p)^2*\
Ei(1,p)+2*exp(p)*ln(p)*MeijerG(3,0,p)*p+2*exp(p)*MeijerG(4,0,p\
)*p
...............................................................................
BUG # 53 (plot)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can draw this graph correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
***********************
*** INVALID GRAPH ***
***********************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
plot((1 - signum(z*(z + 1)))/sqrt(z + 1),z=0..10);
ACTUAL: A vertical line from y = 0 to y = 0.55
EXPECTED: The vertical line is absent.
COMMENT: Mathematica 4.2, MuPAD 2.5 and Derive 5.06 handle it.
DRAW ME: Plot[(1 - Sign[z*(z + 1)])/Sqrt[z + 1], {z, 0, 10}]
plotfunc2d((1 - sign(z*(z + 1)))/sqrt(z + 1), z=0..10);
(1 - SIGN(z*(z + 1)))/SQRT(z + 1)
...............................................................................
BUG # 54 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
*************************
*** INVALID Re SIGN ***
*************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The sign of the output must be opposite.
The value of the integral must be negative as the integrand is negative
everywhere over the integration region.
evalf(int(1/(sqrt(z-1)*sqrt(z-2)*sqrt(3-z)), z=0..1));
ACTUAL: 1.168165683
EXPECTED: -1.168165683
CHECK-UP: evalf(Int(1/(sqrt(z-1)*sqrt(z-2)*sqrt(3-z)), z=0..1));
-1.168165683
HINT: plot(1/(sqrt(z-1)*sqrt(z-2)*sqrt(3-z)), z=0..1)
...............................................................................
BUG # 55 (invlaplace)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
*************************
*** INVALID Re SIGN ***
*************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
UNDONE Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The output of the Laplace transform is correct.
with(inttrans):
laplace(1/sqrt(1+z), z, p), p, z);
(Pi/p)^(1/2)*exp(p)*erfc(p^(1/2)) # OK
However, the output of the inverse Laplace transform has the wrong sign.
The easiest way to see it is to draw
original := 1/sqrt(1+z):
plot(original + invlaplace(laplace(original,z,p),p,z),z=0..10);
which yields the straight line y = 0 (in fact, Maple 8 explodes it into
a picket fence of vertical lines) instead of the curve y = 2/sqrt(1+z).
...............................................................................
BUG # 56 (invlaplace)
*************************
*** INVALID Re SIGN ***
*************************
REGRESSION YES
REPRODUCIBLE INTERMITTENTLY
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The output of the Laplace transform is correct.
with(inttrans):
laplace(arccosh(1-z), z, p);
1/p*exp(-p)*BesselK(0,-p) # OK
However, the output of the inverse Laplace transform has the wrong sign.
The easiest way to see it is to draw
original := arccosh(1-z):
plot(original + invlaplace(laplace(original,z,p),p,z),z=0..10);
which yields the straight line y = 0 (in fact, Maple 8 explodes it into
a picket fence of vertical lines) instead of the curve y = 2*arccosh(1-z).
invlaplace(laplace(original,z,p),p,z);
EXPECTED: 2*ln(-1/2*I*2^(1/2)*(z^(1/2)+(z-2)^(1/2)))
...............................................................................
BUG # 57 (int)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG 1 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 2 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 2 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(sqrt(abs(z^2-1)*(z^2+1)),z=0..2);
ACTUAL: Error, (in signum/main) too many levels of recursion
EXPECTED: 1/4*Beta(1/4,3/2)+2/3*5^(1/2)*3^(1/2)-1/3*2^(1/2)*EllipticF(1/\
2*3^(1/2),1/2*2^(1/2))
CHECK-UP: 2.917461861
evalf(Int(sqrt(abs(z^2-1)*(z^2+1)),z=0..2));
2.917461860
The same problem with
int(sqrt(abs(z^2-1)*(z^2+1)),z=-2..2);
int(sqrt(abs(z^2-1)*(z^2+1)),z=-infinity..infinity);
...............................................................................
BUG # 58 (evalf)
**************************************
*** NUMERIC VALUE IS UNAVAILABLE ***
**************************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
BUG 1 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(sqrt(1-1/z^(4/3)), z=0..1));
ACTUAL: Int((1.-1./z^(4/3))^(1/2),z = 0. .. 1.)
EXPECTED: 2.622057554*I
...............................................................................
BUG # 59 (fourier/invfourier)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG 1 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
BUG 1 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans);
invfourier(fourier(ln(z)*ln(1/z), z, p), p, z);
ACTUAL: Error, (in inttrans/normalize/distributional) unable to
evaluate sign
EXPECTED: ln(z)*ln(1/z)
The same problem with
invfourier(fourier(ln(1+z)*ln(1-z), z, p), p, z);
...............................................................................
BUG # 60 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** SPURIOUS undefined ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(erf(1+z/exp(z)), z=-infinity..infinity);
ACTUAL: undefined
int(erf(1+z/exp(z)), z=-infinity..infinity,
'CauchyPrincipalValue');
ACTUAL: undefined
EXPECTED: -infinity
CHECK-UP: evalf(Int(erf(1+z/exp(z)), z=-10^6..10^6));
-157298.1589
HINT: plot(evalf(Int(erf(1+z/exp(z)), z=-a..a)),a=0..20);
...............................................................................
BUG # 61 (invlaplace)
******************************
*** INVALID Re MAGNITUDE ***
******************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ABSENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The output for the inverse Laplace transform is invalid.
with(inttrans):
laplace(sqrt(1+z), z, p):
invlaplace(%,p,z);
ACTUAL: 1+sqrt(Pi)/2*int(2*Heaviside(_U1-1)*Heaviside(1+z-_U1)*sqrt(1+\
z-_U1)/(Pi^(3/2)*_U1*(_U1-1)), _U1=0..z)
evalf(subs(z=1, %));
1. # it should be 1.414213562, evalf(sqrt(2))
EXPECTED: 1-1/(1+z)+1/(1+z)/z^(1/2)/(1/(-1-z))^(1/2)/(1+1/z*(-1-z))^(1/2\
)-1/(1+z)*z+1/(1+z)*z^(1/2)/(1/(-1-z))^(1/2)/(1+1/z*(-1-z))^(1\
/2)
...............................................................................
BUG # 62 (invlaplace)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** SPURIOUS undefined ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG 1 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The output for the inverse Fourier transform is invalid.
with(inttrans):
invfourier(fourier(abs(z)*sin(z)*ln(z), z, p), p, z);
ACTUAL: undefined/Pi
EXPECTED: abs(z)*sin(z)*ln(z)
...............................................................................
BUG # 63 (invfourier)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG 1 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
fourier(sin(5*z)*cos(2*z)*ln(z), z, p);
invfourier(%, p, z);
ACTUAL: Error, (in inttrans/normalize/exp/classsimp) unable to
compute coeff
EXPECTED: sin(5*z)*cos(2*z)*ln(z)
...............................................................................
BUG # 64 (evalf)
****************
*** LOOPED ***
****************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
CRASHED Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ERROR 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ERROR 1 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
LOOPED Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(ln(1+z)*ln(1-z^3), z=-infinity..infinity));
ACTUAL: Being the single task, after 2 hours the input keeps running
EXPECTED: a large number like .3178376964e^1008 + .2892257128e1005*I
...............................................................................
BUG # 65 (interface)
**************************************
*** INDICATORS ARE NOT REFRESHED ***
**************************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ABSENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(ln(1+z)*ln(1-z^3), z=-infinity..infinity));
ACTUAL: The same report 'Timer: 3.3s' is shown for 2 hours
EXPECTED: The reading of the indicator is changed
...............................................................................
BUG # 66 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************************
*** SPURIOUS NON-ZERO IMAGINARY PART ***
******************************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(int(ln(1+z)*ln(1-z^2), z=-1..1));
ACTUAL: 4*ln(2)^2-8*ln(2)+4*I*Pi*ln(2)-4*I*Pi+8-1/3*Pi^2
1.086766477-3.856026256*I
EXPECTED: 4*ln(2)^2-8*ln(2)+8-1/3*Pi^2
CHECK-UP: 1.086766477
evalf(Int(ln(1+z)*ln(1-z^2), z=-1..1));
1.086766477
...............................................................................
BUG # 67 (invlaplace)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** INVALID Re MAGNITUDE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The value of the inverse Laplace transformation of laplace(BesselK(1, sqrt(z)\
), z, p); is incorrect. Spurious factor 1/64*Pi is present in the answer.
with(inttrans):
laplace(BesselK(1, sqrt(z)), z, p);
1/8*Pi^(1/2)/p^(3/2)*exp(1/8/p)*(BesselK(1,1/8/p)- # VALID
BesselK(0,1/8/p)) # VALID
invlaplace(%, p, z);
ACTUAL: 1/64*Pi*BesselK(1,z^(1/2)) # INVALID
EXPECTED: BesselK(1,z^(1/2))
...............................................................................
BUG # 68 (laplace)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************************
*** SPURIOUS NON-ZERO IMAGINARY PART ***
******************************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
laplace(1/(z^2-1), z, p);
ACTUAL: -I*(I*Ci(I*p)*sinh(p)-Ssi(I*p)*cosh(p))
evalf(subs(p=1/2,%));
-.5992044654-.9527361321*I
EXPECTED: The imaginary part of the answer = 0
...............................................................................
BUG # 69 (fourier)
****************
*** LOOPED ***
****************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ABSENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
BUG 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
fourier(sin(z)/(1+z^3),z,p);
ACTUAL: Being the single task, after 7.4 hours the input keeps running
EXPECTED: -1/2*I*(1/3*I*exp(I*(-1+p))*Pi*(Heaviside(1-p)-Heaviside(-1+p)\
)+exp(-1/2*I*(-1+p))*(1/3*I*(-1-I*3^(1/2))*exp(1/2*3^(1/2)*(-1\
+p))*Pi*Heaviside(1-p)-1/3*I*(-1+I*3^(1/2))*exp(-1/2*3^(1/2)*(\
-1+p))*Pi*Heaviside(-1+p))) + 1/2*I*(1/3*I*exp(I*(1 + p))*Pi*(\
Heaviside(-1-p)-Heaviside(1+p))+exp(-1/2*I*(1+p))*(1/3*I*(-1-I\
*3^(1/2))*exp(1/2*(1+p)*3^(1/2))*Pi*Heaviside(-1-p)-1/3*I*(-1+\
I*3^(1/2))*exp(-1/2*(1+p)*3^(1/2))*Pi*Heaviside(1+p)))
...............................................................................
BUG # 70 (laplace)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************************
*** SPURIOUS NON-ZERO IMAGINARY PART ***
******************************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The imaginary part of the output must be equal to zero.
with(inttrans):
laplace(exp(-z)/(1-z^2), z,p);
ACTUAL: I*(I*Ci(I*(1+p))*sinh(1+p)-Ssi(I*(1+p))*cosh(1+p))
evalf(subs(p=1,%));
.515905660+.212584166*I
...............................................................................
BUG # 71 (laplace)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************************
*** SPURIOUS NON-ZERO IMAGINARY PART ***
******************************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The imaginary part of the output must be equal to zero.
with(inttrans):
laplace(sqrt(z)/(1-z), z,p);
ACTUAL: -(Pi/p)^(1/2)+I*Pi*exp(-p)*erfc((-p)^(1/2))
evalf(subs(p=1,%));
.134988344+1.155727338*I
...............................................................................
BUG # 72 (laplace)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************************
*** SPURIOUS NON-ZERO IMAGINARY PART ***
******************************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The imaginary part of the output must be equal to zero.
with(inttrans):
laplace(sec(z), z, p);
ACTUAL: -I*p*Sum(2*n/(p^2+n^2)*exp(-1/2*I*n*Pi),n=0..infinity)-1/p^2
evalf(subs(p=1,%));
-1.626020143+.5161277204*I
...............................................................................
+++
BUG # 73 (laplace)
**********************************
*** FAILURE AFTER 266 minutes ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CANNOT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
laplace(exp(-z^3)/z^10, z, p);
ACTUAL: int(int(int(int(int(int(int(int(int(int(laplace(exp(-z^3), z, \
_U1),_U1=_U2..infinity),_U2=_U3..infinity),_U3=_U4..infinity),\
_U4=_U5..infinity),_U5=_U6..infinity),_U6=_U7..infinity), _U7=\
_U8..infinity),_U8=_U9..infinity),_U9=_U10..infinity), _U10= \
p..infinity)
EXPECTED: If Maple cannot return an answer, it should be recognized
faster.
...............................................................................
BUG # 74 (invlaplace)
******************************
*** INVALID Re MAGNITUDE ***
******************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ABSENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
BUG 1 Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The Laplace transform is v a l i d.
with(inttrans):
laplace(sqrt(1+z), z, p);
1/p^(3/2)*exp(p)*(p^(1/2)*exp(-p)+1/2*Pi^(1/2)*erfc(p^(1/2)))
However, the inverse Laplace transform is i n v a l i d.
invlaplace(%,p,z);
ACTUAL: 1+sqrt(Pi)/2*int(2*Heaviside(_U1-1)*Heaviside(1+z-_U1)*sqrt(1+\
z-_U1)/(Pi^(3/2)*_U1*(_U1-1)), _U1=0..z)
evalf(subs(z=1,%));
1.
EXPECTED: 1-1/(1+z)-1/(1+z)*z+1/(1+z)/(1+1/(-1-z)*z)^(1/2)+1/(1+z)*z/(1+\
1/(-1-z)*z)^(1/2)
CHECK-UP: evalf(subs(z=1,%));
1.414213562
evalf(sqrt(1+1));
1.414213562
...............................................................................
BUG # 75 (laplace)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
laplace(sin(z)*sqrt(z),z,p);
ACTUAL: Error, (in tablelook) wrong number (or type) of parameters
in function iquo
EXPECTED: 1/2*Pi^(1/2)/(p^2+1)^(3/4)*sin(3/2*arctan(1/p))
COMMENT: Mathematica 4.2 handles it.
The same problem with
laplace(sqrt(z)*cos(z),z,p);
laplace(sqrt(z)*sin(2*z),z,p);
laplace(sqrt(z)*cos(2*z),z,p);
laplace(sqrt(z)*sin(z+1),z,p);
laplace(sqrt(z)*sin(z+c),z,p);
laplace(sqrt(z)*sin(c*z),z,p);
laplace(z^(1/3)*sin(z),z,p);
laplace(z^(1/3)*cos(z),z,p);
laplace(z^(1/4)*sin(z),z,p);
laplace(z^(1/4)*cos(z),z,p);
laplace(z^(1/3)*sin(c*z),z,p);
...............................................................................
+++
BUG # 76 (laplace)
****************************
*** MEANINGLESS OUTPUT ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The answer does NOT depend on p though it must depend.
with(inttrans):
laplace(frac(z), z, p);
ACTUAL: (exp(-1/N*t)*t+exp(-1/N*t)*N-N)/t^2/(exp(-1/N*t)-1)
EXPECTED: The output depends on p only.
...............................................................................
BUG # 77 (invlaplace)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans);
invlaplace(exp(-p*Pi)/(p*(-1+exp(-p*Pi))),p,z);
ACTUAL: Error, (in inttrans/simpfloor) unable to evaluate sign
EXPECTED: Heaviside(z-Pi)*floor(-(z-Pi)/Pi)
The same problem with
invlaplace(1/(p*(1+exp(-p*Pi))),p,z);
invlaplace(1/(p*(1-exp(-p*Pi))),p,z);
invlaplace(1/(p*(1-exp(p*Pi))),p,z);
invlaplace(exp(-p*Pi)/(p*(1+exp(-p*Pi))),p,z);
invlaplace(exp(-p*Pi/2)/(p*(1+exp(-p*Pi))),p,z);
invlaplace(exp(-p*Pi/2)/(p*(-1+exp(-p*Pi))),p,z);
...............................................................................
BUG # 78 (laplace)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this expression correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
BUG 2 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
with(inttrans):
laplace(BesselY(0, sqrt(z)), z, p);
ACTUAL: Error, (in cot) numeric exception: division by zero
EXPECTED: 1/p/Pi*exp(-1/4/p)*Ei(1/4/p)
The same problem with
laplace(BesselY(k, sqrt(z)), z, p);
where k = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10.
...............................................................................
BUG # 79 (laplace)
*****************************
*** STRANGE LIMITATIONS ***
*****************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
These 3 examples work fine.
with(inttrans):
laplace(z*sin(z),z,p):
invlaplace(%, p, z);
z*sin(z)
laplace(z^2*sin(z),z,p):
invlaplace(%, p, z);
z^2*sin(z)
laplace(z^3*sin(z),z,p):
invlaplace(%, p, z);
z^3*sin(z)
However, the next example does not work.
laplace(z^4*sin(z),z,p):
invlaplace(%, p, z);
ACTUAL: 24*invlaplace(1/(p^2+1)^(5/2)*sin(5*arctan(1/p)),p,z)
EXPECTED: z^4*sin(z)
The same problem with
laplace(z^k*sin(z),z,p):
invlaplace(%, p, z);
where k = 5, 6, 7, 8, 9, 10.
...............................................................................
BUG # 80 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** SPURIOUS undefined ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CANNOT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
EXAMPLE 1: int(sqrt(1+cos(z)), z=0..infinity);
ACTUAL: undefined
EXPECTED: infinity
CHECK-UP: evalf(Int(sqrt(1+cos(z)), z=0..1000));
900.7628495
EXAMPLE 2: int(sqrt(1+sin(z)), z=0..infinity);
ACTUAL: undefined
EXPECTED: infinity
CHECK-UP: evalf(Int(sqrt(1+sin(z)), z=0..1000));
900.6076621
...............................................................................
BUG # 81 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CRASHED Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CRASHED Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
EXAMPLE 1: int(sqrt(1+sin(z)^2), z=0..infinity);
ACTUAL: Error, (in gcd/doit) too many levels of recursion
EXPECTED: infinity
CHECK-UP: evalf(Int(sqrt(1+sin(z)^2), z=0..1000));
1215.912321
EXAMPLE 2: int(sqrt(1+cos(z)^2), z=0..infinity);
ACTUAL: Error, (in gcd/doit) too many levels of recursion
EXPECTED: infinity
CHECK-UP: evalf(Int(sqrt(1+cos(z)^2), z=0..1000));
1216.104119
...............................................................................
BUG # 82 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(ln(Ci(z)), z=1..infinity);
ACTUAL: Error, (in limit/range) numeric exception: division by zero
EXPECTED: -infinity+infinity*I
...............................................................................
BUG # 83 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
*********************************
*** INVALID Re/Im MAGNITUDE ***
*********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
BUG 1 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(sqrt(abs(sqrt(z) - 1)), z= -1..1);
ACTUAL: 4/3*(1-I)^(1/2)+4/15*I*(1-I)^(1/2)
1.586269446-.3138040504*I
EXPECTED: 8*2^(1/4)/5 - 4/15
1.636064717
CHECK-UP: evalf(Int(sqrt(abs(sqrt(z) - 1)), z= -1..1));
...............................................................................
BUG # 84 (plot)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can draw this graph correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
***********************
*** INVALID GRAPH ***
***********************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
EXAMPLE 1: plot(sin(z),z=10^10..infinity);
ACTUAL: A vertical line at infinity
EXPECTED: A warning message like 'Unable show the graph. Try THIS or
THAT' is shown where THIS and THAT are actions proposed to
the user.
EXAMPLE 2: plot(sin(z),z=10^7..infinity);
ACTUAL: 4 vertical lines connected by 3 obliques.
EXPECTED: A warning message like 'Unable show the graph. Try THIS or
THAT' is shown where THIS and THAT are actions proposed to
the user.
EXAMPLE 3: plot(sin(z),z=10^10..10^45);
ACTUAL: Only the axes are shown.
EXPECTED: A warning message like 'Unable show the graph. Try THIS or
THAT' is shown where THIS and THAT are actions proposed to
the user.
...............................................................................
BUG # 85 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculute this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** STRANGE LIMITATION ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
Consider int(Pi/2-arctan(z^k), z=0..infinity);
Maple 8 can calculate correctly the integral at k = 0, 1, 2, 3, 4, 5, 6, 8, 10.
However, for k = 7 and k = 9 it, unexpectedly, cannot do it.
EXAMPLE 1: int(Pi/2-arctan(z^7), z=0..infinity);
ACTUAL: int(Pi/2-arctan(z^7), z=0..infinity);
EXPECTED: (sin(3*Pi/14)*(4*Pi*sin(Pi/14)/7+2*Pi/7)-2*Pi*cos(Pi/7)*sin(3*\
Pi/14)/7)/cos(3*Pi/14) - cos(Pi/7)*(4*Pi/(7*cos(Pi/14))-12*Pi*\
sin(3*Pi/14)/(7*sin(Pi/7))+(6*Pi/7-6*Pi*sin(Pi/14)/7)/sin(Pi/7\
))+(Pi/7-2*Pi*sin(Pi/14)/7)/cos(Pi/14)
CHECK-UP: 1.611192283
evalf(Int(Pi/2-arctan(z^7), z=0..infinity));
1.611192281
EXAMPLE 2: int(Pi/2-arctan(z^9), z=0..infinity);
ACTUAL: int(Pi/2-arctan(z^9), z=0..infinity);
EXPECTED: -1/18*(-1)^(5/9)*(9*I-2*(-1)^(1/18) +8*(-1)^(7/18)+4*(-1)^(13/\
18)+3*3^(1/2)-6*(-1)^(4/9)*3^(1/2))*Pi
CHECK-UP: 1.595028393+.3418939372e-9*I
evalf(Int(Pi/2-arctan(z^9), z=0..infinity));
1.595028392
...............................................................................
BUG # 86 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculute this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** SPURIOUS CONVERGENCE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(ln(z)^2*sin(z), z = -infinity..infinity);
ACTUAL: Pi^2+2*I*Pi*gamma
EXPECTED: undefined
...............................................................................
BUG # 87 (evalf)
**************************************
*** NUMERIC VALUE IS UNAVAILABLE ***
**************************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
UNDONE Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
The answer involves terms like D[1,1](LommelS1)(1/2,1/2,1) .
evalf(subs(a=1,int(ln(z)^2*sin(z), z = 0..a)));
ACTUAL: .3011686789*D[1,1](LommelS1)(1/2,1/2,1)+
.4207354923*D[1](LommelS1)(3/2,3/2,1)-
.4207354924*D[1,1](LommelS1)(3/2,3/2,1)+.1606255735
EXPECTED: .2448680576
CHECK-UP: evalf(Int(ln(z)^2*sin(z), z = 0..1));
.2448680576
...............................................................................
BUG # 88 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(abs(1+sin(z)), z=-I*infinity..I*infinity);
ACTUAL: Error, (in limit) invalid limiting point
EXPECTED: I*infinity
CHECK-UP: evalf(Int(abs(1+sin(z)), z=-I*10..I*10));
22026.46575*I
...............................................................................
BUG # 89 (evalf)
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ERROR 1 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ERROR 1 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
evalf(Int(ln(Ci(z)), z=1..4));
ACTUAL: Error, (in evalf/int) cannot assume on a constant object
EXPECTED: -5.110609401+1.934654260*I
...............................................................................
BUG # 90 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
This works fine.
int(1/(1 + I)^2, z = -I*infinity..I*infinity);
infinity
However, this invokes an error.
int(1/sqrt(z + I), z = -I*infinity..I*infinity);
ACTUAL: Error, (in limit) invalid limiting point
EXPECTED: undefined
evalf(Int(1/sqrt(z + I), z = -I*infinity..I*infinity));
Float(undefined)+0.*I
The same problem with
int(1/z^2, z = 1..I*infinity);
int(1/z, z = 1..I*infinity);
int(z^sqrt(2), z=0..I*infinity);
int(z^sqrt(2), z=-I*infinity..infinity);
...............................................................................
BUG # 91 (limit)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this limit correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** SPURIOUS undefined ***
****************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
expr := z*(sin(z)*BesselJ(0,z)-cos(z)*BesselJ(1,z));
limit(expr, z=infinity);
ACTUAL: undefined
EXPECTED: infinity
CHECK-UP: evalf(limit(z*(sin(z)*BesselJ(0,z)-cos(z)*BesselJ(1,z)),
z=10^10));
56418.95836
HINT: plot(expr, z=0..100);
...............................................................................
BUG # 92 (limit)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this limit correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** INVALID Im MAGNITUDE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
PRESENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
limit(exp(-1 + I*z) + exp(1 - I*z), z = infinity);
ACTUAL: -exp(-1)-I*exp(-1)-exp(1)-I*exp(1) .. exp(-1)+I*exp(-1)+exp(1)\
+I*exp(1)
-3.086161269-3.086161269*I .. 3.086161269+3.086161269*I
EXPECTED: -2*cosh(1) - I*2*sinh(1) .. 2*cosh(1) + I*2*sinh(1)
-3.086161270-2.350402388*I .. 3.086161270+2.350402388*I
HINT: plot(Im(exp(-1 + I*z) + exp(1 - I*z)), z = 1000000..1000200);
...............................................................................
BUG # 93 (plot)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can draw this graph correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
***********************
*** INVALID GRAPH ***
***********************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
BUG 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
plot(abs(cos(z) + I*sin(z)) - 1, z= -1..1);
ACTUAL: Spurious vertical lines near z = 0.4 .
EXPECTED: The straight line y = 0.
COMPARE 1: Derive 5.05 (You may wish to use a free trial version at
http://www.derive.com)
ABS(COS(z) + #I*SIN(z)) - 1
COMPARE 2: MuPAD 2.5 (You may wish to use a free trial version at
http://www.mupad.com)
plotfunc2d(abs(cos(z) + I*sin(z)) - 1, z= -1..1);
...............................................................................
BUG # 94 (plot)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can draw this graph correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
***********************
*** INVALID GRAPH ***
***********************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
BUG 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
plot(-3 + abs((-1 + (1 + 6*(cos(z) + I*sin(z)))/(1 +3*(cos(z)+\
I*sin(z))))/(-2 + (1 + 6*(cos(z) + I*sin(z)))/(1 + 3*(cos(z) +\
I*sin(z))))), z= -2..2);
ACTUAL: A complex-looking shape filled with hundreds vertical lines.
EXPECTED: The straight line y = 0.
COMPARE 1: Derive 5.05 (You may wish to use a free trial version at
http://www.derive.com)
-3+ABS((-1+(1+6*(COS(z)+#i*SIN(z)))/(1+3*(COS(z)+#i*SIN(z))))/~
(-2+(1+6*(COS(z)+#i*SIN(z)))/(1+3*(COS(z)+#i*SIN(z)))))
COMPARE 2: MuPAD 2.5 (You may wish to use a free trial version at
http://www.mupad.com)
plotfunc2d(-3+abs((-1 + (1 +6*(cos(z)+I*sin(z)))/(1+3*(cos(z)+\
I*sin(z))))/(-2 + (1 + 6*(cos(z) + I*sin(z)))/(1 + 3*(cos(z) +\
I*sin(z))))), z= -2..2);
...............................................................................
BUG # 95 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
**********************************
*** ERROR MESSAGE IS INVOKED ***
**********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
CANNOT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
PRESENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
BUG 1 Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(Beta(1/z,-1/2), z=0..infinity);
ACTUAL: Error, (in expand/Psi) too many levels of recursion
EXPECTED: infinity
CHECK-UP: evalf(Int(Beta(1/z,-1/2), z=0..10^100));
.5000000000e200
The same problem with
int(Beta(1/z^(1/2),-1/2), z=0..infinity);
...............................................................................
BUG # 96 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
***********************************
*** SIMPLE INTEGRAL IS UNDONE ***
***********************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
CANNOT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ERROR Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
This integral is TOO simple to be left unprocessed.
int(1/(z + sqrt(1-z)), z=0..1);
ACTUAL: 2/5*5^(1/2)*Re(arctanh(3/5*5^(1/2)))-1/2*I*Pi-1/2*ln(5+5^(1/2)\
)+1/2*ln(-5-5^(1/2))+limit(1/2*ln(z^2-1+z)+1/5*5^(1/2)*arctanh\
(1/5*(2*z+1)*5^(1/2))-1/2*ln(- z + (1-z)^(1/2)) - 1/5*5^(1/2)*\
arctanh(1/5*(2*(1-z)^(1/2)+1)*5^(1/2))+1/2*ln(-z-(1-z)^(1/2))-\
1/5*5^(1/2)*arctanh(1/5*(2*(1-z)^(1/2)-1)*5^(1/2)),z = RootOf(\
_Z^2-1+_Z,.6180339887),left)+limit(-1/2*ln(z^2-1+z)-1/5*5^(1/2\
)*arctanh(1/5*(2*z+1)*5^(1/2))+1/2*ln(-z+(1-z)^(1/2))+1/5*5^(1\
/2)*arctanh(1/5*(2*(1-z)^(1/2)+1)*5^(1/2))-1/2*ln(-z-(1-z)^(1/\
2))+1/5*5^(1/2)*arctanh(1/5*(2*(1-z)^(1/2) - 1)*5^(1/2)), z = \
RootOf(_Z^2-1+_Z,.6180339887),right)
evalf(%);
.9779728648+3.844074127*I+limit(-1/2*ln(z^2-1+z)-1/5*5^(1/2)*a\
rctanh(1/5*(2*z+1)*5^(1/2))+1/2*ln(-z+(1-z)^(1/2))+1/5*5^(1/2)\
*arctanh(1/5*(2*(1-z)^(1/2)+1)*5^(1/2))-1/2*ln(-z-(1-z)^(1/2))\
+1/5*5^(1/2)*arctanh(1/5*(2*(1-z)^(1/2)-1)*5^(1/2)),z = RootOf\
(_Z^2-1+_Z,.6180339887),right)
EXPECTED: sqrt(5)*ln(3*sqrt(5)/2+7/2)/5
CHECK-UP: .8608178820
evalf(Int(1/(z + sqrt(1-z)), z=0..1));
.8608178819
...............................................................................
BUG # 97 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
****************************
*** SPURIOUS undefined ***
****************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG 1 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
BUG 2 Maple V, Release 5, IBM INTEL NT, Nov 27 1997
BUG 2 Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(abs(1,tan(z)-1)*(1+tan(z)^2)/(tan(z)-1)^2,z=0..Pi/5);
ACTUAL: undefined
EXPECTED: (5-2*5^(1/2))^(1/2)/((5-2*5^(1/2))^(1/2)-1)
-2.656875748
CHECK-UP: evalf(Int(abs(1,tan(z)-1)*(1+tan(z)^2)/(tan(z)-1)^2,z=0..Pi/5))
-2.656875757
...............................................................................
BUG # 98 (int)
******************************
*** SPURIOUS CONVERGENCE ***
******************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
BUG 1 Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(ln(z)^2/sqrt(1+z), z=0..infinity);
ACTUAL: -16-4/3*Pi^2+16*ln(2)-8*ln(2)^2
-21.91274176
EXPECTED: infinity
CHECK-UP: evalf(Int(ln(z)^2/sqrt(1+z), z=0..infinity));
Float(infinity)
The same problem with
int(ln(z)^(2*k)/sqrt(1+z), z=0..infinity);
where k = 2, 3, 4, 5, and with
int(ln(z)^(2*k)/(1+z)^(1/3), z=0..infinity);
where k = 1, 2, 3, 4, 5.
...............................................................................
BUG # 99 (int)
****************************
*** SPURIOUS undefined ***
****************************
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(ln(z)^2/sqrt(1+z^2), z=0..infinity);
ACTUAL: undefined
EXPECTED: infinity
CHECK-UP: evalf(Int(ln(z)^2/sqrt(1+z^2), z=0..infinity));
Float(infinity)
The same problem with
int(ln(z)^(2*k)/sqrt(1+z^2), z=0..infinity);
where k = 2, 3, 4, 5.
...............................................................................
BUG # 100 (int)
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!! NONE Maple version can calculate this integral correctly !!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
******************************
*** SPURIOUS CONVERGENCE ***
******************************
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
PRESENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
PRESENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
PRESENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
CANNOT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
CANNOT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
int(Si(z)*ln(z), z=0..infinity);
ACTUAL: 1+gamma
EXPECTED: infinity
CHECK-UP: evalf(Int(Si(z)*ln(z), z=0..100));
567.9000385
HINT: plot(Si(z)*ln(z), z=0..100);
...............................................................................
© 2002-2008 Cyber Tester Ltd. All rights reserved. All logos and trademarks are property of their respective owners.
E-mail: vb@cybertester.com
© 2002-2008 Cyber Tester Ltd. All rights reserved. All logos and trademarks are property of their respective owners.
E-mail: vb@cybertester.com