|
@@ -1437,7 +1437,7 @@ This is the assembly of the ~#:larcs.manipulate~ package. It includes, in corre
|
|
|
|
|
|
|
|
While this isn't exactly /algebra/, differentiation is important mathematically. This is done rather simply using rules to rewrite an initial expression forming the derivative.
|
|
While this isn't exactly /algebra/, differentiation is important mathematically. This is done rather simply using rules to rewrite an initial expression forming the derivative.
|
|
|
|
|
|
|
|
-** WORKING Rule Definition [2/3]
|
|
|
|
|
|
|
+** WORKING Rule Definition [3/3]
|
|
|
:PROPERTIES:
|
|
:PROPERTIES:
|
|
|
:CREATED: <2016-06-13 Mon 22:51>
|
|
:CREATED: <2016-06-13 Mon 22:51>
|
|
|
:END:
|
|
:END:
|
|
@@ -1482,12 +1482,15 @@ Rule retrieval works by matching a rewrite rule to an expression by classificati
|
|
|
,*rules*))))
|
|
,*rules*))))
|
|
|
#+END_SRC
|
|
#+END_SRC
|
|
|
|
|
|
|
|
-*** TODO Storage
|
|
|
|
|
|
|
+*** DONE Storage
|
|
|
|
|
+CLOSED: [2016-08-16 Tue 22:05]
|
|
|
:PROPERTIES:
|
|
:PROPERTIES:
|
|
|
:CREATED: <2016-06-13 Mon 22:52>
|
|
:CREATED: <2016-06-13 Mon 22:52>
|
|
|
:ID: 372dc2d7-ee67-4eba-a9f7-3633eaf0996e
|
|
:ID: 372dc2d7-ee67-4eba-a9f7-3633eaf0996e
|
|
|
:END:
|
|
:END:
|
|
|
|
|
|
|
|
|
|
+Rules are stored rather simply, in a list of cons cells, with the ~CAR~ being the classification, and the ~CDR~ being the actualy rewrite function. They are found in the variable ~*rules*~.
|
|
|
|
|
+
|
|
|
#+Caption: Rule Storage
|
|
#+Caption: Rule Storage
|
|
|
#+Name: sd-rule-storage
|
|
#+Name: sd-rule-storage
|
|
|
#+BEGIN_SRC lisp
|
|
#+BEGIN_SRC lisp
|
