Added 'id' to intent rules.

Also added `data-fixity`, but this is experimental and likely will change.
NSoiffer · Jan 22, 2025 · 155cbcb · 155cbcb
1 parent 9597c35
commit 155cbcb
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 3 deletions.
diff --git a/Rules/Intent/calculus.yaml b/Rules/Intent/calculus.yaml
@@ -9,6 +9,7 @@
   replace:
   - intent:
       name: "laplacian"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children: [x: "*[2]"]
 
 -
@@ -20,6 +21,7 @@
   replace:
   - intent:
       name: "laplacian"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children: []
 
 -
@@ -29,6 +31,7 @@
   replace:
   - intent:
       xpath-name: "IfThenElse(*[1]/*[2][.='×'] , 'curl', 'divergence')"
+      attrs: "id='@id' data-fixity='\"infix\"'"
       children: [x: "*[2]"]
 
 -
@@ -40,6 +43,7 @@
   replace:
   - intent:
       name: "gradient"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children: [x: "*[2]"]
 
 -
@@ -50,6 +54,7 @@
   replace:
   - intent:
       name: "modified-variable"
+      attrs: "id='@id'"
       children:
       - x: "*[1]"
       - x: "*[2]"
diff --git a/Rules/Intent/geometry.yaml b/Rules/Intent/geometry.yaml
@@ -13,6 +13,7 @@
   replace:
   - intent:
       name: "line-segment"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children:
       - x: "*[1]/*[1]"
       - x: "*[1]/*[3]"
@@ -30,6 +31,7 @@
   replace:
   - intent:
       name: "ray"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children:
       - x: "*[1]/*[1]"
       - x: "*[1]/*[3]"
@@ -47,6 +49,7 @@
   replace:
   - intent:
       name: "arc"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children:
       - x: "*[1]/*[1]"
       - x: "*[1]/*[3]"

diff --git a/Rules/Intent/linear-algebra.yaml b/Rules/Intent/linear-algebra.yaml
@@ -11,6 +11,7 @@
   replace:
   - intent:
       name: "determinant"
+      attrs: "id='*[2]/@id' data-fixity='\"table\"'"
       children: [x: "*[2]"]
 
 -
@@ -23,7 +24,7 @@
   replace:
   - intent:
       name: "determinant"
-      attrs: "id='*[2]/@id'"
+      attrs: "id='*[2]/@id' data-fixity='\"table\"'"
       children: [x: "*[2]/*"]
 
 -
@@ -35,7 +36,7 @@
   replace:
   - intent:
       name: "matrix"
-      attrs: "id='*[2]/@id'"
+      attrs: "id='*[2]/@id' data-fixity='\"table\"'"
       children: [x: "*[2]/*"]
 
 -
@@ -46,6 +47,7 @@
   replace:
   - intent:
       name: "norm"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children: [x: "*[2]"]
 
 
@@ -57,6 +59,7 @@
   replace:
   - intent:
       name: "subscripted-norm"
+      attrs: "id='@id' data-fixity='\"norm;subscript\"'"
       children:
       - x: "*[1]/*[2]"   # grab the contents of the bracketed expr
       - x: "*[2]"
@@ -68,6 +71,7 @@
   replace:
   - intent:
       name: "magnitude"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children: [x: "*[2]"]
 
 -
@@ -78,7 +82,8 @@
   replace:
   - intent:
       name: "transpose"
-      children: [x: "*[1]"]
+        attrs: "id='@id' data-fixity='\"prefix\"'"
+    children: [x: "*[1]"]
 
 -
   name: trace
@@ -88,6 +93,7 @@
   replace:
   - intent:
       name: "trace"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children: [x: "*[3]"]
 
 -
@@ -98,6 +104,7 @@
   replace:
   - intent:
       name: "dimension"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children: [x: "*[3]"]
 
 -
@@ -108,6 +115,7 @@
   replace:
   - intent:
       name: "homomorphism"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children: [x: "*[3]"]
 
 -
@@ -118,6 +126,7 @@
   replace:
   - intent:
       name: "kernel"
+      attrs: "id='@id' data-fixity='\"prefix\"'"
       children: [x: "*[3]"]
 
 -
@@ -138,6 +147,7 @@
   replace:
   - intent:
       name: "dot-product"
+      attrs: "id='@id'"
       children: []
 
 -
@@ -155,4 +165,5 @@
   replace:
   - intent:
       name: "cross-product"
+      attrs: "id='@id'"
       children: []
diff --git a/Rules/Intent/probability.yaml b/Rules/Intent/probability.yaml
@@ -6,6 +6,7 @@
   replace:
   - intent:
       name: "probability"
+      attrs: "id='@id'"
       children: [x: "text()"]
 
 -
@@ -15,4 +16,5 @@
   replace:
   - intent:
       name: "given"
+      attrs: "id='@id'"
       children: [x: "text()"]