Skip to content

Commit

Permalink
Add in auto-geterated docs for AddConst and Antidiff answer tests.
Browse files Browse the repository at this point in the history
  • Loading branch information
@sangwinc
sangwinc committed Jan 22, 2025
1 parent b420b1f commit 1bac1b2
Show file tree
Hide file tree
Showing 9 changed files with 2,956 additions and 4 deletions.
1,201 changes: 1,201 additions & 0 deletions doc/en/Authoring/Answer_Tests/Results/AddConst.md
View file

Large diffs are not rendered by default.

12 changes: 11 additions & 1 deletion doc/en/Authoring/Answer_Tests/Results/AlgEquiv.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -184,6 +184,16 @@ This page exposes the results of running answer tests on STACK test cases. This
<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>scientific_notationp(4.1561*10
^16)</pre></td>
<td class="cell c3"><pre>true</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">Case sensitivity</td></td>
</tr>
Expand Down Expand Up @@ -1744,7 +1754,7 @@ i,i),i,8)</pre></td>
</tr>
<tr class="pass">
<td class="cell c0"><td colspan="2"></td></td>
<td class="cell c1"><td colspan="4">The following entries are incorrect, although they may appear in a simplified form from that which you actually entered. <span class="filter_mathjaxloader_equation"><span class="nolink">\[\left \{5-x > 0\,{\text{ and }}\, x-1 > 0 \right \}\]</span></span></td></td>
<td class="cell c1"><td colspan="4">The following entries are incorrect, although they may appear in a simplified form from that which you actually entered. <span class="filter_mathjaxloader_equation"><span class="nolink">\[\left \{5-x &gt; 0\,{\text{ and }}\, x-1 > 0 \right \}\]</span></span></td></td>
</tr>
<tr class="notes">
<td class="cell c0"><td colspan="6">Equivalence for elements of sets is different from expressions: see docs.</td></td>
Expand Down
1,475 changes: 1,475 additions & 0 deletions doc/en/Authoring/Answer_Tests/Results/Antidiff.md
View file

Large diffs are not rendered by default.

48 changes: 48 additions & 0 deletions doc/en/Authoring/Answer_Tests/Results/CasEqual.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -510,4 +510,52 @@ i*%pi/6)))</pre></td>
<td class="cell c4"></td>
<td class="cell c5">1</td>
<td class="cell c6">ATCASEqual_true.</td>
</tr>
<tr class="notes">
<td class="cell c0"><td colspan="6">Associativity</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>a+(b+c)</pre></td>
<td class="cell c3"><pre>(a+b)+c</pre></td>
<td class="cell c4"></td>
<td class="cell c5">0</td>
<td class="cell c6">ATCASEqual (AlgEquiv-true).</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>a+(b+c)</pre></td>
<td class="cell c3"><pre>&quot;+&quot;(a,b,c)</pre></td>
<td class="cell c4"></td>
<td class="cell c5">0</td>
<td class="cell c6">ATCASEqual (AlgEquiv-true).</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>(a+b)+c</pre></td>
<td class="cell c3"><pre>&quot;+&quot;(a,b,c)</pre></td>
<td class="cell c4"></td>
<td class="cell c5">0</td>
<td class="cell c6">ATCASEqual (AlgEquiv-true).</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>(a+b)+c</pre></td>
<td class="cell c3"><pre>a+b+c</pre></td>
<td class="cell c4"></td>
<td class="cell c5">0</td>
<td class="cell c6">ATCASEqual (AlgEquiv-true).</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>a+(b+c)</pre></td>
<td class="cell c3"><pre>a+b+c</pre></td>
<td class="cell c4"></td>
<td class="cell c5">0</td>
<td class="cell c6">ATCASEqual (AlgEquiv-true).</td>
</tr></tbody></table></div>
19 changes: 19 additions & 0 deletions doc/en/Authoring/Answer_Tests/Results/EqualComAss.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1147,6 +1147,25 @@ t;x)</pre></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>scientific_notationp(1/3)</pre></td>
<td class="cell c3"><pre>true</pre></td>
<td class="cell c4"></td>
<td class="cell c5">0</td>
<td class="cell c6">ATEqualComAss (AlgEquiv-false).</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>scientific_notationp(4.1561*10
^16)</pre></td>
<td class="cell c3"><pre>true</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">Bad things in denominators</td></td>
</tr>
Expand Down
184 changes: 182 additions & 2 deletions doc/en/Authoring/Answer_Tests/Results/EqualComAssRules.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -129,6 +129,96 @@ Add]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a+b</pre></td>
<td class="cell c3"><pre>b+a</pre></td>
<td class="cell c4"><pre>[zeroAdd]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a+(b+c)</pre></td>
<td class="cell c3"><pre>(a+b)+c</pre></td>
<td class="cell c4"><pre>[zeroAdd]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a*b</pre></td>
<td class="cell c3"><pre>b*a</pre></td>
<td class="cell c4"><pre>[zeroAdd]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a*(b*c)</pre></td>
<td class="cell c3"><pre>(a*b)*c</pre></td>
<td class="cell c4"><pre>[zeroAdd]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a+b</pre></td>
<td class="cell c3"><pre>b+a</pre></td>
<td class="cell c4"><pre>[noncomAdd]</pre></td>
<td class="cell c5">0</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a+(b+c)</pre></td>
<td class="cell c3"><pre>(a+b)+c</pre></td>
<td class="cell c4"><pre>[noncomAdd]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a*b</pre></td>
<td class="cell c3"><pre>b*a</pre></td>
<td class="cell c4"><pre>[noncomMul]</pre></td>
<td class="cell c5">0</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a*(b*c)</pre></td>
<td class="cell c3"><pre>(a*b)*c</pre></td>
<td class="cell c4"><pre>[noncomMul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>-a*b</pre></td>
<td class="cell c3"><pre>b*-a</pre></td>
<td class="cell c4"><pre>[noncomMul]</pre></td>
<td class="cell c5">0</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>-a/b</pre></td>
<td class="cell c3"><pre>a/-b</pre></td>
<td class="cell c4"><pre>[noncomMul]</pre></td>
<td class="cell c5">0</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
Expand Down Expand Up @@ -166,6 +256,36 @@ Add]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>1*a</pre></td>
<td class="cell c3"><pre>a*1</pre></td>
<td class="cell c4"><pre>[oneMul,noncomM
ul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>0*a</pre></td>
<td class="cell c3"><pre>0</pre></td>
<td class="cell c4"><pre>[zeroMul,noncom
Mul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a*0</pre></td>
<td class="cell c3"><pre>0</pre></td>
<td class="cell c4"><pre>[zeroMul,noncom
Mul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
Expand Down Expand Up @@ -290,6 +410,16 @@ vDiv,divCancel]
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>-(-a)</pre></td>
<td class="cell c3"><pre>a</pre></td>
<td class="cell c4"><pre>[negNeg,noncomM
ul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
Expand All @@ -299,6 +429,16 @@ vDiv,divCancel]
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>-(-(-a))</pre></td>
<td class="cell c3"><pre>-a</pre></td>
<td class="cell c4"><pre>[negNeg,noncomM
ul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
Expand Down Expand Up @@ -636,8 +776,8 @@ l]</pre></td>
<td class="cell c3"><pre>21*x*x</pre></td>
<td class="cell c4"><pre>[testdebug,ID_T
RANS,intMul]</pre></td>
<td class="cell c5">0</td>
<td class="cell c6">ATEqualComAssRules: [UNARY_MINUS nounmul UNARY_MINUS nounmul 21 nounmul x nounmul x,21 nounmul x nounmul x].</td>
<td class="cell c5">1</td>
<td class="cell c6">ATEqualComAssRules: [21 nounmul x nounmul x,21 nounmul x nounmul x].</td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
Expand All @@ -649,6 +789,46 @@ l,negNeg]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>2*a*3</pre></td>
<td class="cell c3"><pre>6*a</pre></td>
<td class="cell c4"><pre>[noncomMul,intM
ul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>2*a*3</pre></td>
<td class="cell c3"><pre>a*6</pre></td>
<td class="cell c4"><pre>[noncomMul,intM
ul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>a*6</pre></td>
<td class="cell c3"><pre>6*a</pre></td>
<td class="cell c4"><pre>[noncomMul,intM
ul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="pass">
<td class="cell c0">EqualComAssRules</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>A^2+2*A*B+B^2</pre></td>
<td class="cell c3"><pre>B^2+A*2*B+A^2</pre></td>
<td class="cell c4"><pre>[noncomMul,intM
ul]</pre></td>
<td class="cell c5">1</td>
<td class="cell c6"></td>
</tr>
<tr class="notes">
<td class="cell c0"><td colspan="6">ev(a/b/c, simp)=a/(b*c)</td></td>
</tr>
Expand Down
2 changes: 1 addition & 1 deletion doc/en/Authoring/Answer_Tests/Results/Equiv.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2552,7 +2552,7 @@ undiff(y(x),x)=0,-5*noundiff(y
</tr>
<tr class="pass">
<td class="cell c0"><td colspan="2"></td></td>
<td class="cell c1"><td colspan="4">\[\begin{array}{lll} &3\cdot x^{\frac{3}{2}}-\frac{2}{x}&{\color{blue}{{x \not\in {\left \{0 \right \}}}}}\cr \color{blue}{\frac{\mathrm{d}}{\mathrm{d}x}\ldots}&\frac{9\cdot \sqrt{x}}{2}+\frac{2}{x^2}&{\color{blue}{{x \in {\left( 0,\, \infty \right)}}}}\cr \color{blue}{\int\ldots\mathrm{d}x}&3\cdot x^{\frac{3}{2}}-\frac{2}{x}+c& \cr \end{array}\]</td></td>
<td class="cell c1"><td colspan="4">\[\begin{array}{lll} &3\cdot x^{\frac{3}{2}}-\frac{2}{x}&{\color{blue}{{x \in {\left( 0,\, \infty \right)}}}}\cr \color{blue}{\frac{\mathrm{d}}{\mathrm{d}x}\ldots}&\frac{9\cdot \sqrt{x}}{2}+\frac{2}{x^2}&{\color{blue}{{x \in {\left( 0,\, \infty \right)}}}}\cr \color{blue}{\int\ldots\mathrm{d}x}&3\cdot x^{\frac{3}{2}}-\frac{2}{x}+c& \cr \end{array}\]</td></td>
</tr>
<tr class="pass">
<td class="cell c0">Equiv</td>
Expand Down
9 changes: 9 additions & 0 deletions doc/en/Authoring/Answer_Tests/Results/Units.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -818,6 +818,15 @@ This page exposes the results of running answer tests on STACK test cases. This
<td class="cell c0"><td colspan="2"></td></td>
<td class="cell c1"><td colspan="4">Your answer must have units.</td></td>
</tr>
<tr class="pass">
<td class="cell c0">Units</td>
<td class="cell c1"><span style="color:green;"><i class="fa fa-check"></i></span></td>
<td class="cell c2"><pre>0.200*dpt</pre></td>
<td class="cell c3"><pre>0.200/m</pre></td>
<td class="cell c4"><pre>3</pre></td>
<td class="cell c5">1</td>
<td class="cell c6">ATUnits_compatible_units 1/m.</td>
</tr>
<tr class="notes">
<td class="cell c0"><td colspan="6">Imperial</td></td>
</tr>
Expand Down
10 changes: 10 additions & 0 deletions doc/meta_en.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -245,6 +245,16 @@
"description":"Automatically generated test cases for the ??? answer test."
},
{
"file":"AddConst.md",
"title":"Test cases for AddConst - STACK Documentation",
"description":"Automatically generated test cases for the AddConst answer test."
},
{
"file":"Antidiff.md",
"title":"Test cases for ATInt - STACK Documentation",
"description":"Automatically generated test cases for the Antidiff answer test."
},
{
"file":"GT.md",
"title":"Test cases for ATGT - STACK Documentation",
"description":"Automatically generated test cases for the ??? answer test."
Expand Down

0 comments on commit 1bac1b2

Please sign in to comment.