10.28: 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/10.28.E1 10.28.E1] | | | [https://dlmf.nist.gov/10.28.E1 10.28.E1] || <math qid="Q3502">\Wronskian@{\modBesselI{\nu}@{z},\modBesselI{-\nu}@{z}} = \modBesselI{\nu}@{z}\modBesselI{-\nu-1}@{z}-\modBesselI{\nu+1}@{z}\modBesselI{-\nu}@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wronskian@{\modBesselI{\nu}@{z},\modBesselI{-\nu}@{z}} = \modBesselI{\nu}@{z}\modBesselI{-\nu-1}@{z}-\modBesselI{\nu+1}@{z}\modBesselI{-\nu}@{z}</syntaxhighlight> || <math>\realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0, \realpart@@{((-\nu-1)+k+1)} > 0, \realpart@@{((\nu+1)+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>(BesselI(nu, z))*diff(BesselI(- nu, z), z)-diff(BesselI(nu, z), z)*(BesselI(- nu, z)) = BesselI(nu, z)*BesselI(- nu - 1, z)- BesselI(nu + 1, z)*BesselI(- nu, z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Wronskian[{BesselI[\[Nu], z], BesselI[- \[Nu], z]}, z] == BesselI[\[Nu], z]*BesselI[- \[Nu]- 1, z]- BesselI[\[Nu]+ 1, z]*BesselI[- \[Nu], z]</syntaxhighlight> || Successful || Successful || Skip - symbolical successful subtest || Successful [Tested: 70] | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.28.E1 10.28.E1] | | | [https://dlmf.nist.gov/10.28.E1 10.28.E1] || <math qid="Q3502">\modBesselI{\nu}@{z}\modBesselI{-\nu-1}@{z}-\modBesselI{\nu+1}@{z}\modBesselI{-\nu}@{z} = -2\sin@{\nu\pi}/(\pi z)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\modBesselI{\nu}@{z}\modBesselI{-\nu-1}@{z}-\modBesselI{\nu+1}@{z}\modBesselI{-\nu}@{z} = -2\sin@{\nu\pi}/(\pi z)</syntaxhighlight> || <math>\realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0, \realpart@@{((-\nu-1)+k+1)} > 0, \realpart@@{((\nu+1)+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>BesselI(nu, z)*BesselI(- nu - 1, z)- BesselI(nu + 1, z)*BesselI(- nu, z) = - 2*sin(nu*Pi)/(Pi*z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>BesselI[\[Nu], z]*BesselI[- \[Nu]- 1, z]- BesselI[\[Nu]+ 1, z]*BesselI[- \[Nu], z] == - 2*Sin[\[Nu]*Pi]/(Pi*z)</syntaxhighlight> || Failure || Successful || Successful [Tested: 70] || Successful [Tested: 70] | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.28.E2 10.28.E2] | | | [https://dlmf.nist.gov/10.28.E2 10.28.E2] || <math qid="Q3503">\Wronskian@{\modBesselK{\nu}@{z},\modBesselI{\nu}@{z}} = \modBesselI{\nu}@{z}\modBesselK{\nu+1}@{z}+\modBesselI{\nu+1}@{z}\modBesselK{\nu}@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wronskian@{\modBesselK{\nu}@{z},\modBesselI{\nu}@{z}} = \modBesselI{\nu}@{z}\modBesselK{\nu+1}@{z}+\modBesselI{\nu+1}@{z}\modBesselK{\nu}@{z}</syntaxhighlight> || <math>\realpart@@{(\nu+k+1)} > 0, \realpart@@{((\nu+1)+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>(BesselK(nu, z))*diff(BesselI(nu, z), z)-diff(BesselK(nu, z), z)*(BesselI(nu, z)) = BesselI(nu, z)*BesselK(nu + 1, z)+ BesselI(nu + 1, z)*BesselK(nu, z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Wronskian[{BesselK[\[Nu], z], BesselI[\[Nu], z]}, z] == BesselI[\[Nu], z]*BesselK[\[Nu]+ 1, z]+ BesselI[\[Nu]+ 1, z]*BesselK[\[Nu], z]</syntaxhighlight> || Successful || Successful || Skip - symbolical successful subtest || Successful [Tested: 70] | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.28.E2 10.28.E2] | | | [https://dlmf.nist.gov/10.28.E2 10.28.E2] || <math qid="Q3503">\modBesselI{\nu}@{z}\modBesselK{\nu+1}@{z}+\modBesselI{\nu+1}@{z}\modBesselK{\nu}@{z} = 1/z</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\modBesselI{\nu}@{z}\modBesselK{\nu+1}@{z}+\modBesselI{\nu+1}@{z}\modBesselK{\nu}@{z} = 1/z</syntaxhighlight> || <math>\realpart@@{(\nu+k+1)} > 0, \realpart@@{((\nu+1)+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>BesselI(nu, z)*BesselK(nu + 1, z)+ BesselI(nu + 1, z)*BesselK(nu, z) = 1/z</syntaxhighlight> || <syntaxhighlight lang=mathematica>BesselI[\[Nu], z]*BesselK[\[Nu]+ 1, z]+ BesselI[\[Nu]+ 1, z]*BesselK[\[Nu], z] == 1/z</syntaxhighlight> || Failure || Successful || Successful [Tested: 70] || Successful [Tested: 70] | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 11:25, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 10.28.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wronskian@{\modBesselI{\nu}@{z},\modBesselI{-\nu}@{z}} = \modBesselI{\nu}@{z}\modBesselI{-\nu-1}@{z}-\modBesselI{\nu+1}@{z}\modBesselI{-\nu}@{z}}
\Wronskian@{\modBesselI{\nu}@{z},\modBesselI{-\nu}@{z}} = \modBesselI{\nu}@{z}\modBesselI{-\nu-1}@{z}-\modBesselI{\nu+1}@{z}\modBesselI{-\nu}@{z} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0, \realpart@@{((-\nu-1)+k+1)} > 0, \realpart@@{((\nu+1)+k+1)} > 0} | (BesselI(nu, z))*diff(BesselI(- nu, z), z)-diff(BesselI(nu, z), z)*(BesselI(- nu, z)) = BesselI(nu, z)*BesselI(- nu - 1, z)- BesselI(nu + 1, z)*BesselI(- nu, z)
|
Wronskian[{BesselI[\[Nu], z], BesselI[- \[Nu], z]}, z] == BesselI[\[Nu], z]*BesselI[- \[Nu]- 1, z]- BesselI[\[Nu]+ 1, z]*BesselI[- \[Nu], z]
|
Successful | Successful | Skip - symbolical successful subtest | Successful [Tested: 70] |
| 10.28.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{\nu}@{z}\modBesselI{-\nu-1}@{z}-\modBesselI{\nu+1}@{z}\modBesselI{-\nu}@{z} = -2\sin@{\nu\pi}/(\pi z)}
\modBesselI{\nu}@{z}\modBesselI{-\nu-1}@{z}-\modBesselI{\nu+1}@{z}\modBesselI{-\nu}@{z} = -2\sin@{\nu\pi}/(\pi z) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0, \realpart@@{((-\nu-1)+k+1)} > 0, \realpart@@{((\nu+1)+k+1)} > 0} | BesselI(nu, z)*BesselI(- nu - 1, z)- BesselI(nu + 1, z)*BesselI(- nu, z) = - 2*sin(nu*Pi)/(Pi*z)
|
BesselI[\[Nu], z]*BesselI[- \[Nu]- 1, z]- BesselI[\[Nu]+ 1, z]*BesselI[- \[Nu], z] == - 2*Sin[\[Nu]*Pi]/(Pi*z)
|
Failure | Successful | Successful [Tested: 70] | Successful [Tested: 70] |
| 10.28.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wronskian@{\modBesselK{\nu}@{z},\modBesselI{\nu}@{z}} = \modBesselI{\nu}@{z}\modBesselK{\nu+1}@{z}+\modBesselI{\nu+1}@{z}\modBesselK{\nu}@{z}}
\Wronskian@{\modBesselK{\nu}@{z},\modBesselI{\nu}@{z}} = \modBesselI{\nu}@{z}\modBesselK{\nu+1}@{z}+\modBesselI{\nu+1}@{z}\modBesselK{\nu}@{z} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\nu+k+1)} > 0, \realpart@@{((\nu+1)+k+1)} > 0} | (BesselK(nu, z))*diff(BesselI(nu, z), z)-diff(BesselK(nu, z), z)*(BesselI(nu, z)) = BesselI(nu, z)*BesselK(nu + 1, z)+ BesselI(nu + 1, z)*BesselK(nu, z)
|
Wronskian[{BesselK[\[Nu], z], BesselI[\[Nu], z]}, z] == BesselI[\[Nu], z]*BesselK[\[Nu]+ 1, z]+ BesselI[\[Nu]+ 1, z]*BesselK[\[Nu], z]
|
Successful | Successful | Skip - symbolical successful subtest | Successful [Tested: 70] |
| 10.28.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{\nu}@{z}\modBesselK{\nu+1}@{z}+\modBesselI{\nu+1}@{z}\modBesselK{\nu}@{z} = 1/z}
\modBesselI{\nu}@{z}\modBesselK{\nu+1}@{z}+\modBesselI{\nu+1}@{z}\modBesselK{\nu}@{z} = 1/z |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\nu+k+1)} > 0, \realpart@@{((\nu+1)+k+1)} > 0} | BesselI(nu, z)*BesselK(nu + 1, z)+ BesselI(nu + 1, z)*BesselK(nu, z) = 1/z
|
BesselI[\[Nu], z]*BesselK[\[Nu]+ 1, z]+ BesselI[\[Nu]+ 1, z]*BesselK[\[Nu], z] == 1/z
|
Failure | Successful | Successful [Tested: 70] | Successful [Tested: 70] |