Changeset 177 for trunk/backmath/meta.lisp
- Timestamp:
- 01/03/08 15:30:15 (4 years ago)
- Files:
-
- trunk/backmath/meta.lisp (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/backmath/meta.lisp
r176 r177 220 220 ; ((+ x (-r> e x)) (xxx)) 221 221 ; ((+ x (/r> e x)) (xxx)) 222 ; ((+ x (*> f (+> e x))) ())223 ; ((+ x (*> f (-> e x))) ())222 ((+ X (*> F (+> E X))) (/> (+ 1 (/ 1 F)) (+> (/ (/ E F) (+ 1 (/ 1 F))) X))) 223 ((+ X (*> F (-> E X))) (/> (+ 1 (/ 1 F)) (-> (/ (/ E F) (+ 1 (/ 1 F))) X))) 224 224 ; ((+ x (*> f (-r> e x))) ()) 225 ; ((+ x (/> f (+> e x))) ())226 ; ((+ x (/> f (-> e x))) ())225 ((+ X (/> F (+> E X))) (/> (+ 1 F) (+> (/ (* E F) (+ 1 F)) X))) 226 ((+ X (/> F (-> E X))) (/> (+ 1 F) (-> (/ (* E F) (+ 1 F)) X))) 227 227 ; ((+ x (/> f (-r> e x))) ()) 228 228 ; ((+ x (/r> f (+> e x))) ()) … … 488 488 489 489 ((- x x) 0) 490 ; ((- x (+> e x)) (xxx))491 ; ((- x (-> e x)) (xxx))490 ((- x (+> e x)) e) 491 ((- x (-> e x)) (- 0 e)) 492 492 ((- x (*> e x)) (/> (- 1 (/ 1 e)) x)) 493 493 ((- x (/> e x)) (/> (- 1 e) x)) 494 494 ((- x (-r> e x)) (/> 2 (+> (/ e 2) x))) 495 495 ; ((- x (/r> e x)) (xxx)) 496 ; ((- x (*> f (+> e x))) ())497 ; ((- x (*> f (-> e x))) ())498 ; ((- x (*> f (-r> e x))) ())499 ; ((- x (/> f (+> e x))) ())500 ; ((- x (/> f (-> e x))) ())501 ; ((- x (/> f (-r> e x))) ())496 ((- X (*> F (+> E X))) (/> (- 1 (/ 1 F)) (-> (/ (/ E F) (- 1 (/ 1 F))) X))) 497 ((- X (*> F (-> E X))) (/> (- 1 (/ 1 F)) (+> (/ (/ E F) (- 1 (/ 1 F))) X))) 498 ((- X (*> F (-R> E X))) (/> (+ 1 (/ 1 F)) (+> (/ (/ E F) (+ 1 (/ 1 F))) X))) 499 ((- X (/> F (+> E X))) (/> (- 1 F) (-> (/ (* E F) (- 1 F)) X))) 500 ((- X (/> F (-> E X))) (/> (- 1 F) (+> (/ (* E F) (- 1 F)) X))) 501 ((- X (/> F (-R> E X))) (/> (+ 1 F) (-> (/ (* E F) (+ 1 F)) X))) 502 502 ; ((- x (/r> f (+> e x))) ()) 503 503 ; ((- x (/r> f (-> e x))) ())