Changeset 176 for trunk/backmath/do.lisp

Timestamp:

01/02/08 15:20:05 (4 years ago)

Author:

BCS

Message:

added a bunch more rules
did a compile time performance tweak in backmath.d
improved automation in do.lisp

Files:

• trunk/backmath/do.lisp (modified) (4 diffs)

trunk/backmath/do.lisp

@@ +1 @@
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;;;
+;;;;; This is a program for atomating parts of
+;;;;; the rule generation process for BackMath
+;;;;;
+;;;;; For instruction on how to use it, look at
+;;;;; the end of the file.
+;;;;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;; convert in place a op> exp to a normal exp
@@ -383 +395 @@
-                    )
-                )
+                (
+                    (and    ; (* a (/ 1 b))
+                        (partof    (        cdr exp) )
+                        (something (       cadr exp) )
+                            ; a               (cadr exp)
+                        (partof    (       cddr exp) )
+                        (partof    (      caddr exp) )
+                        (something (     caaddr exp) )
+                            ; /             (caaddr exp)
+                        (equal '/  (     caaddr exp) )
+                        (partof    (     cdaddr exp) )
+                        (something  (car(cdaddr exp)))
+                            ; 1         (car(cdaddr exp))
+                        (equal 1    (car(cdaddr exp)))
+                        (something  (cdr(cdaddr exp)))
+                        (something (cadr(cdaddr exp)))
+                            ; b        (cadr(cdaddr exp))
+                    )
+                    `(/ ; (/ a b)
+                        ,(cadr exp)
+                        ,(cadr(cdaddr exp))
+                    )
+                )
-
-                (
@@ -463 +498 @@
-;(- (*> h x) (/> e x))
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-"#3) copy this expression for step 4"
-(Convert_to_exp in)
@@ -479 +515 @@
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;
-ange so that is is of the form: ;
-;
+ 
+range so that is is of the form: 
+ 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-K (/ 1 F))(+ (* X ) (/ (+(* H K) (/ E F)) (+ K (/ 1
+(/ H) (/ F)) (+ (* x ) (/ (/ E F)(+ (/ H) (/
-
-)