diff --git a/doc/en/Authoring/Answer_Tests/Results/AlgEquiv.md b/doc/en/Authoring/Answer_Tests/Results/AlgEquiv.md index 853a8eedc999fbe00bf75f00f1697fd9fb94bd95..efa3b55dc1e876fb049c48aa1889067facfb882d 100644 --- a/doc/en/Authoring/Answer_Tests/Results/AlgEquiv.md +++ b/doc/en/Authoring/Answer_Tests/Results/AlgEquiv.md @@ -313,6 +313,33 @@ This page exposes the results of running answer tests on STACK test cases. This <td class="cell c5">1</td> <td class="cell c6"></td> </tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>0.333333333333333*x^2</pre></td> + <td class="cell c3"><pre>x^2/3</pre></td> + <td class="cell c4"></td> + <td class="cell c5">0</td> + <td class="cell c6"></td> +</tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>0.1*(2.0*s^2+6.0*s-25.0)/s</pre></td> + <td class="cell c3"><pre>(2*s^2+6*s-25)/(10*s)</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6"></td> +</tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>0.1*(2.0*s^2+6.0*s-25.00001)/s</pre></td> + <td class="cell c3"><pre>(2*s^2+6*s-25)/(10*s)</pre></td> + <td class="cell c4"></td> + <td class="cell c5">0</td> + <td class="cell c6"></td> +</tr> <tr class="pass"> <td class="cell c0">AlgEquiv</td> <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> @@ -421,6 +448,15 @@ i/15))</pre></td> <td class="cell c5">1</td> <td class="cell c6"></td> </tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>exp(-%i)</pre></td> + <td class="cell c3"><pre>inf</pre></td> + <td class="cell c4"></td> + <td class="cell c5">0</td> + <td class="cell c6"></td> +</tr> <tr class="notes"> <td class="cell c0"><td colspan="6">Powers and roots</td></td> </tr> @@ -966,6 +1002,15 @@ y))</pre></td> <td class="cell c5">1</td> <td class="cell c6"></td> </tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>4*x*cos(x^12/%pi)</pre></td> + <td class="cell c3"><pre>x*cos(x^12/%pi)</pre></td> + <td class="cell c4"></td> + <td class="cell c5">0</td> + <td class="cell c6"></td> +</tr> <tr class="pass"> <td class="cell c0">AlgEquiv</td> <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> @@ -2187,6 +2232,42 @@ k^2+4*k-12)}</pre></td> <td class="cell c5">1</td> <td class="cell c6">ATEquation_ratio</td> </tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>x^2=4</pre></td> + <td class="cell c3"><pre>x=2 nounor x=-2</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6">ATEquation_ratio</td> +</tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>x^2-5*x+6=0</pre></td> + <td class="cell c3"><pre>x=2 nounor x=3</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6">ATEquation_sides</td> +</tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>x^2-5*x+6=0</pre></td> + <td class="cell c3"><pre>x=(5 #pm# sqrt(25-24))/2</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6">ATEquation_sides</td> +</tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>x^2-5*x+6=0</pre></td> + <td class="cell c3"><pre>x=(5 #pm# sqrt(25-23))/2</pre></td> + <td class="cell c4"></td> + <td class="cell c5">0</td> + <td class="cell c6">ATEquation_default</td> +</tr> <tr class="pass"> <td class="cell c0">AlgEquiv</td> <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> @@ -3198,6 +3279,33 @@ nf <= x)</pre></td> <td class="cell c5">1</td> <td class="cell c6">ATLogic_True.</td> </tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>sigma>1</pre></td> + <td class="cell c3"><pre>x>1</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6">ATInequality_solver.</td> +</tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>a>1</pre></td> + <td class="cell c3"><pre>x>1</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6">ATInequality_solver.</td> +</tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>sigma>1</pre></td> + <td class="cell c3"><pre>x>2</pre></td> + <td class="cell c4"></td> + <td class="cell c5">0</td> + <td class="cell c6"></td> +</tr> <tr class="pass"> <td class="cell c0">AlgEquiv</td> <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> @@ -3878,6 +3986,24 @@ x-(2/3)*(sqrt(2/3))*x^2+(4/9)* <td class="cell c5">1</td> <td class="cell c6"></td> </tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>3*t*diff(q(s),s)</pre></td> + <td class="cell c3"><pre>3*diff(t*q(s),s)</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6"></td> +</tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>diff(diff(q(s),s),s)</pre></td> + <td class="cell c3"><pre>diff(q(s),s,2)</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6"></td> +</tr> <tr class="notes"> <td class="cell c0"><td colspan="6">Sums and products</td></td> </tr> @@ -4244,7 +4370,16 @@ qrt(34-2*sqrt(17))-2*sqrt(34+2 <td class="cell c3"><pre>x=c^2-b or x=-c^2-b</pre></td> <td class="cell c4"></td> <td class="cell c5">1</td> - <td class="cell c6">ATLogic_True.</td> + <td class="cell c6">ATEquation_sides</td> +</tr> +<tr class="pass"> + <td class="cell c0">AlgEquiv</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>x=b#pm#c^2</pre></td> + <td class="cell c3"><pre>x=c^2-b or x=-c^2-b</pre></td> + <td class="cell c4"></td> + <td class="cell c5">0</td> + <td class="cell c6">ATEquation_default</td> </tr> <tr class="pass"> <td class="cell c0">AlgEquiv</td> diff --git a/doc/en/Authoring/Answer_Tests/Results/CasEqual.md b/doc/en/Authoring/Answer_Tests/Results/CasEqual.md index ac48f59d8fb3f4be453494e540bb4b17caf98cb5..5b9baddfa07eb0457eca089aa8f2390fea95be15 100644 --- a/doc/en/Authoring/Answer_Tests/Results/CasEqual.md +++ b/doc/en/Authoring/Answer_Tests/Results/CasEqual.md @@ -97,6 +97,18 @@ This page exposes the results of running answer tests on STACK test cases. This <td class="cell c5">0</td> <td class="cell c6">ATCASEqual (AlgEquiv-true).</td> </tr> +<tr class="notes"> + <td class="cell c0"><td colspan="6">Unary plus</td></td> +</tr> +<tr class="pass"> + <td class="cell c0">CasEqual</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>+1-2</pre></td> + <td class="cell c3"><pre>1-2</pre></td> + <td class="cell c4"></td> + <td class="cell c5">0</td> + <td class="cell c6">ATCASEqual (AlgEquiv-true).</td> +</tr> <tr class="notes"> <td class="cell c0"><td colspan="6">Powers</td></td> </tr> diff --git a/doc/en/Authoring/Answer_Tests/Results/EqualComAss.md b/doc/en/Authoring/Answer_Tests/Results/EqualComAss.md index 41e9baae859c3a89a639cd69cc98f6e22edb363e..08308c83d8aeb0ecdc5ec3c804214f6d0f6c3ced 100644 --- a/doc/en/Authoring/Answer_Tests/Results/EqualComAss.md +++ b/doc/en/Authoring/Answer_Tests/Results/EqualComAss.md @@ -322,6 +322,18 @@ z^2)^(3/2))</pre></td> <td class="cell c5">0</td> <td class="cell c6">ATEqualComAss (AlgEquiv-false).</td> </tr> +<tr class="notes"> + <td class="cell c0"><td colspan="6">Unary plus</td></td> +</tr> +<tr class="pass"> + <td class="cell c0">EqualComAss</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>+1-2</pre></td> + <td class="cell c3"><pre>1-2</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6"></td> +</tr> <tr class="notes"> <td class="cell c0"><td colspan="6">Unary minus</td></td> </tr> @@ -1205,6 +1217,43 @@ t;x)</pre></td> <td class="cell c5">1</td> <td class="cell c6"></td> </tr> +<tr class="notes"> + <td class="cell c0"><td colspan="6">Logic</td></td> +</tr> +<tr class="pass"> + <td class="cell c0">EqualComAss</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>B nounand A</pre></td> + <td class="cell c3"><pre>A nounand B</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6"></td> +</tr> +<tr class="pass"> + <td class="cell c0">EqualComAss</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>A nounand A</pre></td> + <td class="cell c3"><pre>A</pre></td> + <td class="cell c4"></td> + <td class="cell c5">0</td> + <td class="cell c6">ATEqualComAss ATAlgEquiv_SA_not_expression.</td> +</tr> +<tr class="pass"> + <td class="cell c0"><td colspan="2"></td></td> + <td class="cell c1"><td colspan="4">Your answer should be an expression, not an equation, inequality, list, set or matrix.</td></td> +</tr> +<tr class="pass"> + <td class="cell c0">EqualComAss</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>subst(["*"="nou +nand", "+"=&quo +t;nounor","!"=& +quot;nounnot"], A*B)</pre></td> + <td class="cell c3"><pre>A nounand B</pre></td> + <td class="cell c4"></td> + <td class="cell c5">1</td> + <td class="cell c6"></td> +</tr> <tr class="notes"> <td class="cell c0"><td colspan="6">Differential Equations</td></td> </tr> diff --git a/doc/en/Authoring/Answer_Tests/Results/Int.md b/doc/en/Authoring/Answer_Tests/Results/Int.md index 8c18d27419072325b3feb2046b71adaaec0100c1..fda901715b9a767ed8668bf84210fb7f76b2f16d 100644 --- a/doc/en/Authoring/Answer_Tests/Results/Int.md +++ b/doc/en/Authoring/Answer_Tests/Results/Int.md @@ -1356,6 +1356,32 @@ t)^2+cos(4*t)^2+2*cos(4*t)+1)</pre></td> <td class="cell c5">1</td> <td class="cell c6">ATInt_true.</td> </tr> +<tr class="pass"> + <td class="cell c0">Int</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>4*x*cos(x^12/%pi)+c</pre></td> + <td class="cell c3"><pre>x*cos(x^12/%pi)+c</pre></td> + <td class="cell c4"><pre>x</pre></td> + <td class="cell c5">0</td> + <td class="cell c6">ATInt_generic.</td> +</tr> +<tr class="pass"> + <td class="cell c0"><td colspan="2"></td></td> + <td class="cell c1"><td colspan="4">The derivative of your answer should be equal to the expression that you were asked to integrate, that was: <span class="filter_mathjaxloader_equation"><span class="nolink">\[\cos \left( \frac{x^{12}}{\pi} \right)-\frac{12\cdot x^{12}\cdot \sin \left( \frac{x^{12}}{\pi} \right)}{\pi}\]</span></span> In fact, the derivative of your answer, with respect to <span class="filter_mathjaxloader_equation"><span class="nolink">\(x\)</span></span> is: <span class="filter_mathjaxloader_equation"><span class="nolink">\[4\cdot \cos \left( \frac{x^{12}}{\pi} \right)-\frac{48\cdot x^{12} \cdot \sin \left( \frac{x^{12}}{\pi} \right)}{\pi}\]</span></span> so you must have done something wrong!</td></td> +</tr> +<tr class="pass"> + <td class="cell c0">Int</td> + <td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td> + <td class="cell c2"><pre>4*x*cos(x^50/%pi)+c</pre></td> + <td class="cell c3"><pre>x*cos(x^12/%pi)+c</pre></td> + <td class="cell c4"><pre>x</pre></td> + <td class="cell c5">0</td> + <td class="cell c6">ATInt_generic.</td> +</tr> +<tr class="pass"> + <td class="cell c0"><td colspan="2"></td></td> + <td class="cell c1"><td colspan="4">The derivative of your answer should be equal to the expression that you were asked to integrate, that was: <span class="filter_mathjaxloader_equation"><span class="nolink">\[\cos \left( \frac{x^{12}}{\pi} \right)-\frac{12\cdot x^{12}\cdot \sin \left( \frac{x^{12}}{\pi} \right)}{\pi}\]</span></span> In fact, the derivative of your answer, with respect to <span class="filter_mathjaxloader_equation"><span class="nolink">\(x\)</span></span> is: <span class="filter_mathjaxloader_equation"><span class="nolink">\[4\cdot \cos \left( \frac{x^{50}}{\pi} \right)-\frac{200\cdot x^{50} \cdot \sin \left( \frac{x^{50}}{\pi} \right)}{\pi}\]</span></span> so you must have done something wrong!</td></td> +</tr> <tr class="notes"> <td class="cell c0"><td colspan="6">Note the difference in feedback here, generated by the options.</td></td> </tr>