34.3: 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/34.3.E1 34.3.E1] | | | [https://dlmf.nist.gov/34.3.E1 34.3.E1] || <math qid="Q9716">\Wignerthreejsym{j}{j}{0}{m}{-m}{0} = \frac{(-1)^{j-m}}{(2j+1)^{\frac{1}{2}}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j}{j}{0}{m}{-m}{0} = \frac{(-1)^{j-m}}{(2j+1)^{\frac{1}{2}}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{j, m}, {j, - m}, {m, 0}] == Divide[(- 1)^(j - m),(2*j + 1)^(Divide[1,2])]</syntaxhighlight> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [9 / 9]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -0.16910197872576277 | ||
Test Values: {Rule[j, 1], Rule[m, 1]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 0.5773502691896258 | Test Values: {Rule[j, 1], Rule[m, 1]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 0.5773502691896258 | ||
Test Values: {Rule[j, 1], Rule[m, 2]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[j, 1], Rule[m, 2]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E2 34.3.E2] | | | [https://dlmf.nist.gov/34.3.E2 34.3.E2] || <math qid="Q9717">\Wignerthreejsym{j}{j}{1}{m}{-m}{0} = (-1)^{j-m}\frac{2m}{\left(2j(2j+1)(2j+2)\right)^{\frac{1}{2}}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j}{j}{1}{m}{-m}{0} = (-1)^{j-m}\frac{2m}{\left(2j(2j+1)(2j+2)\right)^{\frac{1}{2}}}</syntaxhighlight> || <math>j \geq \tfrac{1}{2}</math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{j, m}, {j, - m}, {m, 0}] == (- 1)^(j - m)*Divide[2*m,(2*j*(2*j + 1)*(2*j + 2))^(Divide[1,2])]</syntaxhighlight> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 9]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 0.816496580927726 | ||
Test Values: {Rule[j, 1], Rule[m, 2]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.224744871391589 | Test Values: {Rule[j, 1], Rule[m, 2]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.224744871391589 | ||
Test Values: {Rule[j, 1], Rule[m, 3]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[j, 1], Rule[m, 3]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E3 34.3.E3] | | | [https://dlmf.nist.gov/34.3.E3 34.3.E3] || <math qid="Q9718">\Wignerthreejsym{j}{j}{1}{m}{-m-1}{1} = (-1)^{j-m}\left(\frac{2(j-m)(j+m+1)}{2j(2j+1)(2j+2)}\right)^{\frac{1}{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j}{j}{1}{m}{-m-1}{1} = (-1)^{j-m}\left(\frac{2(j-m)(j+m+1)}{2j(2j+1)(2j+2)}\right)^{\frac{1}{2}}</syntaxhighlight> || <math>j \geq \tfrac{1}{2}</math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{j, m}, {j, - m - 1}, {m, 1}] == (- 1)^(j - m)*(Divide[2*(j - m)*(j + m + 1),2*j*(2*j + 1)*(2*j + 2)])^(Divide[1,2])</syntaxhighlight> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [4 / 9]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.0, 0.5773502691896258] | ||
Test Values: {Rule[j, 1], Rule[m, 2]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[0.0, -0.9128709291752769] | Test Values: {Rule[j, 1], Rule[m, 2]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[0.0, -0.9128709291752769] | ||
Test Values: {Rule[j, 1], Rule[m, 3]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[j, 1], Rule[m, 3]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E6 34.3.E6] | | | [https://dlmf.nist.gov/34.3.E6 34.3.E6] || <math qid="Q9721">\Wignerthreejsym{j_{1}}{j_{2}}{j_{1}+j_{2}}{m_{1}}{m_{2}}{-m_{1}-m_{2}} = (-1)^{j_{1}-j_{2}+m_{1}+m_{2}}\left(\frac{(2j_{1})!(2j_{2})!(j_{1}+j_{2}+m_{1}+m_{2})!(j_{1}+j_{2}-m_{1}-m_{2})!}{(2j_{1}+2j_{2}+1)!(j_{1}+m_{1})!(j_{1}-m_{1})!(j_{2}+m_{2})!(j_{2}-m_{2})!}\right)^{\frac{1}{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j_{1}}{j_{2}}{j_{1}+j_{2}}{m_{1}}{m_{2}}{-m_{1}-m_{2}} = (-1)^{j_{1}-j_{2}+m_{1}+m_{2}}\left(\frac{(2j_{1})!(2j_{2})!(j_{1}+j_{2}+m_{1}+m_{2})!(j_{1}+j_{2}-m_{1}-m_{2})!}{(2j_{1}+2j_{2}+1)!(j_{1}+m_{1})!(j_{1}-m_{1})!(j_{2}+m_{2})!(j_{2}-m_{2})!}\right)^{\frac{1}{2}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], - Subscript[m, 1]- Subscript[m, 2]}] == (- 1)^(Subscript[j, 1]- Subscript[j, 2]+ Subscript[m, 1]+ Subscript[m, 2])*(Divide[(2*Subscript[j, 1])!*(2*Subscript[j, 2])!*(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[m, 1]+ Subscript[m, 2])!*(Subscript[j, 1]+ Subscript[j, 2]- Subscript[m, 1]- Subscript[m, 2])!,(2*Subscript[j, 1]+ 2*Subscript[j, 2]+ 1)!*(Subscript[j, 1]+ Subscript[m, 1])!*(Subscript[j, 1]- Subscript[m, 1])!*(Subscript[j, 2]+ Subscript[m, 2])!*(Subscript[j, 2]- Subscript[m, 2])!])^(Divide[1,2])</syntaxhighlight> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [277 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-0.009681373425206639, 0.01697152361235145] | ||
Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-0.0017082454309239698, -0.0034991197231335393] | Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-0.0017082454309239698, -0.0034991197231335393] | ||
Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E7 34.3.E7] | | | [https://dlmf.nist.gov/34.3.E7 34.3.E7] || <math qid="Q9722">\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{j_{1}}{-j_{1}-m_{3}}{m_{3}} = (-1)^{j_{1}-j_{2}-m_{3}}\left(\frac{(2j_{1})!(-j_{1}+j_{2}+j_{3})!(j_{1}+j_{2}+m_{3})!(j_{3}-m_{3})!}{(j_{1}+j_{2}+j_{3}+1)!(j_{1}-j_{2}+j_{3})!(j_{1}+j_{2}-j_{3})!(-j_{1}+j_{2}-m_{3})!(j_{3}+m_{3})!}\right)^{\frac{1}{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{j_{1}}{-j_{1}-m_{3}}{m_{3}} = (-1)^{j_{1}-j_{2}-m_{3}}\left(\frac{(2j_{1})!(-j_{1}+j_{2}+j_{3})!(j_{1}+j_{2}+m_{3})!(j_{3}-m_{3})!}{(j_{1}+j_{2}+j_{3}+1)!(j_{1}-j_{2}+j_{3})!(j_{1}+j_{2}-j_{3})!(-j_{1}+j_{2}-m_{3})!(j_{3}+m_{3})!}\right)^{\frac{1}{2}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{Subscript[j, 1], Subscript[j, 1]}, {Subscript[j, 2], - Subscript[j, 1]- Subscript[m, 3]}, {Subscript[j, 1], Subscript[m, 3]}] == (- 1)^(Subscript[j, 1]- Subscript[j, 2]- Subscript[m, 3])*(Divide[(2*Subscript[j, 1])!*(- Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3])!*(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[m, 3])!*(Subscript[j, 3]- Subscript[m, 3])!,(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3]+ 1)!*(Subscript[j, 1]- Subscript[j, 2]+ Subscript[j, 3])!*(Subscript[j, 1]+ Subscript[j, 2]- Subscript[j, 3])!*(- Subscript[j, 1]+ Subscript[j, 2]- Subscript[m, 3])!*(Subscript[j, 3]+ Subscript[m, 3])!])^(Divide[1,2])</syntaxhighlight> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [265 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[1.73830318129122, -1.18098937472798] | ||
Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-2.022477625790687, -8.26930711198898] | Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-2.022477625790687, -8.26930711198898] | ||
Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 3], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 3], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E8 34.3.E8] | | | [https://dlmf.nist.gov/34.3.E8 34.3.E8] || <math qid="Q9723">\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{j_{2}}{j_{3}}{j_{1}}{m_{2}}{m_{3}}{m_{1}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{j_{2}}{j_{3}}{j_{1}}{m_{2}}{m_{3}}{m_{1}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ThreeJSymbol[{Subscript[j, 2], Subscript[m, 2]}, {Subscript[j, 3], Subscript[m, 3]}, {Subscript[m, 2], Subscript[m, 1]}]</syntaxhighlight> || Missing Macro Error || Failure || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E8 34.3.E8] | | | [https://dlmf.nist.gov/34.3.E8 34.3.E8] || <math qid="Q9723">\Wignerthreejsym{j_{2}}{j_{3}}{j_{1}}{m_{2}}{m_{3}}{m_{1}} = \Wignerthreejsym{j_{3}}{j_{1}}{j_{2}}{m_{3}}{m_{1}}{m_{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j_{2}}{j_{3}}{j_{1}}{m_{2}}{m_{3}}{m_{1}} = \Wignerthreejsym{j_{3}}{j_{1}}{j_{2}}{m_{3}}{m_{1}}{m_{2}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{Subscript[j, 2], Subscript[m, 2]}, {Subscript[j, 3], Subscript[m, 3]}, {Subscript[m, 2], Subscript[m, 1]}] == ThreeJSymbol[{Subscript[j, 3], Subscript[m, 3]}, {Subscript[j, 1], Subscript[m, 1]}, {Subscript[m, 3], Subscript[m, 2]}]</syntaxhighlight> || Missing Macro Error || Failure || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E9 34.3.E9] | | | [https://dlmf.nist.gov/34.3.E9 34.3.E9] || <math qid="Q9724">\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (-1)^{j_{1}+j_{2}+j_{3}}\Wignerthreejsym{j_{2}}{j_{1}}{j_{3}}{m_{2}}{m_{1}}{m_{3}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (-1)^{j_{1}+j_{2}+j_{3}}\Wignerthreejsym{j_{2}}{j_{1}}{j_{3}}{m_{2}}{m_{1}}{m_{3}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == (- 1)^(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3])* ThreeJSymbol[{Subscript[j, 2], Subscript[m, 2]}, {Subscript[j, 1], Subscript[m, 1]}, {Subscript[m, 2], Subscript[m, 3]}]</syntaxhighlight> || Missing Macro Error || Failure || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E10 34.3.E10] | | | [https://dlmf.nist.gov/34.3.E10 34.3.E10] || <math qid="Q9725">\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (-1)^{j_{1}+j_{2}+j_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{-m_{1}}{-m_{2}}{-m_{3}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (-1)^{j_{1}+j_{2}+j_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{-m_{1}}{-m_{2}}{-m_{3}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == (- 1)^(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3])* ThreeJSymbol[{Subscript[j, 1], - Subscript[m, 1]}, {Subscript[j, 2], - Subscript[m, 2]}, {- Subscript[m, 1], - Subscript[m, 3]}]</syntaxhighlight> || Missing Macro Error || Failure || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E11 34.3.E11] | | | [https://dlmf.nist.gov/34.3.E11 34.3.E11] || <math qid="Q9726">\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{j_{1}}{\frac{1}{2}(j_{2}+j_{3}+m_{1})}{\frac{1}{2}(j_{2}+j_{3}-m_{1})}{j_{2}-j_{3}}{\frac{1}{2}(j_{3}-j_{2}+m_{1})+m_{2}}{\frac{1}{2}(j_{3}-j_{2}+m_{1})+m_{3}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{j_{1}}{\frac{1}{2}(j_{2}+j_{3}+m_{1})}{\frac{1}{2}(j_{2}+j_{3}-m_{1})}{j_{2}-j_{3}}{\frac{1}{2}(j_{3}-j_{2}+m_{1})+m_{2}}{\frac{1}{2}(j_{3}-j_{2}+m_{1})+m_{3}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ThreeJSymbol[{Subscript[j, 1], Subscript[j, 2]- Subscript[j, 3]}, {Divide[1,2]*(Subscript[j, 2]+ Subscript[j, 3]+ Subscript[m, 1]), Divide[1,2]*(Subscript[j, 3]- Subscript[j, 2]+ Subscript[m, 1])+ Subscript[m, 2]}, {Subscript[j, 2]- Subscript[j, 3], Divide[1,2]*(Subscript[j, 3]- Subscript[j, 2]+ Subscript[m, 1])+ Subscript[m, 3]}]</syntaxhighlight> || Missing Macro Error || Failure || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E12 34.3.E12] | | | [https://dlmf.nist.gov/34.3.E12 34.3.E12] || <math qid="Q9727">\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{\frac{1}{2}(j_{1}+j_{2}-m_{3})}{\frac{1}{2}(j_{2}+j_{3}-m_{1})}{\frac{1}{2}(j_{1}+j_{3}-m_{2})}{j_{3}-\frac{1}{2}(j_{1}+j_{2}+m_{3})}{j_{1}-\frac{1}{2}(j_{2}+j_{3}+m_{1})}{j_{2}-\frac{1}{2}(j_{1}+j_{3}+m_{2})}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{\frac{1}{2}(j_{1}+j_{2}-m_{3})}{\frac{1}{2}(j_{2}+j_{3}-m_{1})}{\frac{1}{2}(j_{1}+j_{3}-m_{2})}{j_{3}-\frac{1}{2}(j_{1}+j_{2}+m_{3})}{j_{1}-\frac{1}{2}(j_{2}+j_{3}+m_{1})}{j_{2}-\frac{1}{2}(j_{1}+j_{3}+m_{2})}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ThreeJSymbol[{Divide[1,2]*(Subscript[j, 1]+ Subscript[j, 2]- Subscript[m, 3]), Subscript[j, 3]-Divide[1,2]*(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[m, 3])}, {Divide[1,2]*(Subscript[j, 2]+ Subscript[j, 3]- Subscript[m, 1]), Subscript[j, 1]-Divide[1,2]*(Subscript[j, 2]+ Subscript[j, 3]+ Subscript[m, 1])}, {Subscript[j, 3]-Divide[1,2]*(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[m, 3]), Subscript[j, 2]-Divide[1,2]*(Subscript[j, 1]+ Subscript[j, 3]+ Subscript[m, 2])}]</syntaxhighlight> || Missing Macro Error || Failure || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E13 34.3.E13] | | | [https://dlmf.nist.gov/34.3.E13 34.3.E13] || <math qid="Q9728">\left((j_{1}+j_{2}+j_{3}+1)(-j_{1}+j_{2}+j_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \left((j_{2}+m_{2})(j_{3}-m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}-\frac{1}{2}}{j_{3}-\frac{1}{2}}{m_{1}}{m_{2}-\frac{1}{2}}{m_{3}+\frac{1}{2}}-\left((j_{2}-m_{2})(j_{3}+m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}-\frac{1}{2}}{j_{3}-\frac{1}{2}}{m_{1}}{m_{2}+\frac{1}{2}}{m_{3}-\frac{1}{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\left((j_{1}+j_{2}+j_{3}+1)(-j_{1}+j_{2}+j_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \left((j_{2}+m_{2})(j_{3}-m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}-\frac{1}{2}}{j_{3}-\frac{1}{2}}{m_{1}}{m_{2}-\frac{1}{2}}{m_{3}+\frac{1}{2}}-\left((j_{2}-m_{2})(j_{3}+m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}-\frac{1}{2}}{j_{3}-\frac{1}{2}}{m_{1}}{m_{2}+\frac{1}{2}}{m_{3}-\frac{1}{2}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>((Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3]+ 1)*(- Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3]))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ((Subscript[j, 2]+ Subscript[m, 2])*(Subscript[j, 3]- Subscript[m, 3]))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2]-Divide[1,2], Subscript[m, 2]-Divide[1,2]}, {Subscript[m, 1], Subscript[m, 3]+Divide[1,2]}]-((Subscript[j, 2]- Subscript[m, 2])*(Subscript[j, 3]+ Subscript[m, 3]))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2]-Divide[1,2], Subscript[m, 2]+Divide[1,2]}, {Subscript[m, 1], Subscript[m, 3]-Divide[1,2]}]</syntaxhighlight> || Missing Macro Error || Failure || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E14 34.3.E14] | | | [https://dlmf.nist.gov/34.3.E14 34.3.E14] || <math qid="Q9729">\left(j_{1}(j_{1}+1)-j_{2}(j_{2}+1)-j_{3}(j_{3}+1)-2m_{2}m_{3}\right)\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \left((j_{2}-m_{2})(j_{2}+m_{2}+1)(j_{3}-m_{3}+1)(j_{3}+m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}+1}{m_{3}-1}+\left((j_{2}-m_{2}+1)(j_{2}+m_{2})(j_{3}-m_{3})(j_{3}+m_{3}+1)\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}-1}{m_{3}+1}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\left(j_{1}(j_{1}+1)-j_{2}(j_{2}+1)-j_{3}(j_{3}+1)-2m_{2}m_{3}\right)\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \left((j_{2}-m_{2})(j_{2}+m_{2}+1)(j_{3}-m_{3}+1)(j_{3}+m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}+1}{m_{3}-1}+\left((j_{2}-m_{2}+1)(j_{2}+m_{2})(j_{3}-m_{3})(j_{3}+m_{3}+1)\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}-1}{m_{3}+1}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>(Subscript[j, 1]*(Subscript[j, 1]+ 1)- Subscript[j, 2]*(Subscript[j, 2]+ 1)- Subscript[j, 3]*(Subscript[j, 3]+ 1)- 2*Subscript[m, 2]*Subscript[m, 3])*ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ((Subscript[j, 2]- Subscript[m, 2])*(Subscript[j, 2]+ Subscript[m, 2]+ 1)*(Subscript[j, 3]- Subscript[m, 3]+ 1)*(Subscript[j, 3]+ Subscript[m, 3]))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]+ 1}, {Subscript[m, 1], Subscript[m, 3]- 1}]+((Subscript[j, 2]- Subscript[m, 2]+ 1)*(Subscript[j, 2]+ Subscript[m, 2])*(Subscript[j, 3]- Subscript[m, 3])*(Subscript[j, 3]+ Subscript[m, 3]+ 1))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]- 1}, {Subscript[m, 1], Subscript[m, 3]+ 1}]</syntaxhighlight> || Missing Macro Error || Failure || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E15 34.3.E15] | | | [https://dlmf.nist.gov/34.3.E15 34.3.E15] || <math qid="Q9730">(2j_{1}+1)\left((j_{2}(j_{2}+1)-j_{3}(j_{3}+1))m_{1}-j_{1}(j_{1}+1)(m_{3}-m_{2})\right)\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (j_{1}+1)\left(j_{1}^{2}-(j_{2}-j_{3})^{2}\right)^{\frac{1}{2}}\left((j_{2}+j_{3}+1)^{2}-j_{1}^{2}\right)^{\frac{1}{2}}\left(j_{1}^{2}-m_{1}^{2}\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}-1}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}+j_{1}\left((j_{1}+1)^{2}-(j_{2}-j_{3})^{2}\right)^{\frac{1}{2}}\left((j_{2}+j_{3}+1)^{2}-(j_{1}+1)^{2}\right)^{\frac{1}{2}}\left((j_{1}+1)^{2}-m_{1}^{2}\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}+1}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>(2j_{1}+1)\left((j_{2}(j_{2}+1)-j_{3}(j_{3}+1))m_{1}-j_{1}(j_{1}+1)(m_{3}-m_{2})\right)\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (j_{1}+1)\left(j_{1}^{2}-(j_{2}-j_{3})^{2}\right)^{\frac{1}{2}}\left((j_{2}+j_{3}+1)^{2}-j_{1}^{2}\right)^{\frac{1}{2}}\left(j_{1}^{2}-m_{1}^{2}\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}-1}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}+j_{1}\left((j_{1}+1)^{2}-(j_{2}-j_{3})^{2}\right)^{\frac{1}{2}}\left((j_{2}+j_{3}+1)^{2}-(j_{1}+1)^{2}\right)^{\frac{1}{2}}\left((j_{1}+1)^{2}-m_{1}^{2}\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}+1}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>(2*Subscript[j, 1]+ 1)*((Subscript[j, 2]*(Subscript[j, 2]+ 1)- Subscript[j, 3]*(Subscript[j, 3]+ 1))*Subscript[m, 1]- Subscript[j, 1]*(Subscript[j, 1]+ 1)*(Subscript[m, 3]- Subscript[m, 2]))*ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == (Subscript[j, 1]+ 1)*((Subscript[j, 1])^(2)-(Subscript[j, 2]- Subscript[j, 3])^(2))^(Divide[1,2])*((Subscript[j, 2]+ Subscript[j, 3]+ 1)^(2)- (Subscript[j, 1])^(2))^(Divide[1,2])*((Subscript[j, 1])^(2)- (Subscript[m, 1])^(2))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1]- 1, Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}]+ Subscript[j, 1]*((Subscript[j, 1]+ 1)^(2)-(Subscript[j, 2]- Subscript[j, 3])^(2))^(Divide[1,2])*((Subscript[j, 2]+ Subscript[j, 3]+ 1)^(2)-(Subscript[j, 1]+ 1)^(2))^(Divide[1,2])*((Subscript[j, 1]+ 1)^(2)- (Subscript[m, 1])^(2))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1]+ 1, Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}]</syntaxhighlight> || Missing Macro Error || Failure || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E18 34.3.E18] | | | [https://dlmf.nist.gov/34.3.E18 34.3.E18] || <math qid="Q9733">\sum_{m_{1}m_{2}m_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\sum_{m_{1}m_{2}m_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = 1</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>Sum[ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}]*ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}], {Subscript[m, 1]*Subscript[m, 2]*Subscript[m, 3], - Infinity, Infinity}, GenerateConditions->None] == 1</syntaxhighlight> || Translation Error || Translation Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E19 34.3.E19] | | | [https://dlmf.nist.gov/34.3.E19 34.3.E19] || <math qid="Q9734">\assLegendreP[]{l_{1}}@{\cos@@{\theta}}\assLegendreP[]{l_{2}}@{\cos@@{\theta}} = \sum_{l}(2l+1)\Wignerthreejsym{l_{1}}{l_{2}}{l}{0}{0}{0}^{2}\assLegendreP[]{l}@{\cos@@{\theta}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreP[]{l_{1}}@{\cos@@{\theta}}\assLegendreP[]{l_{2}}@{\cos@@{\theta}} = \sum_{l}(2l+1)\Wignerthreejsym{l_{1}}{l_{2}}{l}{0}{0}{0}^{2}\assLegendreP[]{l}@{\cos@@{\theta}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>LegendreP[Subscript[l, 1], 0, 3, Cos[\[Theta]]]*LegendreP[Subscript[l, 2], 0, 3, Cos[\[Theta]]] == Sum[(2*l + 1)*(ThreeJSymbol[{Subscript[l, 1], 0}, {Subscript[l, 2], 0}, {0, 0}])^(2)* LegendreP[l, 0, 3, Cos[\[Theta]]], {l, - Infinity, Infinity}, GenerateConditions->None]</syntaxhighlight> || Missing Macro Error || Failure || - || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E20 34.3.E20] | | | [https://dlmf.nist.gov/34.3.E20 34.3.E20] || <math qid="Q9735">\sphharmonicY{l_{1}}{m_{1}}@{\theta}{\phi}\sphharmonicY{l_{2}}{m_{2}}@{\theta}{\phi} = \sum_{l,m}\left(\frac{(2l_{1}+1)(2l_{2}+1)(2l+1)}{4\pi}\right)^{\frac{1}{2}}\Wignerthreejsym{l_{1}}{l_{2}}{l}{m_{1}}{m_{2}}{m}\conj{\sphharmonicY{l}{m}@{\theta}{\phi}}\Wignerthreejsym{l_{1}}{l_{2}}{l}{0}{0}{0}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\sphharmonicY{l_{1}}{m_{1}}@{\theta}{\phi}\sphharmonicY{l_{2}}{m_{2}}@{\theta}{\phi} = \sum_{l,m}\left(\frac{(2l_{1}+1)(2l_{2}+1)(2l+1)}{4\pi}\right)^{\frac{1}{2}}\Wignerthreejsym{l_{1}}{l_{2}}{l}{m_{1}}{m_{2}}{m}\conj{\sphharmonicY{l}{m}@{\theta}{\phi}}\Wignerthreejsym{l_{1}}{l_{2}}{l}{0}{0}{0}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>SphericalHarmonicY[Subscript[l, 1], Subscript[m, 1], \[Theta], \[Phi]]*SphericalHarmonicY[Subscript[l, 2], Subscript[m, 2], \[Theta], \[Phi]] == Sum[Sum[(Divide[(2*Subscript[l, 1]+ 1)*(2*Subscript[l, 2]+ 1)*(2*l + 1),4*Pi])^(Divide[1,2])* ThreeJSymbol[{Subscript[l, 1], Subscript[m, 1]}, {Subscript[l, 2], Subscript[m, 2]}, {Subscript[m, 1], m}]*Conjugate[SphericalHarmonicY[l, m, \[Theta], \[Phi]]]*ThreeJSymbol[{Subscript[l, 1], 0}, {Subscript[l, 2], 0}, {0, 0}], {m, - Infinity, Infinity}, GenerateConditions->None], {l, - Infinity, Infinity}, GenerateConditions->None]</syntaxhighlight> || Translation Error || Translation Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E21 34.3.E21] | | | [https://dlmf.nist.gov/34.3.E21 34.3.E21] || <math qid="Q9736">\int_{0}^{\pi}\assLegendreP[]{l_{1}}@{\cos@@{\theta}}\assLegendreP[]{l_{2}}@{\cos@@{\theta}}\assLegendreP[]{l_{3}}@{\cos@@{\theta}}\sin@@{\theta}\diff{\theta} = 2\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{0}{0}{0}^{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\pi}\assLegendreP[]{l_{1}}@{\cos@@{\theta}}\assLegendreP[]{l_{2}}@{\cos@@{\theta}}\assLegendreP[]{l_{3}}@{\cos@@{\theta}}\sin@@{\theta}\diff{\theta} = 2\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{0}{0}{0}^{2}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[LegendreP[Subscript[l, 1], 0, 3, Cos[\[Theta]]]*LegendreP[Subscript[l, 2], 0, 3, Cos[\[Theta]]]*LegendreP[Subscript[l, 3], 0, 3, Cos[\[Theta]]]*Sin[\[Theta]], {\[Theta], 0, Pi}, GenerateConditions->None] == 2*(ThreeJSymbol[{Subscript[l, 1], 0}, {Subscript[l, 2], 0}, {0, 0}])^(2)</syntaxhighlight> || Missing Macro Error || Failure || - || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/34.3.E22 34.3.E22] | | | [https://dlmf.nist.gov/34.3.E22 34.3.E22] || <math qid="Q9737">\int_{0}^{2\pi}\!\int_{0}^{\pi}\sphharmonicY{l_{1}}{m_{1}}@{\theta}{\phi}\sphharmonicY{l_{2}}{m_{2}}@{\theta}{\phi}\sphharmonicY{l_{3}}{m_{3}}@{\theta}{\phi}\sin@@{\theta}\diff{\theta}\diff{\phi} = \left(\frac{(2l_{1}+1)(2l_{2}+1)(2l_{3}+1)}{4\pi}\right)^{\frac{1}{2}}\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{0}{0}{0}\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{m_{1}}{m_{2}}{m_{3}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{2\pi}\!\int_{0}^{\pi}\sphharmonicY{l_{1}}{m_{1}}@{\theta}{\phi}\sphharmonicY{l_{2}}{m_{2}}@{\theta}{\phi}\sphharmonicY{l_{3}}{m_{3}}@{\theta}{\phi}\sin@@{\theta}\diff{\theta}\diff{\phi} = \left(\frac{(2l_{1}+1)(2l_{2}+1)(2l_{3}+1)}{4\pi}\right)^{\frac{1}{2}}\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{0}{0}{0}\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{m_{1}}{m_{2}}{m_{3}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Integrate[SphericalHarmonicY[Subscript[l, 1], Subscript[m, 1], \[Theta], \[Phi]]*SphericalHarmonicY[Subscript[l, 2], Subscript[m, 2], \[Theta], \[Phi]]*SphericalHarmonicY[Subscript[l, 3], Subscript[m, 3], \[Theta], \[Phi]]*Sin[\[Theta]], {\[Theta], 0, Pi}, GenerateConditions->None], {\[Phi], 0, 2*Pi}, GenerateConditions->None] == (Divide[(2*Subscript[l, 1]+ 1)*(2*Subscript[l, 2]+ 1)*(2*Subscript[l, 3]+ 1),4*Pi])^(Divide[1,2])* ThreeJSymbol[{Subscript[l, 1], 0}, {Subscript[l, 2], 0}, {0, 0}]*ThreeJSymbol[{Subscript[l, 1], Subscript[m, 1]}, {Subscript[l, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}]</syntaxhighlight> || Missing Macro Error || Aborted || - || Skipped - Because timed out | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 13:14, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 34.3.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j}{j}{0}{m}{-m}{0} = \frac{(-1)^{j-m}}{(2j+1)^{\frac{1}{2}}}}
\Wignerthreejsym{j}{j}{0}{m}{-m}{0} = \frac{(-1)^{j-m}}{(2j+1)^{\frac{1}{2}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ThreeJSymbol[{j, m}, {j, - m}, {m, 0}] == Divide[(- 1)^(j - m),(2*j + 1)^(Divide[1,2])]
|
Missing Macro Error | Failure | - | Failed [9 / 9]
Result: -0.16910197872576277
Test Values: {Rule[j, 1], Rule[m, 1]}
Result: 0.5773502691896258
Test Values: {Rule[j, 1], Rule[m, 2]}
... skip entries to safe data |
| 34.3.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j}{j}{1}{m}{-m}{0} = (-1)^{j-m}\frac{2m}{\left(2j(2j+1)(2j+2)\right)^{\frac{1}{2}}}}
\Wignerthreejsym{j}{j}{1}{m}{-m}{0} = (-1)^{j-m}\frac{2m}{\left(2j(2j+1)(2j+2)\right)^{\frac{1}{2}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle j \geq \tfrac{1}{2}} | Error
|
ThreeJSymbol[{j, m}, {j, - m}, {m, 0}] == (- 1)^(j - m)*Divide[2*m,(2*j*(2*j + 1)*(2*j + 2))^(Divide[1,2])]
|
Missing Macro Error | Failure | - | Failed [6 / 9]
Result: 0.816496580927726
Test Values: {Rule[j, 1], Rule[m, 2]}
Result: -1.224744871391589
Test Values: {Rule[j, 1], Rule[m, 3]}
... skip entries to safe data |
| 34.3.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j}{j}{1}{m}{-m-1}{1} = (-1)^{j-m}\left(\frac{2(j-m)(j+m+1)}{2j(2j+1)(2j+2)}\right)^{\frac{1}{2}}}
\Wignerthreejsym{j}{j}{1}{m}{-m-1}{1} = (-1)^{j-m}\left(\frac{2(j-m)(j+m+1)}{2j(2j+1)(2j+2)}\right)^{\frac{1}{2}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle j \geq \tfrac{1}{2}} | Error
|
ThreeJSymbol[{j, m}, {j, - m - 1}, {m, 1}] == (- 1)^(j - m)*(Divide[2*(j - m)*(j + m + 1),2*j*(2*j + 1)*(2*j + 2)])^(Divide[1,2])
|
Missing Macro Error | Failure | - | Failed [4 / 9]
Result: Complex[0.0, 0.5773502691896258]
Test Values: {Rule[j, 1], Rule[m, 2]}
Result: Complex[0.0, -0.9128709291752769]
Test Values: {Rule[j, 1], Rule[m, 3]}
... skip entries to safe data |
| 34.3.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j_{1}}{j_{2}}{j_{1}+j_{2}}{m_{1}}{m_{2}}{-m_{1}-m_{2}} = (-1)^{j_{1}-j_{2}+m_{1}+m_{2}}\left(\frac{(2j_{1})!(2j_{2})!(j_{1}+j_{2}+m_{1}+m_{2})!(j_{1}+j_{2}-m_{1}-m_{2})!}{(2j_{1}+2j_{2}+1)!(j_{1}+m_{1})!(j_{1}-m_{1})!(j_{2}+m_{2})!(j_{2}-m_{2})!}\right)^{\frac{1}{2}}}
\Wignerthreejsym{j_{1}}{j_{2}}{j_{1}+j_{2}}{m_{1}}{m_{2}}{-m_{1}-m_{2}} = (-1)^{j_{1}-j_{2}+m_{1}+m_{2}}\left(\frac{(2j_{1})!(2j_{2})!(j_{1}+j_{2}+m_{1}+m_{2})!(j_{1}+j_{2}-m_{1}-m_{2})!}{(2j_{1}+2j_{2}+1)!(j_{1}+m_{1})!(j_{1}-m_{1})!(j_{2}+m_{2})!(j_{2}-m_{2})!}\right)^{\frac{1}{2}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], - Subscript[m, 1]- Subscript[m, 2]}] == (- 1)^(Subscript[j, 1]- Subscript[j, 2]+ Subscript[m, 1]+ Subscript[m, 2])*(Divide[(2*Subscript[j, 1])!*(2*Subscript[j, 2])!*(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[m, 1]+ Subscript[m, 2])!*(Subscript[j, 1]+ Subscript[j, 2]- Subscript[m, 1]- Subscript[m, 2])!,(2*Subscript[j, 1]+ 2*Subscript[j, 2]+ 1)!*(Subscript[j, 1]+ Subscript[m, 1])!*(Subscript[j, 1]- Subscript[m, 1])!*(Subscript[j, 2]+ Subscript[m, 2])!*(Subscript[j, 2]- Subscript[m, 2])!])^(Divide[1,2])
|
Missing Macro Error | Failure | - | Failed [277 / 300]
Result: Complex[-0.009681373425206639, 0.01697152361235145]
Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-0.0017082454309239698, -0.0034991197231335393]
Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
| 34.3.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{j_{1}}{-j_{1}-m_{3}}{m_{3}} = (-1)^{j_{1}-j_{2}-m_{3}}\left(\frac{(2j_{1})!(-j_{1}+j_{2}+j_{3})!(j_{1}+j_{2}+m_{3})!(j_{3}-m_{3})!}{(j_{1}+j_{2}+j_{3}+1)!(j_{1}-j_{2}+j_{3})!(j_{1}+j_{2}-j_{3})!(-j_{1}+j_{2}-m_{3})!(j_{3}+m_{3})!}\right)^{\frac{1}{2}}}
\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{j_{1}}{-j_{1}-m_{3}}{m_{3}} = (-1)^{j_{1}-j_{2}-m_{3}}\left(\frac{(2j_{1})!(-j_{1}+j_{2}+j_{3})!(j_{1}+j_{2}+m_{3})!(j_{3}-m_{3})!}{(j_{1}+j_{2}+j_{3}+1)!(j_{1}-j_{2}+j_{3})!(j_{1}+j_{2}-j_{3})!(-j_{1}+j_{2}-m_{3})!(j_{3}+m_{3})!}\right)^{\frac{1}{2}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ThreeJSymbol[{Subscript[j, 1], Subscript[j, 1]}, {Subscript[j, 2], - Subscript[j, 1]- Subscript[m, 3]}, {Subscript[j, 1], Subscript[m, 3]}] == (- 1)^(Subscript[j, 1]- Subscript[j, 2]- Subscript[m, 3])*(Divide[(2*Subscript[j, 1])!*(- Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3])!*(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[m, 3])!*(Subscript[j, 3]- Subscript[m, 3])!,(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3]+ 1)!*(Subscript[j, 1]- Subscript[j, 2]+ Subscript[j, 3])!*(Subscript[j, 1]+ Subscript[j, 2]- Subscript[j, 3])!*(- Subscript[j, 1]+ Subscript[j, 2]- Subscript[m, 3])!*(Subscript[j, 3]+ Subscript[m, 3])!])^(Divide[1,2])
|
Missing Macro Error | Failure | - | Failed [265 / 300]
Result: Complex[1.73830318129122, -1.18098937472798]
Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-2.022477625790687, -8.26930711198898]
Test Values: {Rule[Subscript[j, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[j, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 3], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
| 34.3.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{j_{2}}{j_{3}}{j_{1}}{m_{2}}{m_{3}}{m_{1}}}
\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{j_{2}}{j_{3}}{j_{1}}{m_{2}}{m_{3}}{m_{1}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ThreeJSymbol[{Subscript[j, 2], Subscript[m, 2]}, {Subscript[j, 3], Subscript[m, 3]}, {Subscript[m, 2], Subscript[m, 1]}]
|
Missing Macro Error | Failure | - | Successful [Tested: 300] |
| 34.3.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j_{2}}{j_{3}}{j_{1}}{m_{2}}{m_{3}}{m_{1}} = \Wignerthreejsym{j_{3}}{j_{1}}{j_{2}}{m_{3}}{m_{1}}{m_{2}}}
\Wignerthreejsym{j_{2}}{j_{3}}{j_{1}}{m_{2}}{m_{3}}{m_{1}} = \Wignerthreejsym{j_{3}}{j_{1}}{j_{2}}{m_{3}}{m_{1}}{m_{2}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ThreeJSymbol[{Subscript[j, 2], Subscript[m, 2]}, {Subscript[j, 3], Subscript[m, 3]}, {Subscript[m, 2], Subscript[m, 1]}] == ThreeJSymbol[{Subscript[j, 3], Subscript[m, 3]}, {Subscript[j, 1], Subscript[m, 1]}, {Subscript[m, 3], Subscript[m, 2]}]
|
Missing Macro Error | Failure | - | Successful [Tested: 300] |
| 34.3.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (-1)^{j_{1}+j_{2}+j_{3}}\Wignerthreejsym{j_{2}}{j_{1}}{j_{3}}{m_{2}}{m_{1}}{m_{3}}}
\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (-1)^{j_{1}+j_{2}+j_{3}}\Wignerthreejsym{j_{2}}{j_{1}}{j_{3}}{m_{2}}{m_{1}}{m_{3}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == (- 1)^(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3])* ThreeJSymbol[{Subscript[j, 2], Subscript[m, 2]}, {Subscript[j, 1], Subscript[m, 1]}, {Subscript[m, 2], Subscript[m, 3]}]
|
Missing Macro Error | Failure | - | Successful [Tested: 300] |
| 34.3.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (-1)^{j_{1}+j_{2}+j_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{-m_{1}}{-m_{2}}{-m_{3}}}
\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (-1)^{j_{1}+j_{2}+j_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{-m_{1}}{-m_{2}}{-m_{3}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == (- 1)^(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3])* ThreeJSymbol[{Subscript[j, 1], - Subscript[m, 1]}, {Subscript[j, 2], - Subscript[m, 2]}, {- Subscript[m, 1], - Subscript[m, 3]}]
|
Missing Macro Error | Failure | - | Successful [Tested: 300] |
| 34.3.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{j_{1}}{\frac{1}{2}(j_{2}+j_{3}+m_{1})}{\frac{1}{2}(j_{2}+j_{3}-m_{1})}{j_{2}-j_{3}}{\frac{1}{2}(j_{3}-j_{2}+m_{1})+m_{2}}{\frac{1}{2}(j_{3}-j_{2}+m_{1})+m_{3}}}
\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{j_{1}}{\frac{1}{2}(j_{2}+j_{3}+m_{1})}{\frac{1}{2}(j_{2}+j_{3}-m_{1})}{j_{2}-j_{3}}{\frac{1}{2}(j_{3}-j_{2}+m_{1})+m_{2}}{\frac{1}{2}(j_{3}-j_{2}+m_{1})+m_{3}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ThreeJSymbol[{Subscript[j, 1], Subscript[j, 2]- Subscript[j, 3]}, {Divide[1,2]*(Subscript[j, 2]+ Subscript[j, 3]+ Subscript[m, 1]), Divide[1,2]*(Subscript[j, 3]- Subscript[j, 2]+ Subscript[m, 1])+ Subscript[m, 2]}, {Subscript[j, 2]- Subscript[j, 3], Divide[1,2]*(Subscript[j, 3]- Subscript[j, 2]+ Subscript[m, 1])+ Subscript[m, 3]}]
|
Missing Macro Error | Failure | - | Successful [Tested: 300] |
| 34.3.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{\frac{1}{2}(j_{1}+j_{2}-m_{3})}{\frac{1}{2}(j_{2}+j_{3}-m_{1})}{\frac{1}{2}(j_{1}+j_{3}-m_{2})}{j_{3}-\frac{1}{2}(j_{1}+j_{2}+m_{3})}{j_{1}-\frac{1}{2}(j_{2}+j_{3}+m_{1})}{j_{2}-\frac{1}{2}(j_{1}+j_{3}+m_{2})}}
\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \Wignerthreejsym{\frac{1}{2}(j_{1}+j_{2}-m_{3})}{\frac{1}{2}(j_{2}+j_{3}-m_{1})}{\frac{1}{2}(j_{1}+j_{3}-m_{2})}{j_{3}-\frac{1}{2}(j_{1}+j_{2}+m_{3})}{j_{1}-\frac{1}{2}(j_{2}+j_{3}+m_{1})}{j_{2}-\frac{1}{2}(j_{1}+j_{3}+m_{2})} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ThreeJSymbol[{Divide[1,2]*(Subscript[j, 1]+ Subscript[j, 2]- Subscript[m, 3]), Subscript[j, 3]-Divide[1,2]*(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[m, 3])}, {Divide[1,2]*(Subscript[j, 2]+ Subscript[j, 3]- Subscript[m, 1]), Subscript[j, 1]-Divide[1,2]*(Subscript[j, 2]+ Subscript[j, 3]+ Subscript[m, 1])}, {Subscript[j, 3]-Divide[1,2]*(Subscript[j, 1]+ Subscript[j, 2]+ Subscript[m, 3]), Subscript[j, 2]-Divide[1,2]*(Subscript[j, 1]+ Subscript[j, 3]+ Subscript[m, 2])}]
|
Missing Macro Error | Failure | - | Successful [Tested: 300] |
| 34.3.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \left((j_{1}+j_{2}+j_{3}+1)(-j_{1}+j_{2}+j_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \left((j_{2}+m_{2})(j_{3}-m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}-\frac{1}{2}}{j_{3}-\frac{1}{2}}{m_{1}}{m_{2}-\frac{1}{2}}{m_{3}+\frac{1}{2}}-\left((j_{2}-m_{2})(j_{3}+m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}-\frac{1}{2}}{j_{3}-\frac{1}{2}}{m_{1}}{m_{2}+\frac{1}{2}}{m_{3}-\frac{1}{2}}}
\left((j_{1}+j_{2}+j_{3}+1)(-j_{1}+j_{2}+j_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \left((j_{2}+m_{2})(j_{3}-m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}-\frac{1}{2}}{j_{3}-\frac{1}{2}}{m_{1}}{m_{2}-\frac{1}{2}}{m_{3}+\frac{1}{2}}-\left((j_{2}-m_{2})(j_{3}+m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}-\frac{1}{2}}{j_{3}-\frac{1}{2}}{m_{1}}{m_{2}+\frac{1}{2}}{m_{3}-\frac{1}{2}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
((Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3]+ 1)*(- Subscript[j, 1]+ Subscript[j, 2]+ Subscript[j, 3]))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ((Subscript[j, 2]+ Subscript[m, 2])*(Subscript[j, 3]- Subscript[m, 3]))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2]-Divide[1,2], Subscript[m, 2]-Divide[1,2]}, {Subscript[m, 1], Subscript[m, 3]+Divide[1,2]}]-((Subscript[j, 2]- Subscript[m, 2])*(Subscript[j, 3]+ Subscript[m, 3]))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2]-Divide[1,2], Subscript[m, 2]+Divide[1,2]}, {Subscript[m, 1], Subscript[m, 3]-Divide[1,2]}]
|
Missing Macro Error | Failure | - | Successful [Tested: 300] |
| 34.3.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \left(j_{1}(j_{1}+1)-j_{2}(j_{2}+1)-j_{3}(j_{3}+1)-2m_{2}m_{3}\right)\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \left((j_{2}-m_{2})(j_{2}+m_{2}+1)(j_{3}-m_{3}+1)(j_{3}+m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}+1}{m_{3}-1}+\left((j_{2}-m_{2}+1)(j_{2}+m_{2})(j_{3}-m_{3})(j_{3}+m_{3}+1)\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}-1}{m_{3}+1}}
\left(j_{1}(j_{1}+1)-j_{2}(j_{2}+1)-j_{3}(j_{3}+1)-2m_{2}m_{3}\right)\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = \left((j_{2}-m_{2})(j_{2}+m_{2}+1)(j_{3}-m_{3}+1)(j_{3}+m_{3})\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}+1}{m_{3}-1}+\left((j_{2}-m_{2}+1)(j_{2}+m_{2})(j_{3}-m_{3})(j_{3}+m_{3}+1)\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}-1}{m_{3}+1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
(Subscript[j, 1]*(Subscript[j, 1]+ 1)- Subscript[j, 2]*(Subscript[j, 2]+ 1)- Subscript[j, 3]*(Subscript[j, 3]+ 1)- 2*Subscript[m, 2]*Subscript[m, 3])*ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == ((Subscript[j, 2]- Subscript[m, 2])*(Subscript[j, 2]+ Subscript[m, 2]+ 1)*(Subscript[j, 3]- Subscript[m, 3]+ 1)*(Subscript[j, 3]+ Subscript[m, 3]))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]+ 1}, {Subscript[m, 1], Subscript[m, 3]- 1}]+((Subscript[j, 2]- Subscript[m, 2]+ 1)*(Subscript[j, 2]+ Subscript[m, 2])*(Subscript[j, 3]- Subscript[m, 3])*(Subscript[j, 3]+ Subscript[m, 3]+ 1))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]- 1}, {Subscript[m, 1], Subscript[m, 3]+ 1}]
|
Missing Macro Error | Failure | - | Successful [Tested: 300] |
| 34.3.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (2j_{1}+1)\left((j_{2}(j_{2}+1)-j_{3}(j_{3}+1))m_{1}-j_{1}(j_{1}+1)(m_{3}-m_{2})\right)\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (j_{1}+1)\left(j_{1}^{2}-(j_{2}-j_{3})^{2}\right)^{\frac{1}{2}}\left((j_{2}+j_{3}+1)^{2}-j_{1}^{2}\right)^{\frac{1}{2}}\left(j_{1}^{2}-m_{1}^{2}\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}-1}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}+j_{1}\left((j_{1}+1)^{2}-(j_{2}-j_{3})^{2}\right)^{\frac{1}{2}}\left((j_{2}+j_{3}+1)^{2}-(j_{1}+1)^{2}\right)^{\frac{1}{2}}\left((j_{1}+1)^{2}-m_{1}^{2}\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}+1}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}}
(2j_{1}+1)\left((j_{2}(j_{2}+1)-j_{3}(j_{3}+1))m_{1}-j_{1}(j_{1}+1)(m_{3}-m_{2})\right)\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = (j_{1}+1)\left(j_{1}^{2}-(j_{2}-j_{3})^{2}\right)^{\frac{1}{2}}\left((j_{2}+j_{3}+1)^{2}-j_{1}^{2}\right)^{\frac{1}{2}}\left(j_{1}^{2}-m_{1}^{2}\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}-1}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}+j_{1}\left((j_{1}+1)^{2}-(j_{2}-j_{3})^{2}\right)^{\frac{1}{2}}\left((j_{2}+j_{3}+1)^{2}-(j_{1}+1)^{2}\right)^{\frac{1}{2}}\left((j_{1}+1)^{2}-m_{1}^{2}\right)^{\frac{1}{2}}\Wignerthreejsym{j_{1}+1}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
(2*Subscript[j, 1]+ 1)*((Subscript[j, 2]*(Subscript[j, 2]+ 1)- Subscript[j, 3]*(Subscript[j, 3]+ 1))*Subscript[m, 1]- Subscript[j, 1]*(Subscript[j, 1]+ 1)*(Subscript[m, 3]- Subscript[m, 2]))*ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}] == (Subscript[j, 1]+ 1)*((Subscript[j, 1])^(2)-(Subscript[j, 2]- Subscript[j, 3])^(2))^(Divide[1,2])*((Subscript[j, 2]+ Subscript[j, 3]+ 1)^(2)- (Subscript[j, 1])^(2))^(Divide[1,2])*((Subscript[j, 1])^(2)- (Subscript[m, 1])^(2))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1]- 1, Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}]+ Subscript[j, 1]*((Subscript[j, 1]+ 1)^(2)-(Subscript[j, 2]- Subscript[j, 3])^(2))^(Divide[1,2])*((Subscript[j, 2]+ Subscript[j, 3]+ 1)^(2)-(Subscript[j, 1]+ 1)^(2))^(Divide[1,2])*((Subscript[j, 1]+ 1)^(2)- (Subscript[m, 1])^(2))^(Divide[1,2])* ThreeJSymbol[{Subscript[j, 1]+ 1, Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}]
|
Missing Macro Error | Failure | - | Successful [Tested: 300] |
| 34.3.E18 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{m_{1}m_{2}m_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = 1}
\sum_{m_{1}m_{2}m_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}}\Wignerthreejsym{j_{1}}{j_{2}}{j_{3}}{m_{1}}{m_{2}}{m_{3}} = 1 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
Sum[ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}]*ThreeJSymbol[{Subscript[j, 1], Subscript[m, 1]}, {Subscript[j, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}], {Subscript[m, 1]*Subscript[m, 2]*Subscript[m, 3], - Infinity, Infinity}, GenerateConditions->None] == 1
|
Translation Error | Translation Error | - | - |
| 34.3.E19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \assLegendreP[]{l_{1}}@{\cos@@{\theta}}\assLegendreP[]{l_{2}}@{\cos@@{\theta}} = \sum_{l}(2l+1)\Wignerthreejsym{l_{1}}{l_{2}}{l}{0}{0}{0}^{2}\assLegendreP[]{l}@{\cos@@{\theta}}}
\assLegendreP[]{l_{1}}@{\cos@@{\theta}}\assLegendreP[]{l_{2}}@{\cos@@{\theta}} = \sum_{l}(2l+1)\Wignerthreejsym{l_{1}}{l_{2}}{l}{0}{0}{0}^{2}\assLegendreP[]{l}@{\cos@@{\theta}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
LegendreP[Subscript[l, 1], 0, 3, Cos[\[Theta]]]*LegendreP[Subscript[l, 2], 0, 3, Cos[\[Theta]]] == Sum[(2*l + 1)*(ThreeJSymbol[{Subscript[l, 1], 0}, {Subscript[l, 2], 0}, {0, 0}])^(2)* LegendreP[l, 0, 3, Cos[\[Theta]]], {l, - Infinity, Infinity}, GenerateConditions->None]
|
Missing Macro Error | Failure | - | Skipped - Because timed out |
| 34.3.E20 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sphharmonicY{l_{1}}{m_{1}}@{\theta}{\phi}\sphharmonicY{l_{2}}{m_{2}}@{\theta}{\phi} = \sum_{l,m}\left(\frac{(2l_{1}+1)(2l_{2}+1)(2l+1)}{4\pi}\right)^{\frac{1}{2}}\Wignerthreejsym{l_{1}}{l_{2}}{l}{m_{1}}{m_{2}}{m}\conj{\sphharmonicY{l}{m}@{\theta}{\phi}}\Wignerthreejsym{l_{1}}{l_{2}}{l}{0}{0}{0}}
\sphharmonicY{l_{1}}{m_{1}}@{\theta}{\phi}\sphharmonicY{l_{2}}{m_{2}}@{\theta}{\phi} = \sum_{l,m}\left(\frac{(2l_{1}+1)(2l_{2}+1)(2l+1)}{4\pi}\right)^{\frac{1}{2}}\Wignerthreejsym{l_{1}}{l_{2}}{l}{m_{1}}{m_{2}}{m}\conj{\sphharmonicY{l}{m}@{\theta}{\phi}}\Wignerthreejsym{l_{1}}{l_{2}}{l}{0}{0}{0} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
SphericalHarmonicY[Subscript[l, 1], Subscript[m, 1], \[Theta], \[Phi]]*SphericalHarmonicY[Subscript[l, 2], Subscript[m, 2], \[Theta], \[Phi]] == Sum[Sum[(Divide[(2*Subscript[l, 1]+ 1)*(2*Subscript[l, 2]+ 1)*(2*l + 1),4*Pi])^(Divide[1,2])* ThreeJSymbol[{Subscript[l, 1], Subscript[m, 1]}, {Subscript[l, 2], Subscript[m, 2]}, {Subscript[m, 1], m}]*Conjugate[SphericalHarmonicY[l, m, \[Theta], \[Phi]]]*ThreeJSymbol[{Subscript[l, 1], 0}, {Subscript[l, 2], 0}, {0, 0}], {m, - Infinity, Infinity}, GenerateConditions->None], {l, - Infinity, Infinity}, GenerateConditions->None]
|
Translation Error | Translation Error | - | - |
| 34.3.E21 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\pi}\assLegendreP[]{l_{1}}@{\cos@@{\theta}}\assLegendreP[]{l_{2}}@{\cos@@{\theta}}\assLegendreP[]{l_{3}}@{\cos@@{\theta}}\sin@@{\theta}\diff{\theta} = 2\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{0}{0}{0}^{2}}
\int_{0}^{\pi}\assLegendreP[]{l_{1}}@{\cos@@{\theta}}\assLegendreP[]{l_{2}}@{\cos@@{\theta}}\assLegendreP[]{l_{3}}@{\cos@@{\theta}}\sin@@{\theta}\diff{\theta} = 2\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{0}{0}{0}^{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
Integrate[LegendreP[Subscript[l, 1], 0, 3, Cos[\[Theta]]]*LegendreP[Subscript[l, 2], 0, 3, Cos[\[Theta]]]*LegendreP[Subscript[l, 3], 0, 3, Cos[\[Theta]]]*Sin[\[Theta]], {\[Theta], 0, Pi}, GenerateConditions->None] == 2*(ThreeJSymbol[{Subscript[l, 1], 0}, {Subscript[l, 2], 0}, {0, 0}])^(2)
|
Missing Macro Error | Failure | - | Skipped - Because timed out |
| 34.3.E22 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{2\pi}\!\int_{0}^{\pi}\sphharmonicY{l_{1}}{m_{1}}@{\theta}{\phi}\sphharmonicY{l_{2}}{m_{2}}@{\theta}{\phi}\sphharmonicY{l_{3}}{m_{3}}@{\theta}{\phi}\sin@@{\theta}\diff{\theta}\diff{\phi} = \left(\frac{(2l_{1}+1)(2l_{2}+1)(2l_{3}+1)}{4\pi}\right)^{\frac{1}{2}}\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{0}{0}{0}\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{m_{1}}{m_{2}}{m_{3}}}
\int_{0}^{2\pi}\!\int_{0}^{\pi}\sphharmonicY{l_{1}}{m_{1}}@{\theta}{\phi}\sphharmonicY{l_{2}}{m_{2}}@{\theta}{\phi}\sphharmonicY{l_{3}}{m_{3}}@{\theta}{\phi}\sin@@{\theta}\diff{\theta}\diff{\phi} = \left(\frac{(2l_{1}+1)(2l_{2}+1)(2l_{3}+1)}{4\pi}\right)^{\frac{1}{2}}\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{0}{0}{0}\Wignerthreejsym{l_{1}}{l_{2}}{l_{3}}{m_{1}}{m_{2}}{m_{3}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
Integrate[Integrate[SphericalHarmonicY[Subscript[l, 1], Subscript[m, 1], \[Theta], \[Phi]]*SphericalHarmonicY[Subscript[l, 2], Subscript[m, 2], \[Theta], \[Phi]]*SphericalHarmonicY[Subscript[l, 3], Subscript[m, 3], \[Theta], \[Phi]]*Sin[\[Theta]], {\[Theta], 0, Pi}, GenerateConditions->None], {\[Phi], 0, 2*Pi}, GenerateConditions->None] == (Divide[(2*Subscript[l, 1]+ 1)*(2*Subscript[l, 2]+ 1)*(2*Subscript[l, 3]+ 1),4*Pi])^(Divide[1,2])* ThreeJSymbol[{Subscript[l, 1], 0}, {Subscript[l, 2], 0}, {0, 0}]*ThreeJSymbol[{Subscript[l, 1], Subscript[m, 1]}, {Subscript[l, 2], Subscript[m, 2]}, {Subscript[m, 1], Subscript[m, 3]}]
|
Missing Macro Error | Aborted | - | Skipped - Because timed out |