Update obap/c000000.htm work items

orcmid · Jan 16, 2025 · 3ae5ce5 · 3ae5ce5
1 parent 438cc96
commit 3ae5ce5
Showing 1 changed file with 41 additions and 25 deletions.
diff --git a/docs/obap/c000000.htm b/docs/obap/c000000.htm
@@ -46,7 +46,7 @@
 		<a target="_top" href="c000000.htm">c000000</a>&gt;</code></b><br>
       <small><small>
 		<!--webbot bot="Timestamp" S-Type="EDITED"
-      S-Format="%Y-%m-%d" startspan -->2024-10-27<!--webbot bot="Timestamp" i-checksum="12042" endspan --> -<!--webbot bot="Timestamp" S-Type="EDITED" S-Format="%H:%M %Z" startspan -->09:43 -0700<!--webbot bot="Timestamp" i-checksum="12017" endspan -->
+      S-Format="%Y-%m-%d" startspan -->2025-01-16<!--webbot bot="Timestamp" i-checksum="12079" endspan --> -<!--webbot bot="Timestamp" S-Type="EDITED" S-Format="%H:%M %Z" startspan -->13:56 -0800<!--webbot bot="Timestamp" i-checksum="12063" endspan -->
       </small></small></p>
       </td>
 
@@ -153,17 +153,6 @@
 		need to be dated and marked done here.</font></td>
     </tr>
 
-    <tr>
-      <td width="11%" align="center" valign="top"><font size="2"><b>in progress<br>
-		2024-10-27</b></font></td>
-      <td width="11%" align="center" valign="top">
-   <font size="2">2024-09-14</font></td>
-      <td width="78%" align="left" valign="top">
-        <font size="2">I want to move away from lindy traces to lindy symbolic 
-		forms.&nbsp; I need a better explanation and it shows up at 
-		miser/lambda.&nbsp; I need to clear this up for obaptheory.txt.</font></td>
-    </tr>
-
     <tr>
       <td width="11%" align="center" valign="top">&nbsp;</td>
       <td width="11%" align="center" valign="top">
@@ -174,14 +163,19 @@
     </tr>
 
     <tr>
-      <td width="11%" align="center" valign="top">&nbsp;</td>
+      <td width="11%" align="center" valign="top"><font size="2"><b>in progress<br>
+		2025-01-16</b></font></td>
       <td width="11%" align="center" valign="top">
    <font size="2">2024-04-29</font></td>
       <td width="78%" align="left" valign="top">
         <font size="2">Develop a replacef(s, t) M that replaces s with t 
 		everywhere in M.&nbsp; Define first using sigma.s and then compose 
 		sigma.s away.&nbsp; Determine the most useful (s,t) operand order when 
-		composing sigma.s away.</font></td>
+		composing sigma.s away.&nbsp; [dh:2025-01-16 This is now </font>
+		<span style="color: #000000;">δ(</span><span style="color: #000000;font-style: italic;">s</span>,
+		<span style="color: #000000;font-style: italic;">N</span>)
+		<font size="2">and optimization by elimination of sigma is not 
+		considered just yet.]</font></td>
     </tr>
 
     <tr>
@@ -207,20 +201,14 @@
     </tr>
 
     <tr>
-      <td width="11%" align="center" valign="top">&nbsp;</td>
+      <td width="11%" align="center" valign="top"><font size="2"><b>in progress<br>
+		2025-01-16</b></font></td>
       <td width="11%" align="center" valign="top">
    <font size="2">2024-01-08</font></td>
       <td width="78%" align="left" valign="top">
-        <font size="2">Determine what TODOs to bring here</font></td>
-    </tr>
-
-    <tr>
-      <td width="11%" align="center" valign="top">&nbsp;</td>
-      <td width="11%" align="center" valign="top">
-   <font size="2">2024-01-08</font></td>
-      <td width="78%" align="left" valign="top">
-        <font size="2">We will need obapx/ at some point [dh:2024-01-24 Could 
-		use prefix &quot;x&quot;.]</font></td>
+        <font size="2">Determine what TODOs to bring here [dh:2025-01-16 I think 
+		there are ones on obaptheory.txt that don&#39;t belong there so much but 
+		would work better here.]</font></td>
     </tr>
 
     <tr>
@@ -234,6 +222,34 @@
 		what?</font></td>
     </tr>
 
+    <tr>
+      <td width="11%" align="center" valign="top" bgcolor="#CCCCFF">
+		<font size="2"><b>done<br>
+		2025-01-16</b></font></td>
+      <td width="11%" align="center" valign="top" bgcolor="#CCCCFF">
+   <b>
+   <font size="2">2024-09-14</font></b></td>
+      <td width="78%" align="left" valign="top" bgcolor="#CCCCFF">
+        <b>
+        <font size="2">I want to move away from lindy traces to lindy symbolic 
+		forms.&nbsp; I need a better explanation and it shows up at 
+		miser/lambda.&nbsp; I need to clear this up for obaptheory.txt.</font></b></td>
+    </tr>
+	<tr>
+      <td width="11%" align="center" valign="top" bgcolor="#CCCCFF">
+		<font size="2"><b>done<br>
+		2025-01-16</b></font></td>
+      <td width="11%" align="center" valign="top" bgcolor="#CCCCFF">
+   <b>
+   <font size="2">2024-01-08</font></b></td>
+      <td width="78%" align="left" valign="top" bgcolor="#CCCCFF">
+        <b>
+        <font size="2">We will need obapx/ at some point [dh:2024-01-24 Could 
+		use prefix &quot;x&quot;.][dh:2025-01-16 This was already done in creation of 
+		topics under miser/docs/.&nbsp; This note is more about the content, but 
+		that still belongs over there.]</font></b></td>
+    </tr>
+
     <tr>
       <td width="11%" align="center" valign="top" bgcolor="#CCCCFF"><b>
 		<font size="2">done<br>