Rebuild docs with latest content

lurchmath · Apr 2, 2024 · b58aa8b · b58aa8b
1 parent 54f4595
commit b58aa8b
Show file tree

Hide file tree

Showing 2 changed files with 110 additions and 2 deletions.
diff --git a/docs/tutorial-Test Results.html b/docs/tutorial-Test Results.html
@@ -55,7 +55,7 @@ <h2>Test Results</h2>
 
 <article>
     <p>The following page lists all tests run using the example converter in this
-repository, which was build to verify that the language-building and conversion
+repository, which was built to verify that the language-building and conversion
 tools in this repository work.  It can convert among LaTeX, putdown, and JSON
 formats (as of this writing).  The specific conversions it performed (to
 satisfy the requirements of the test suite) are shown below.</p>
@@ -617,6 +617,18 @@ <h3>can convert simple set memberships and subsets to JSON</h3>
 <li>output: JSON <code>[&quot;subseteq&quot;,[&quot;finiteset&quot;,[&quot;onenumseq&quot;,[&quot;number&quot;,&quot;1&quot;]]],[&quot;union&quot;,[&quot;finiteset&quot;,[&quot;onenumseq&quot;,[&quot;number&quot;,&quot;1&quot;]]],[&quot;finiteset&quot;,[&quot;onenumseq&quot;,[&quot;number&quot;,&quot;2&quot;]]]]]</code></li>
 </ul>
 </li>
+<li>Test 8
+<ul>
+<li>input: putdown <code>(in p (setprod U V))</code></li>
+<li>output: JSON <code>[&quot;numberisin&quot;,[&quot;numbervariable&quot;,&quot;p&quot;],[&quot;setproduct&quot;,[&quot;setvariable&quot;,&quot;U&quot;],[&quot;setvariable&quot;,&quot;V&quot;]]]</code></li>
+</ul>
+</li>
+<li>Test 9
+<ul>
+<li>input: putdown <code>(in q (setuni (setcomp U) (setprod V W)))</code></li>
+<li>output: JSON <code>[&quot;numberisin&quot;,[&quot;numbervariable&quot;,&quot;q&quot;],[&quot;union&quot;,[&quot;complement&quot;,[&quot;setvariable&quot;,&quot;U&quot;]],[&quot;setproduct&quot;,[&quot;setvariable&quot;,&quot;V&quot;],[&quot;setvariable&quot;,&quot;W&quot;]]]]</code></li>
+</ul>
+</li>
 </ul>
 <h3>does not undo the canonical form for &quot;notin&quot; notation</h3>
 <ul>
@@ -1227,6 +1239,18 @@ <h3>can convert simple set memberships and subsets to putdown</h3>
 <li>output: putdown <code>(subseteq (finiteset (elts 1)) (setuni (finiteset (elts 1)) (finiteset (elts 2))))</code></li>
 </ul>
 </li>
+<li>Test 8
+<ul>
+<li>input: JSON <code>[&quot;numberisin&quot;,[&quot;numbervariable&quot;,&quot;p&quot;],[&quot;setproduct&quot;,[&quot;setvariable&quot;,&quot;U&quot;],[&quot;setvariable&quot;,&quot;V&quot;]]]</code></li>
+<li>output: putdown <code>(in p (setprod U V))</code></li>
+</ul>
+</li>
+<li>Test 9
+<ul>
+<li>input: JSON <code>[&quot;numberisin&quot;,[&quot;numbervariable&quot;,&quot;q&quot;],[&quot;union&quot;,[&quot;complement&quot;,[&quot;setvariable&quot;,&quot;U&quot;]],[&quot;setproduct&quot;,[&quot;setvariable&quot;,&quot;V&quot;],[&quot;setvariable&quot;,&quot;W&quot;]]]]</code></li>
+<li>output: putdown <code>(in q (setuni (setcomp U) (setprod V W)))</code></li>
+</ul>
+</li>
 </ul>
 <h3>creates the canonical form for &quot;notin&quot; notation</h3>
 <ul>
@@ -1873,6 +1897,18 @@ <h3>can convert simple set memberships and subsets to JSON</h3>
 <li>output: JSON <code>[&quot;subseteq&quot;,[&quot;finiteset&quot;,[&quot;onenumseq&quot;,[&quot;number&quot;,&quot;1&quot;]]],[&quot;union&quot;,[&quot;finiteset&quot;,[&quot;onenumseq&quot;,[&quot;number&quot;,&quot;1&quot;]]],[&quot;finiteset&quot;,[&quot;onenumseq&quot;,[&quot;number&quot;,&quot;2&quot;]]]]]</code></li>
 </ul>
 </li>
+<li>Test 9
+<ul>
+<li>input: LaTeX <code>p\in U\times V</code>, typeset $p\in U\times V$</li>
+<li>output: JSON <code>[&quot;numberisin&quot;,[&quot;numbervariable&quot;,&quot;p&quot;],[&quot;setproduct&quot;,[&quot;setvariable&quot;,&quot;U&quot;],[&quot;setvariable&quot;,&quot;V&quot;]]]</code></li>
+</ul>
+</li>
+<li>Test 10
+<ul>
+<li>input: LaTeX <code>q \in U'\cup V\times W</code>, typeset $q \in U'\cup V\times W$</li>
+<li>output: JSON <code>[&quot;numberisin&quot;,[&quot;numbervariable&quot;,&quot;q&quot;],[&quot;union&quot;,[&quot;complement&quot;,[&quot;setvariable&quot;,&quot;U&quot;]],[&quot;setproduct&quot;,[&quot;setvariable&quot;,&quot;V&quot;],[&quot;setvariable&quot;,&quot;W&quot;]]]]</code></li>
+</ul>
+</li>
 </ul>
 <h3>converts &quot;notin&quot; notation to its placeholder concept</h3>
 <ul>
@@ -2477,6 +2513,18 @@ <h3>can convert simple set memberships and subsets to LaTeX</h3>
 <li>output: LaTeX <code>\{ 1 \} \subseteq \{ 1 \} \cup \{ 2 \}</code>, typeset ${ 1 } \subseteq { 1 } \cup { 2 }$</li>
 </ul>
 </li>
+<li>Test 8
+<ul>
+<li>input: JSON <code>[&quot;numberisin&quot;,[&quot;numbervariable&quot;,&quot;p&quot;],[&quot;setproduct&quot;,[&quot;setvariable&quot;,&quot;U&quot;],[&quot;setvariable&quot;,&quot;V&quot;]]]</code></li>
+<li>output: LaTeX <code>p \in U \times V</code>, typeset $p \in U \times V$</li>
+</ul>
+</li>
+<li>Test 9
+<ul>
+<li>input: JSON <code>[&quot;numberisin&quot;,[&quot;numbervariable&quot;,&quot;q&quot;],[&quot;union&quot;,[&quot;complement&quot;,[&quot;setvariable&quot;,&quot;U&quot;]],[&quot;setproduct&quot;,[&quot;setvariable&quot;,&quot;V&quot;],[&quot;setvariable&quot;,&quot;W&quot;]]]]</code></li>
+<li>output: LaTeX <code>q \in \bar U \cup V \times W</code>, typeset $q \in \bar U \cup V \times W$</li>
+</ul>
+</li>
 </ul>
 <h3>can represent &quot;notin&quot; notation if JSON explicitly requests it</h3>
 <ul>
@@ -3051,6 +3099,18 @@ <h3>can convert simple set memberships and subsets</h3>
 <li>output: LaTeX <code>\{ 1 \} \subseteq \{ 1 \} \cup \{ 2 \}</code>, typeset ${ 1 } \subseteq { 1 } \cup { 2 }$</li>
 </ul>
 </li>
+<li>Test 8
+<ul>
+<li>input: putdown <code>(in p (setprod U V))</code></li>
+<li>output: LaTeX <code>p \in U \times V</code>, typeset $p \in U \times V$</li>
+</ul>
+</li>
+<li>Test 9
+<ul>
+<li>input: putdown <code>(in q (setuni (setcomp U) (setprod V W)))</code></li>
+<li>output: LaTeX <code>q \in \bar U \cup V \times W</code>, typeset $q \in \bar U \cup V \times W$</li>
+</ul>
+</li>
 </ul>
 <h3>does not undo the canonical form for &quot;notin&quot; notation</h3>
 <ul>
@@ -3673,6 +3733,18 @@ <h3>can convert simple set memberships and subsets</h3>
 <li>output: putdown <code>(subseteq (finiteset (elts 1)) (setuni (finiteset (elts 1)) (finiteset (elts 2))))</code></li>
 </ul>
 </li>
+<li>Test 8
+<ul>
+<li>input: LaTeX <code>p \in U \times V</code>, typeset $p \in U \times V$</li>
+<li>output: putdown <code>(in p (setprod U V))</code></li>
+</ul>
+</li>
+<li>Test 9
+<ul>
+<li>input: LaTeX <code>q \in \bar U \cup V \times W</code>, typeset $q \in \bar U \cup V \times W$</li>
+<li>output: putdown <code>(in q (setuni (setcomp U) (setprod V W)))</code></li>
+</ul>
+</li>
 </ul>
 <h3>expands &quot;notin&quot; notation into canonical form</h3>
 <ul>

diff --git a/tutorials/Test Results.md b/tutorials/Test Results.md
@@ -1,6 +1,6 @@
 
 The following page lists all tests run using the example converter in this
-repository, which was build to verify that the language-building and conversion
+repository, which was built to verify that the language-building and conversion
 tools in this repository work.  It can convert among LaTeX, putdown, and JSON
 formats (as of this writing).  The specific conversions it performed (to
 satisfy the requirements of the test suite) are shown below.
@@ -337,6 +337,12 @@ satisfy the requirements of the test suite) are shown below.
 - Test 7
    - input: putdown `(subseteq (finiteset (elts 1)) (setuni (finiteset (elts 1)) (finiteset (elts 2))))`
    - output: JSON `["subseteq",["finiteset",["onenumseq",["number","1"]]],["union",["finiteset",["onenumseq",["number","1"]]],["finiteset",["onenumseq",["number","2"]]]]]`
+- Test 8
+   - input: putdown `(in p (setprod U V))`
+   - output: JSON `["numberisin",["numbervariable","p"],["setproduct",["setvariable","U"],["setvariable","V"]]]`
+- Test 9
+   - input: putdown `(in q (setuni (setcomp U) (setprod V W)))`
+   - output: JSON `["numberisin",["numbervariable","q"],["union",["complement",["setvariable","U"]],["setproduct",["setvariable","V"],["setvariable","W"]]]]`
 
 
 ### does not undo the canonical form for "notin" notation
@@ -696,6 +702,12 @@ satisfy the requirements of the test suite) are shown below.
 - Test 7
    - input: JSON `["subseteq",["finiteset",["onenumseq",["number","1"]]],["union",["finiteset",["onenumseq",["number","1"]]],["finiteset",["onenumseq",["number","2"]]]]]`
    - output: putdown `(subseteq (finiteset (elts 1)) (setuni (finiteset (elts 1)) (finiteset (elts 2))))`
+- Test 8
+   - input: JSON `["numberisin",["numbervariable","p"],["setproduct",["setvariable","U"],["setvariable","V"]]]`
+   - output: putdown `(in p (setprod U V))`
+- Test 9
+   - input: JSON `["numberisin",["numbervariable","q"],["union",["complement",["setvariable","U"]],["setproduct",["setvariable","V"],["setvariable","W"]]]]`
+   - output: putdown `(in q (setuni (setcomp U) (setprod V W)))`
 
 
 ### creates the canonical form for "notin" notation
@@ -1073,6 +1085,12 @@ satisfy the requirements of the test suite) are shown below.
 - Test 8
    - input: LaTeX `\{1\}\subseteq\{1\}\cup\{2\}`, typeset $\{1\}\subseteq\{1\}\cup\{2\}$
    - output: JSON `["subseteq",["finiteset",["onenumseq",["number","1"]]],["union",["finiteset",["onenumseq",["number","1"]]],["finiteset",["onenumseq",["number","2"]]]]]`
+- Test 9
+   - input: LaTeX `p\in U\times V`, typeset $p\in U\times V$
+   - output: JSON `["numberisin",["numbervariable","p"],["setproduct",["setvariable","U"],["setvariable","V"]]]`
+- Test 10
+   - input: LaTeX `q \in U'\cup V\times W`, typeset $q \in U'\cup V\times W$
+   - output: JSON `["numberisin",["numbervariable","q"],["union",["complement",["setvariable","U"]],["setproduct",["setvariable","V"],["setvariable","W"]]]]`
 
 
 ### converts "notin" notation to its placeholder concept
@@ -1429,6 +1447,12 @@ satisfy the requirements of the test suite) are shown below.
 - Test 7
    - input: JSON `["subseteq",["finiteset",["onenumseq",["number","1"]]],["union",["finiteset",["onenumseq",["number","1"]]],["finiteset",["onenumseq",["number","2"]]]]]`
    - output: LaTeX `\{ 1 \} \subseteq \{ 1 \} \cup \{ 2 \}`, typeset $\{ 1 \} \subseteq \{ 1 \} \cup \{ 2 \}$
+- Test 8
+   - input: JSON `["numberisin",["numbervariable","p"],["setproduct",["setvariable","U"],["setvariable","V"]]]`
+   - output: LaTeX `p \in U \times V`, typeset $p \in U \times V$
+- Test 9
+   - input: JSON `["numberisin",["numbervariable","q"],["union",["complement",["setvariable","U"]],["setproduct",["setvariable","V"],["setvariable","W"]]]]`
+   - output: LaTeX `q \in \bar U \cup V \times W`, typeset $q \in \bar U \cup V \times W$
 
 
 ### can represent "notin" notation if JSON explicitly requests it
@@ -1770,6 +1794,12 @@ satisfy the requirements of the test suite) are shown below.
 - Test 7
    - input: putdown `(subseteq (finiteset (elts 1)) (setuni (finiteset (elts 1)) (finiteset (elts 2))))`
    - output: LaTeX `\{ 1 \} \subseteq \{ 1 \} \cup \{ 2 \}`, typeset $\{ 1 \} \subseteq \{ 1 \} \cup \{ 2 \}$
+- Test 8
+   - input: putdown `(in p (setprod U V))`
+   - output: LaTeX `p \in U \times V`, typeset $p \in U \times V$
+- Test 9
+   - input: putdown `(in q (setuni (setcomp U) (setprod V W)))`
+   - output: LaTeX `q \in \bar U \cup V \times W`, typeset $q \in \bar U \cup V \times W$
 
 
 ### does not undo the canonical form for "notin" notation
@@ -2135,6 +2165,12 @@ satisfy the requirements of the test suite) are shown below.
 - Test 7
    - input: LaTeX `\{1\}\subseteq\{1\}\cup\{2\}`, typeset $\{1\}\subseteq\{1\}\cup\{2\}$
    - output: putdown `(subseteq (finiteset (elts 1)) (setuni (finiteset (elts 1)) (finiteset (elts 2))))`
+- Test 8
+   - input: LaTeX `p \in U \times V`, typeset $p \in U \times V$
+   - output: putdown `(in p (setprod U V))`
+- Test 9
+   - input: LaTeX `q \in \bar U \cup V \times W`, typeset $q \in \bar U \cup V \times W$
+   - output: putdown `(in q (setuni (setcomp U) (setprod V W)))`
 
 
 ### expands "notin" notation into canonical form