23.18: 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/23.18.E3 23.18.E3] | | | [https://dlmf.nist.gov/23.18.E3 23.18.E3] || <math qid="Q7363">\modularlambdatau@{\mathcal{A}\tau} = \modularlambdatau@{\tau}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\modularlambdatau@{\mathcal{A}\tau} = \modularlambdatau@{\tau}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ModularLambda[A*\[Tau]] == ModularLambda[\[Tau]]</syntaxhighlight> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [10 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-5.551115123125783*^-17, -21.100969873679457] | ||
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-4.440892098500626*^-16, -21.100969873679432] | Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-4.440892098500626*^-16, -21.100969873679432] | ||
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/23.18.E4 23.18.E4] | | | [https://dlmf.nist.gov/23.18.E4 23.18.E4] || <math qid="Q7364">\KleincompinvarJtau@{\mathcal{A}\tau} = \KleincompinvarJtau@{\tau}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\KleincompinvarJtau@{\mathcal{A}\tau} = \KleincompinvarJtau@{\tau}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>KleinInvariantJ[A*\[Tau]] == KleinInvariantJ[\[Tau]]</syntaxhighlight> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [8 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[71.08223570333668, 2.1851275073468844*^-14] | ||
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-71.08223570333656, -1.2998925520285436*^-13] | Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-71.08223570333656, -1.2998925520285436*^-13] | ||
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/23.18.E5 23.18.E5] | | | [https://dlmf.nist.gov/23.18.E5 23.18.E5] || <math qid="Q7365">\Dedekindeta@{\mathcal{A}\tau} = \varepsilon(\mathcal{A})\left(-i(c\tau+d)\right)^{1/2}\Dedekindeta@{\tau}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Dedekindeta@{\mathcal{A}\tau} = \varepsilon(\mathcal{A})\left(-i(c\tau+d)\right)^{1/2}\Dedekindeta@{\tau}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>DedekindEta[A*\[Tau]] == \[CurlyEpsilon][A]*(- I*(c*\[Tau]+ d))^(1/2)* DedekindEta[\[Tau]]</syntaxhighlight> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [180 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.11245781368984653, 0.4581664384510718] | ||
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[c, -1.5], Rule[d, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ε, 1], Rule[τ, Complex[0, 1]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-0.5688147076679476, 1.020829457922046] | Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[c, -1.5], Rule[d, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ε, 1], Rule[τ, Complex[0, 1]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-0.5688147076679476, 1.020829457922046] | ||
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[c, -1.5], Rule[d, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ε, 2], Rule[τ, Complex[0, 1]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[c, -1.5], Rule[d, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ε, 2], Rule[τ, Complex[0, 1]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/23.18.E6 23.18.E6] | | | [https://dlmf.nist.gov/23.18.E6 23.18.E6] || <math qid="Q7366">\varepsilon(\mathcal{A}) = \exp@{\pi i\left(\frac{a+d}{12c}+s(-d,c)\right)}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\varepsilon(\mathcal{A}) = \exp@{\pi i\left(\frac{a+d}{12c}+s(-d,c)\right)}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>varepsilon(A) = exp(Pi*I*((a + d)/(12*c)+ s(- d , c)))</syntaxhighlight> || <syntaxhighlight lang=mathematica>\[CurlyEpsilon][A] == Exp[Pi*I*(Divide[a + d,12*c]+ s[- d , c])]</syntaxhighlight> || Failure || Failure || Error || Error | ||
|- | |- | ||
| [https://dlmf.nist.gov/23.18.E7 23.18.E7] | | | [https://dlmf.nist.gov/23.18.E7 23.18.E7] || <math qid="Q7367">s(d,c) = \sum_{r=1}^{c-1}\frac{r}{c}\left(\frac{dr}{c}-\floor{\frac{dr}{c}}-\frac{1}{2}\right),</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>s(d,c) = \sum_{r=1}^{c-1}\frac{r}{c}\left(\frac{dr}{c}-\floor{\frac{dr}{c}}-\frac{1}{2}\right),</syntaxhighlight> || <math>c > 0</math> || <syntaxhighlight lang=mathematica>s(d , c) = sum((r)/(c)*((d*r)/(c)- floor((d*r)/(c))-(1)/(2)), r = 1..c - 1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>s[d , c] == Sum[Divide[r,c]*(Divide[d*r,c]- Floor[Divide[d*r,c]]-Divide[1,2]), {r, 1, c - 1}, GenerateConditions->None]</syntaxhighlight> || Skipped - Unable to analyze test case: Null || Skipped - Unable to analyze test case: Null || - || - | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 12:01, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
23.18.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modularlambdatau@{\mathcal{A}\tau} = \modularlambdatau@{\tau}}
\modularlambdatau@{\mathcal{A}\tau} = \modularlambdatau@{\tau} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ModularLambda[A*\[Tau]] == ModularLambda[\[Tau]]
|
Missing Macro Error | Failure | - | Failed [10 / 100]
Result: Complex[-5.551115123125783*^-17, -21.100969873679457]
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-4.440892098500626*^-16, -21.100969873679432]
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
23.18.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \KleincompinvarJtau@{\mathcal{A}\tau} = \KleincompinvarJtau@{\tau}}
\KleincompinvarJtau@{\mathcal{A}\tau} = \KleincompinvarJtau@{\tau} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
KleinInvariantJ[A*\[Tau]] == KleinInvariantJ[\[Tau]]
|
Missing Macro Error | Failure | - | Failed [8 / 100]
Result: Complex[71.08223570333668, 2.1851275073468844*^-14]
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-71.08223570333656, -1.2998925520285436*^-13]
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[τ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
23.18.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Dedekindeta@{\mathcal{A}\tau} = \varepsilon(\mathcal{A})\left(-i(c\tau+d)\right)^{1/2}\Dedekindeta@{\tau}}
\Dedekindeta@{\mathcal{A}\tau} = \varepsilon(\mathcal{A})\left(-i(c\tau+d)\right)^{1/2}\Dedekindeta@{\tau} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
DedekindEta[A*\[Tau]] == \[CurlyEpsilon][A]*(- I*(c*\[Tau]+ d))^(1/2)* DedekindEta[\[Tau]]
|
Missing Macro Error | Failure | - | Failed [180 / 300]
Result: Complex[0.11245781368984653, 0.4581664384510718]
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[c, -1.5], Rule[d, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ε, 1], Rule[τ, Complex[0, 1]]}
Result: Complex[-0.5688147076679476, 1.020829457922046]
Test Values: {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[c, -1.5], Rule[d, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ε, 2], Rule[τ, Complex[0, 1]]}
... skip entries to safe data |
23.18.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \varepsilon(\mathcal{A}) = \exp@{\pi i\left(\frac{a+d}{12c}+s(-d,c)\right)}}
\varepsilon(\mathcal{A}) = \exp@{\pi i\left(\frac{a+d}{12c}+s(-d,c)\right)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | varepsilon(A) = exp(Pi*I*((a + d)/(12*c)+ s(- d , c)))
|
\[CurlyEpsilon][A] == Exp[Pi*I*(Divide[a + d,12*c]+ s[- d , c])]
|
Failure | Failure | Error | Error |
23.18.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle s(d,c) = \sum_{r=1}^{c-1}\frac{r}{c}\left(\frac{dr}{c}-\floor{\frac{dr}{c}}-\frac{1}{2}\right),}
s(d,c) = \sum_{r=1}^{c-1}\frac{r}{c}\left(\frac{dr}{c}-\floor{\frac{dr}{c}}-\frac{1}{2}\right), |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c > 0} | s(d , c) = sum((r)/(c)*((d*r)/(c)- floor((d*r)/(c))-(1)/(2)), r = 1..c - 1)
|
s[d , c] == Sum[Divide[r,c]*(Divide[d*r,c]- Floor[Divide[d*r,c]]-Divide[1,2]), {r, 1, c - 1}, GenerateConditions->None]
|
Skipped - Unable to analyze test case: Null | Skipped - Unable to analyze test case: Null | - | - |