6.8: Difference between revisions

From testwiki
Jump to navigation Jump to search
 
 
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/6.8.E1 6.8.E1] || [[Item:Q2270|<math>\frac{1}{2}\ln@{1+\frac{2}{x}} < e^{x}\expintE@{x}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{1}{2}\ln@{1+\frac{2}{x}} < e^{x}\expintE@{x}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(1)/(2)*ln(1 +(2)/(x)) < exp(x)*Ei(x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,2]*Log[1 +Divide[2,x]] < Exp[x]*ExpIntegralE[1, x]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .8047189560 < .7488820189
| [https://dlmf.nist.gov/6.8.E1 6.8.E1] || <math qid="Q2270">\frac{1}{2}\ln@{1+\frac{2}{x}} < e^{x}\expintE@{x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{1}{2}\ln@{1+\frac{2}{x}} < e^{x}\expintE@{x}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(1)/(2)*ln(1 +(2)/(x)) < exp(x)*Ei(x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,2]*Log[1 +Divide[2,x]] < Exp[x]*ExpIntegralE[1, x]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .8047189560 < .7488820189
Test Values: {x = .5}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
Test Values: {x = .5}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
|-  
|-  
| [https://dlmf.nist.gov/6.8.E1 6.8.E1] || [[Item:Q2270|<math>e^{x}\expintE@{x} < \ln@{1+\frac{1}{x}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>e^{x}\expintE@{x} < \ln@{1+\frac{1}{x}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>exp(x)*Ei(x) < ln(1 +(1)/(x))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[x]*ExpIntegralE[1, x] < Log[1 +Divide[1,x]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 14.79533491 < .5108256240
| [https://dlmf.nist.gov/6.8.E1 6.8.E1] || <math qid="Q2270">e^{x}\expintE@{x} < \ln@{1+\frac{1}{x}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>e^{x}\expintE@{x} < \ln@{1+\frac{1}{x}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>exp(x)*Ei(x) < ln(1 +(1)/(x))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[x]*ExpIntegralE[1, x] < Log[1 +Divide[1,x]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 14.79533491 < .5108256240
Test Values: {x = 1.5}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 36.60711558 < .4054651081
Test Values: {x = 1.5}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 36.60711558 < .4054651081
Test Values: {x = 2}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
Test Values: {x = 2}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
|-  
|-  
| [https://dlmf.nist.gov/6.8.E2 6.8.E2] || [[Item:Q2271|<math>\frac{x}{x+1} < xe^{x}\expintE@{x}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{x}{x+1} < xe^{x}\expintE@{x}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(x)/(x + 1) < x*exp(x)*Ei(x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[x,x + 1] < x*Exp[x]*ExpIntegralE[1, x]</syntaxhighlight> || Failure || Failure || Successful [Tested: 3] || Successful [Tested: 3]
| [https://dlmf.nist.gov/6.8.E2 6.8.E2] || <math qid="Q2271">\frac{x}{x+1} < xe^{x}\expintE@{x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{x}{x+1} < xe^{x}\expintE@{x}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(x)/(x + 1) < x*exp(x)*Ei(x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[x,x + 1] < x*Exp[x]*ExpIntegralE[1, x]</syntaxhighlight> || Failure || Failure || Successful [Tested: 3] || Successful [Tested: 3]
|-  
|-  
| [https://dlmf.nist.gov/6.8.E2 6.8.E2] || [[Item:Q2271|<math>xe^{x}\expintE@{x} < \frac{x+1}{x+2}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>xe^{x}\expintE@{x} < \frac{x+1}{x+2}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>x*exp(x)*Ei(x) < (x + 1)/(x + 2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>x*Exp[x]*ExpIntegralE[1, x] < Divide[x + 1,x + 2]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 22.19300237 < .7142857143
| [https://dlmf.nist.gov/6.8.E2 6.8.E2] || <math qid="Q2271">xe^{x}\expintE@{x} < \frac{x+1}{x+2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>xe^{x}\expintE@{x} < \frac{x+1}{x+2}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>x*exp(x)*Ei(x) < (x + 1)/(x + 2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>x*Exp[x]*ExpIntegralE[1, x] < Divide[x + 1,x + 2]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 22.19300237 < .7142857143
Test Values: {x = 1.5}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 73.21423116 < .7500000000
Test Values: {x = 1.5}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 73.21423116 < .7500000000
Test Values: {x = 2}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
Test Values: {x = 2}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
|-  
|-  
| [https://dlmf.nist.gov/6.8.E3 6.8.E3] || [[Item:Q2272|<math>\frac{x(x+3)}{x^{2}+4x+2} < xe^{x}\expintE@{x}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{x(x+3)}{x^{2}+4x+2} < xe^{x}\expintE@{x}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(x*(x + 3))/((x)^(2)+ 4*x + 2) < x*exp(x)*Ei(x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[x*(x + 3),(x)^(2)+ 4*x + 2] < x*Exp[x]*ExpIntegralE[1, x]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .4117647059 < .3744410095
| [https://dlmf.nist.gov/6.8.E3 6.8.E3] || <math qid="Q2272">\frac{x(x+3)}{x^{2}+4x+2} < xe^{x}\expintE@{x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{x(x+3)}{x^{2}+4x+2} < xe^{x}\expintE@{x}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(x*(x + 3))/((x)^(2)+ 4*x + 2) < x*exp(x)*Ei(x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[x*(x + 3),(x)^(2)+ 4*x + 2] < x*Exp[x]*ExpIntegralE[1, x]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .4117647059 < .3744410095
Test Values: {x = .5}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
Test Values: {x = .5}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
|-  
|-  
| [https://dlmf.nist.gov/6.8.E3 6.8.E3] || [[Item:Q2272|<math>xe^{x}\expintE@{x} < \frac{x^{2}+5x+2}{x^{2}+6x+6}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>xe^{x}\expintE@{x} < \frac{x^{2}+5x+2}{x^{2}+6x+6}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>x*exp(x)*Ei(x) < ((x)^(2)+ 5*x + 2)/((x)^(2)+ 6*x + 6)</syntaxhighlight> || <syntaxhighlight lang=mathematica>x*Exp[x]*ExpIntegralE[1, x] < Divide[(x)^(2)+ 5*x + 2,(x)^(2)+ 6*x + 6]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 22.19300237 < .6811594203
| [https://dlmf.nist.gov/6.8.E3 6.8.E3] || <math qid="Q2272">xe^{x}\expintE@{x} < \frac{x^{2}+5x+2}{x^{2}+6x+6}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>xe^{x}\expintE@{x} < \frac{x^{2}+5x+2}{x^{2}+6x+6}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>x*exp(x)*Ei(x) < ((x)^(2)+ 5*x + 2)/((x)^(2)+ 6*x + 6)</syntaxhighlight> || <syntaxhighlight lang=mathematica>x*Exp[x]*ExpIntegralE[1, x] < Divide[(x)^(2)+ 5*x + 2,(x)^(2)+ 6*x + 6]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 22.19300237 < .6811594203
Test Values: {x = 1.5}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 73.21423116 < .7272727273
Test Values: {x = 1.5}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 73.21423116 < .7272727273
Test Values: {x = 2}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
Test Values: {x = 2}</syntaxhighlight><br></div></div> || Successful [Tested: 3]
|}
|}
</div>
</div>

Latest revision as of 11:14, 28 June 2021


DLMF Formula Constraints Maple Mathematica Symbolic
Maple
Symbolic
Mathematica
Numeric
Maple
Numeric
Mathematica
6.8.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2}\ln@{1+\frac{2}{x}} < e^{x}\expintE@{x}}
\frac{1}{2}\ln@{1+\frac{2}{x}} < e^{x}\expintE@{x}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
(1)/(2)*ln(1 +(2)/(x)) < exp(x)*Ei(x)
Divide[1,2]*Log[1 +Divide[2,x]] < Exp[x]*ExpIntegralE[1, x]
Failure Failure
Failed [1 / 3]
Result: .8047189560 < .7488820189
Test Values: {x = .5}

Successful [Tested: 3]
6.8.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle e^{x}\expintE@{x} < \ln@{1+\frac{1}{x}}}
e^{x}\expintE@{x} < \ln@{1+\frac{1}{x}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
exp(x)*Ei(x) < ln(1 +(1)/(x))
Exp[x]*ExpIntegralE[1, x] < Log[1 +Divide[1,x]]
Failure Failure
Failed [2 / 3]
Result: 14.79533491 < .5108256240
Test Values: {x = 1.5}

Result: 36.60711558 < .4054651081
Test Values: {x = 2}

Successful [Tested: 3]
6.8.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{x}{x+1} < xe^{x}\expintE@{x}}
\frac{x}{x+1} < xe^{x}\expintE@{x}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
(x)/(x + 1) < x*exp(x)*Ei(x)
Divide[x,x + 1] < x*Exp[x]*ExpIntegralE[1, x]
Failure Failure Successful [Tested: 3] Successful [Tested: 3]
6.8.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle xe^{x}\expintE@{x} < \frac{x+1}{x+2}}
xe^{x}\expintE@{x} < \frac{x+1}{x+2}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
x*exp(x)*Ei(x) < (x + 1)/(x + 2)
x*Exp[x]*ExpIntegralE[1, x] < Divide[x + 1,x + 2]
Failure Failure
Failed [2 / 3]
Result: 22.19300237 < .7142857143
Test Values: {x = 1.5}

Result: 73.21423116 < .7500000000
Test Values: {x = 2}

Successful [Tested: 3]
6.8.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{x(x+3)}{x^{2}+4x+2} < xe^{x}\expintE@{x}}
\frac{x(x+3)}{x^{2}+4x+2} < xe^{x}\expintE@{x}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
(x*(x + 3))/((x)^(2)+ 4*x + 2) < x*exp(x)*Ei(x)
Divide[x*(x + 3),(x)^(2)+ 4*x + 2] < x*Exp[x]*ExpIntegralE[1, x]
Failure Failure
Failed [1 / 3]
Result: .4117647059 < .3744410095
Test Values: {x = .5}

Successful [Tested: 3]
6.8.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle xe^{x}\expintE@{x} < \frac{x^{2}+5x+2}{x^{2}+6x+6}}
xe^{x}\expintE@{x} < \frac{x^{2}+5x+2}{x^{2}+6x+6}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
x*exp(x)*Ei(x) < ((x)^(2)+ 5*x + 2)/((x)^(2)+ 6*x + 6)
x*Exp[x]*ExpIntegralE[1, x] < Divide[(x)^(2)+ 5*x + 2,(x)^(2)+ 6*x + 6]
Failure Failure
Failed [2 / 3]
Result: 22.19300237 < .6811594203
Test Values: {x = 1.5}

Result: 73.21423116 < .7272727273
Test Values: {x = 2}

Successful [Tested: 3]