27.12: Difference between revisions

From testwiki
Jump to navigation Jump to search
VisualWikitext
 
 
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/27.12.E1 27.12.E1] || [[Item:Q8085|<math>\lim_{n\to\infty}\frac{p_{n}}{n\ln@@{n}} = 1</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\lim_{n\to\infty}\frac{p_{n}}{n\ln@@{n}} = 1</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>limit((p[n])/(n*ln(n)), n = infinity) = 1</syntaxhighlight> || <syntaxhighlight lang=mathematica>Limit[Divide[Subscript[p, n],n*Log[n]], n -> Infinity, GenerateConditions->None] == 1</syntaxhighlight> || Failure || Failure || Skip - No test values generated || <div class="toccolours mw-collapsible mw-collapsed">Failed [10 / 10]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -1.0
| [https://dlmf.nist.gov/27.12.E1 27.12.E1] || <math qid="Q8085">\lim_{n\to\infty}\frac{p_{n}}{n\ln@@{n}} = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\lim_{n\to\infty}\frac{p_{n}}{n\ln@@{n}} = 1</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>limit((p[n])/(n*ln(n)), n = infinity) = 1</syntaxhighlight> || <syntaxhighlight lang=mathematica>Limit[Divide[Subscript[p, n],n*Log[n]], n -> Infinity, GenerateConditions->None] == 1</syntaxhighlight> || Failure || Failure || Skip - No test values generated || <div class="toccolours mw-collapsible mw-collapsed">Failed [10 / 10]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -1.0
Test Values: {Rule[Subscript[p, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.0
Test Values: {Rule[Subscript[p, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.0
Test Values: {Rule[Subscript[p, n], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[Subscript[p, n], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/27.12.E2 27.12.E2] || [[Item:Q8086|<math>p_{n} > n\ln@@{n}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>p_{n} > n\ln@@{n}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>p[n] > n*ln(n)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[p, n] > n*Log[n]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 10]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 3.295836867 < -1.500000000
| [https://dlmf.nist.gov/27.12.E2 27.12.E2] || <math qid="Q8086">p_{n} > n\ln@@{n}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>p_{n} > n\ln@@{n}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>p[n] > n*ln(n)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[p, n] > n*Log[n]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 10]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 3.295836867 < -1.500000000
Test Values: {p[n] = -3/2, n = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.295836867 < 1.500000000
Test Values: {p[n] = -3/2, n = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.295836867 < 1.500000000
Test Values: {p[n] = 3/2, n = 3}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [25 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Greater[Complex[0.8660254037844387, 0.49999999999999994], 0.0]
Test Values: {p[n] = 3/2, n = 3}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [25 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Greater[Complex[0.8660254037844387, 0.49999999999999994], 0.0]

Latest revision as of 12:06, 28 June 2021


DLMF Formula Constraints Maple Mathematica Symbolic
Maple 		Symbolic
Mathematica 		Numeric
Maple 		Numeric
Mathematica
27.12.E1 lim n → ∞ ⁡ p n n ⁢ ln ⁡ n = 1 subscript → 𝑛 subscript 𝑝 𝑛 𝑛 𝑛 1 {\displaystyle{\displaystyle\lim_{n\to\infty}\frac{p_{n}}{n\ln n}=1}}
\lim_{n\to\infty}\frac{p_{n}}{n\ln@@{n}} = 1		 

limit((p[n])/(n*ln(n)), n = infinity) = 1

Limit[Divide[Subscript[p, n],n*Log[n]], n -> Infinity, GenerateConditions->None] == 1
Failure Failure Skip - No test values generated
Failed [10 / 10]
Result: -1.0
Test Values: {Rule[Subscript[p, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: -1.0
Test Values: {Rule[Subscript[p, n], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
27.12.E2 p n > n ⁢ ln ⁡ n subscript 𝑝 𝑛 𝑛 𝑛 {\displaystyle{\displaystyle p_{n}>n\ln n}}
p_{n} > n\ln@@{n}		 

p[n] > n*ln(n)

Subscript[p, n] > n*Log[n]
Failure Failure
Failed [6 / 10]
Result: 3.295836867 < -1.500000000
Test Values: {p[n] = -3/2, n = 3}


Result: 3.295836867 < 1.500000000
Test Values: {p[n] = 3/2, n = 3}

... skip entries to safe data
Failed [25 / 30]
Result: Greater[Complex[0.8660254037844387, 0.49999999999999994], 0.0]
Test Values: {Rule[n, 1], Rule[Subscript[p, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Greater[Complex[0.8660254037844387, 0.49999999999999994], 1.3862943611198906]
Test Values: {Rule[n, 2], Rule[Subscript[p, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
Retrieved from "https://lct.wmflabs.org/w/index.php?title=27.12&oldid=58478"