4.20: Difference between revisions
Jump to navigation
Jump to search
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
||
Line 14: | Line 14: | ||
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E1 4.20.E1] | | | [https://dlmf.nist.gov/4.20.E1 4.20.E1] || <math qid="Q1689">\deriv{}{z}\sin@@{z} = \cos@@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{}{z}\sin@@{z} = \cos@@{z}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(sin(z), z) = cos(z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[Sin[z], z] == Cos[z]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E2 4.20.E2] | | | [https://dlmf.nist.gov/4.20.E2 4.20.E2] || <math qid="Q1690">\deriv{}{z}\cos@@{z} = -\sin@@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{}{z}\cos@@{z} = -\sin@@{z}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(cos(z), z) = - sin(z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[Cos[z], z] == - Sin[z]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E3 4.20.E3] | | | [https://dlmf.nist.gov/4.20.E3 4.20.E3] || <math qid="Q1691">\deriv{}{z}\tan@@{z} = \sec^{2}@@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{}{z}\tan@@{z} = \sec^{2}@@{z}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(tan(z), z) = (sec(z))^(2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[Tan[z], z] == (Sec[z])^(2)</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E4 4.20.E4] | | | [https://dlmf.nist.gov/4.20.E4 4.20.E4] || <math qid="Q1692">\deriv{}{z}\csc@@{z} = -\csc@@{z}\cot@@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{}{z}\csc@@{z} = -\csc@@{z}\cot@@{z}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(csc(z), z) = - csc(z)*cot(z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[Csc[z], z] == - Csc[z]*Cot[z]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E5 4.20.E5] | | | [https://dlmf.nist.gov/4.20.E5 4.20.E5] || <math qid="Q1693">\deriv{}{z}\sec@@{z} = \sec@@{z}\tan@@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{}{z}\sec@@{z} = \sec@@{z}\tan@@{z}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(sec(z), z) = sec(z)*tan(z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[Sec[z], z] == Sec[z]*Tan[z]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E6 4.20.E6] | | | [https://dlmf.nist.gov/4.20.E6 4.20.E6] || <math qid="Q1694">\deriv{}{z}\cot@@{z} = -\csc^{2}@@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{}{z}\cot@@{z} = -\csc^{2}@@{z}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(cot(z), z) = - (csc(z))^(2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[Cot[z], z] == - (Csc[z])^(2)</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E7 4.20.E7] | | | [https://dlmf.nist.gov/4.20.E7 4.20.E7] || <math qid="Q1695">\deriv[n]{}{z}\sin@@{z} = \sin@{z+\tfrac{1}{2}n\pi}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[n]{}{z}\sin@@{z} = \sin@{z+\tfrac{1}{2}n\pi}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(sin(z), [z$(n)]) = sin(z +(1)/(2)*n*Pi)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[Sin[z], {z, n}] == Sin[z +Divide[1,2]*n*Pi]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 21] | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E8 4.20.E8] | | | [https://dlmf.nist.gov/4.20.E8 4.20.E8] || <math qid="Q1696">\deriv[n]{}{z}\cos@@{z} = \cos@{z+\tfrac{1}{2}n\pi}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[n]{}{z}\cos@@{z} = \cos@{z+\tfrac{1}{2}n\pi}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(cos(z), [z$(n)]) = cos(z +(1)/(2)*n*Pi)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[Cos[z], {z, n}] == Cos[z +Divide[1,2]*n*Pi]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 21] | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E9 4.20.E9] | | | [https://dlmf.nist.gov/4.20.E9 4.20.E9] || <math qid="Q1697">\deriv[2]{w}{z}+a^{2}w = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[2]{w}{z}+a^{2}w = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(w, [z$(2)])+ (a)^(2)* w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, {z, 2}]+ (a)^(2)* w == 0</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.948557159+1.125000000*I | ||
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.948557159+1.125000000*I | Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.948557159+1.125000000*I | ||
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.948557159+1.125000000*I | Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.948557159+1.125000000*I | ||
Line 38: | Line 38: | ||
Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E10 4.20.E10] | | | [https://dlmf.nist.gov/4.20.E10 4.20.E10] || <math qid="Q1698">\left(\deriv{w}{z}\right)^{2}+a^{2}w^{2} = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\left(\deriv{w}{z}\right)^{2}+a^{2}w^{2} = 1</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(diff(w, z))^(2)+ (a)^(2)* (w)^(2) = 1</syntaxhighlight> || <syntaxhighlight lang=mathematica>(D[w, z])^(2)+ (a)^(2)* (w)^(2) == 1</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [272 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .125000001+1.948557159*I | ||
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .125000001+1.948557159*I | Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .125000001+1.948557159*I | ||
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .125000001+1.948557159*I | Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .125000001+1.948557159*I | ||
Line 46: | Line 46: | ||
Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E11 4.20.E11] | | | [https://dlmf.nist.gov/4.20.E11 4.20.E11] || <math qid="Q1699">\deriv{w}{z}-a^{2}w^{2} = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{w}{z}-a^{2}w^{2} = 1</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(w, z)- (a)^(2)* (w)^(2) = 1</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, z]- (a)^(2)* (w)^(2) == 1</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -2.125000001-1.948557159*I | ||
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -2.125000001-1.948557159*I | Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -2.125000001-1.948557159*I | ||
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -2.125000001-1.948557159*I | Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -2.125000001-1.948557159*I | ||
Line 54: | Line 54: | ||
Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E12 4.20.E12] | | | [https://dlmf.nist.gov/4.20.E12 4.20.E12] || <math qid="Q1700">w = A\cos@{az}+B\sin@{az}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>w = A\cos@{az}+B\sin@{az}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>w = A*cos(a*z)+ B*sin(a*z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>w == A*Cos[a*z]+ B*Sin[a*z]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.138704571+1.826991634*I | ||
Test Values: {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.586785764-.8180862806*I | Test Values: {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.586785764-.8180862806*I | ||
Test Values: {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.979513822-1.625744019*I | Test Values: {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.979513822-1.625744019*I | ||
Line 62: | Line 62: | ||
Test Values: {Rule[a, -1.5], Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[a, -1.5], Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E13 4.20.E13] | | | [https://dlmf.nist.gov/4.20.E13 4.20.E13] || <math qid="Q1701">w = (1/a)\sin@{az+c}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>w = (1/a)\sin@{az+c}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>w = (1/a)*sin(a*z + c)</syntaxhighlight> || <syntaxhighlight lang=mathematica>w == (1/a)*Sin[a*z + c]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .5761075690+1.016359912*I | ||
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.288669860e-1-.3275339707*I | Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.288669860e-1-.3275339707*I | ||
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.1554713530-.2104590960*I | Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.1554713530-.2104590960*I | ||
Line 70: | Line 70: | ||
Test Values: {Rule[a, -1.5], Rule[c, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[a, -1.5], Rule[c, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.20.E14 4.20.E14] | | | [https://dlmf.nist.gov/4.20.E14 4.20.E14] || <math qid="Q1702">w = (1/a)\tan@{az+c}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>w = (1/a)\tan@{az+c}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>w = (1/a)*tan(a*z + c)</syntaxhighlight> || <syntaxhighlight lang=mathematica>w == (1/a)*Tan[a*z + c]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.000937702+.460093509e-1*I | ||
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .7686167751-.1524919258*I | Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .7686167751-.1524919258*I | ||
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .9655903492+1.180557377*I | Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .9655903492+1.180557377*I |
Latest revision as of 11:06, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
4.20.E1 | \deriv{}{z}\sin@@{z} = \cos@@{z} |
|
diff(sin(z), z) = cos(z)
|
D[Sin[z], z] == Cos[z]
|
Successful | Successful | - | Successful [Tested: 7] |
4.20.E2 | \deriv{}{z}\cos@@{z} = -\sin@@{z} |
|
diff(cos(z), z) = - sin(z)
|
D[Cos[z], z] == - Sin[z]
|
Successful | Successful | - | Successful [Tested: 7] |
4.20.E3 | \deriv{}{z}\tan@@{z} = \sec^{2}@@{z} |
|
diff(tan(z), z) = (sec(z))^(2)
|
D[Tan[z], z] == (Sec[z])^(2)
|
Successful | Successful | - | Successful [Tested: 7] |
4.20.E4 | \deriv{}{z}\csc@@{z} = -\csc@@{z}\cot@@{z} |
|
diff(csc(z), z) = - csc(z)*cot(z)
|
D[Csc[z], z] == - Csc[z]*Cot[z]
|
Successful | Successful | - | Successful [Tested: 7] |
4.20.E5 | \deriv{}{z}\sec@@{z} = \sec@@{z}\tan@@{z} |
|
diff(sec(z), z) = sec(z)*tan(z)
|
D[Sec[z], z] == Sec[z]*Tan[z]
|
Successful | Successful | - | Successful [Tested: 7] |
4.20.E6 | \deriv{}{z}\cot@@{z} = -\csc^{2}@@{z} |
|
diff(cot(z), z) = - (csc(z))^(2)
|
D[Cot[z], z] == - (Csc[z])^(2)
|
Successful | Successful | - | Successful [Tested: 7] |
4.20.E7 | \deriv[n]{}{z}\sin@@{z} = \sin@{z+\tfrac{1}{2}n\pi} |
|
diff(sin(z), [z$(n)]) = sin(z +(1)/(2)*n*Pi)
|
D[Sin[z], {z, n}] == Sin[z +Divide[1,2]*n*Pi]
|
Successful | Successful | - | Successful [Tested: 21] |
4.20.E8 | \deriv[n]{}{z}\cos@@{z} = \cos@{z+\tfrac{1}{2}n\pi} |
|
diff(cos(z), [z$(n)]) = cos(z +(1)/(2)*n*Pi)
|
D[Cos[z], {z, n}] == Cos[z +Divide[1,2]*n*Pi]
|
Successful | Successful | - | Successful [Tested: 21] |
4.20.E9 | \deriv[2]{w}{z}+a^{2}w = 0 |
|
diff(w, [z$(2)])+ (a)^(2)* w = 0
|
D[w, {z, 2}]+ (a)^(2)* w == 0
|
Failure | Failure | Failed [300 / 300] Result: 1.948557159+1.125000000*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}
Result: 1.948557159+1.125000000*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}
Result: 1.948557159+1.125000000*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}
Result: 1.948557159+1.125000000*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2*3^(1/2)-1/2*I}
... skip entries to safe data |
Failed [300 / 300]
Result: Complex[1.948557158514987, 1.1249999999999998]
Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[1.948557158514987, 1.1249999999999998]
Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
4.20.E10 | \left(\deriv{w}{z}\right)^{2}+a^{2}w^{2} = 1 |
|
(diff(w, z))^(2)+ (a)^(2)* (w)^(2) = 1
|
(D[w, z])^(2)+ (a)^(2)* (w)^(2) == 1
|
Failure | Failure | Failed [272 / 300] Result: .125000001+1.948557159*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}
Result: .125000001+1.948557159*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}
Result: .125000001+1.948557159*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}
Result: .125000001+1.948557159*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2*3^(1/2)-1/2*I}
... skip entries to safe data |
Failed [272 / 300]
Result: Complex[0.12500000000000022, 1.9485571585149868]
Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[0.12500000000000022, 1.9485571585149868]
Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
4.20.E11 | \deriv{w}{z}-a^{2}w^{2} = 1 |
|
diff(w, z)- (a)^(2)* (w)^(2) = 1
|
D[w, z]- (a)^(2)* (w)^(2) == 1
|
Failure | Failure | Failed [300 / 300] Result: -2.125000001-1.948557159*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}
Result: -2.125000001-1.948557159*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}
Result: -2.125000001-1.948557159*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}
Result: -2.125000001-1.948557159*I
Test Values: {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2*3^(1/2)-1/2*I}
... skip entries to safe data |
Failed [300 / 300]
Result: Complex[-2.125, -1.9485571585149868]
Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-2.125, -1.9485571585149868]
Test Values: {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
4.20.E12 | w = A\cos@{az}+B\sin@{az} |
|
w = A*cos(a*z)+ B*sin(a*z)
|
w == A*Cos[a*z]+ B*Sin[a*z]
|
Failure | Failure | Failed [300 / 300] Result: 1.138704571+1.826991634*I
Test Values: {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}
Result: -1.586785764-.8180862806*I
Test Values: {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}
Result: 1.979513822-1.625744019*I
Test Values: {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}
Result: -.8007246334+.1975056737*I
Test Values: {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2*3^(1/2)-1/2*I}
... skip entries to safe data |
Failed [300 / 300]
Result: Complex[1.138704570618858, 1.8269916342928783]
Test Values: {Rule[a, -1.5], Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-1.5867857625486925, -0.8180862808059206]
Test Values: {Rule[a, -1.5], Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
4.20.E13 | w = (1/a)\sin@{az+c} |
|
w = (1/a)*sin(a*z + c)
|
w == (1/a)*Sin[a*z + c]
|
Failure | Failure | Failed [300 / 300] Result: .5761075690+1.016359912*I
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}
Result: -.288669860e-1-.3275339707*I
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}
Result: -.1554713530-.2104590960*I
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}
Result: .6937358929+1.037178419*I
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2*3^(1/2)-1/2*I}
... skip entries to safe data |
Failed [300 / 300]
Result: Complex[0.5761075684969701, 1.0163599120046827]
Test Values: {Rule[a, -1.5], Rule[c, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-0.028866985825810376, -0.3275339701177746]
Test Values: {Rule[a, -1.5], Rule[c, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
4.20.E14 | w = (1/a)\tan@{az+c} |
|
w = (1/a)*tan(a*z + c)
|
w == (1/a)*Tan[a*z + c]
|
Failure | Failure | Failed [300 / 300] Result: 1.000937702+.460093509e-1*I
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}
Result: .7686167751-.1524919258*I
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}
Result: .9655903492+1.180557377*I
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}
Result: .7863384613+.9337431086*I
Test Values: {a = -1.5, c = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2*3^(1/2)-1/2*I}
... skip entries to safe data |
Failed [300 / 300]
Result: Complex[1.0009377022129278, 0.04600935086169866]
Test Values: {Rule[a, -1.5], Rule[c, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[0.7686167748870922, -0.1524919257161706]
Test Values: {Rule[a, -1.5], Rule[c, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |