src/origami/tri.lisp
Sun Jan 10 09:54:26 CET 2010 Tobias Rautenkranz <tobias@rautenkranz.ch>
* modular smoke & cleanup.
--- old-qt.examples/src/origami/tri.lisp 1970-01-01 01:00:00.000000000 +0100
+++ new-qt.examples/src/origami/tri.lisp 2014-10-30 07:36:34.000000000 +0100
@@ -0,0 +1,174 @@
+(in-package :qt.examples)
+
+(declaim (inline ^))
+(defun ^ (base power)
+ (expt base power))
+
+
+(defun v1 (z1 z2 d1 r1 r2)
+ (values
+ (/
+ (+
+ (* (+ (* -1 z2) z1)
+ (^
+ (+
+ (+
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ z2 4))
+ (* (* (* 64 (^ d1 2)) z1) (^ z2 3)))
+ (*
+ (+ (* (* -96 (^ d1 2)) (^ z1 2))
+ (+ (* (* 32 (^ d1 2)) (^ r2 2))
+ (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4)))))
+ (^ z2 2)))
+ (*
+ (+ (* (* 64 (^ d1 2)) (^ z1 3))
+ (*
+ (+ (* (* -64 (^ d1 2)) (^ r2 2))
+ (+ (* (* -64 (^ d1 2)) (^ r1 2)) (* 64 (^ d1 4))))
+ z1))
+ z2))
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ z1 4))
+ (*
+ (+ (* (* 32 (^ d1 2)) (^ r2 2))
+ (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4))))
+ (^ z1 2)))
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ r2 4))
+ (* (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* 32 (^ d1 4))) (^ r2 2)))
+ (+ (+ (* (* -16 (^ d1 2)) (^ r1 4)) (* (* 32 (^ d1 4)) (^ r1 2)))
+ (* -16 (^ d1 6))))))
+ (/ 1 2)))
+ (+ (+ (* (* 4 (^ d1 2)) (^ z2 2)) (* (* (* -8 (^ d1 2)) z1) z2))
+ (+ (* (* 4 (^ d1 2)) (^ z1 2))
+ (+ (* (* 4 (^ d1 2)) (^ r2 2))
+ (+ (* (* -4 (^ d1 2)) (^ r1 2)) (* 4 (^ d1 4)))))))
+ (+ (+ (* (* 8 d1) (^ z2 2)) (* (* (* -16 d1) z1) z2))
+ (+ (* (* 8 d1) (^ z1 2)) (* 8 (^ d1 3)))))
+ (/
+ (+
+ (* -1
+ (^
+ (+
+ (+
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ z2 4))
+ (* (* (* 64 (^ d1 2)) z1) (^ z2 3)))
+ (*
+ (+ (* (* -96 (^ d1 2)) (^ z1 2))
+ (+ (* (* 32 (^ d1 2)) (^ r2 2))
+ (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4)))))
+ (^ z2 2)))
+ (*
+ (+ (* (* 64 (^ d1 2)) (^ z1 3))
+ (*
+ (+ (* (* -64 (^ d1 2)) (^ r2 2))
+ (+ (* (* -64 (^ d1 2)) (^ r1 2)) (* 64 (^ d1 4))))
+ z1))
+ z2))
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ z1 4))
+ (*
+ (+ (* (* 32 (^ d1 2)) (^ r2 2))
+ (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4))))
+ (^ z1 2)))
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ r2 4))
+ (* (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* 32 (^ d1 4))) (^ r2 2)))
+ (+ (+ (* (* -16 (^ d1 2)) (^ r1 4)) (* (* 32 (^ d1 4)) (^ r1 2)))
+ (* -16 (^ d1 6))))))
+ (/ 1 2)))
+ (+
+ (+ (+ (* 4 (^ z2 3)) (* (* -4 z1) (^ z2 2)))
+ (*
+ (+ (* -4 (^ z1 2))
+ (+ (* -4 (^ r2 2)) (+ (* 4 (^ r1 2)) (* 4 (^ d1 2)))))
+ z2))
+ (+ (* 4 (^ z1 3))
+ (* (+ (* 4 (^ r2 2)) (+ (* -4 (^ r1 2)) (* 4 (^ d1 2)))) z1))))
+ (+ (+ (* 8 (^ z2 2)) (* (* -16 z1) z2))
+ (+ (* 8 (^ z1 2)) (* 8 (^ d1 2)))))))
+
+(defun v2 (z1 z2 d1 r1 r2)
+ (values
+ (/
+ (+
+ (* (+ z2 (* -1 z1))
+ (^
+ (+
+ (+
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ z2 4))
+ (* (* (* 64 (^ d1 2)) z1) (^ z2 3)))
+ (*
+ (+ (* (* -96 (^ d1 2)) (^ z1 2))
+ (+ (* (* 32 (^ d1 2)) (^ r2 2))
+ (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4)))))
+ (^ z2 2)))
+ (*
+ (+ (* (* 64 (^ d1 2)) (^ z1 3))
+ (*
+ (+ (* (* -64 (^ d1 2)) (^ r2 2))
+ (+ (* (* -64 (^ d1 2)) (^ r1 2)) (* 64 (^ d1 4))))
+ z1))
+ z2))
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ z1 4))
+ (*
+ (+ (* (* 32 (^ d1 2)) (^ r2 2))
+ (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4))))
+ (^ z1 2)))
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ r2 4))
+ (* (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* 32 (^ d1 4))) (^ r2 2)))
+ (+ (+ (* (* -16 (^ d1 2)) (^ r1 4)) (* (* 32 (^ d1 4)) (^ r1 2)))
+ (* -16 (^ d1 6))))))
+ (/ 1 2)))
+ (+ (+ (* (* 4 (^ d1 2)) (^ z2 2)) (* (* (* -8 (^ d1 2)) z1) z2))
+ (+ (* (* 4 (^ d1 2)) (^ z1 2))
+ (+ (* (* 4 (^ d1 2)) (^ r2 2))
+ (+ (* (* -4 (^ d1 2)) (^ r1 2)) (* 4 (^ d1 4)))))))
+ (+ (+ (* (* 8 d1) (^ z2 2)) (* (* (* -16 d1) z1) z2))
+ (+ (* (* 8 d1) (^ z1 2)) (* 8 (^ d1 3)))))
+ (/
+ (+
+ (^
+ (+
+ (+
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ z2 4)) (* (* (* 64 (^ d1 2)) z1) (^ z2 3)))
+ (*
+ (+ (* (* -96 (^ d1 2)) (^ z1 2))
+ (+ (* (* 32 (^ d1 2)) (^ r2 2))
+ (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4)))))
+ (^ z2 2)))
+ (*
+ (+ (* (* 64 (^ d1 2)) (^ z1 3))
+ (*
+ (+ (* (* -64 (^ d1 2)) (^ r2 2))
+ (+ (* (* -64 (^ d1 2)) (^ r1 2)) (* 64 (^ d1 4))))
+ z1))
+ z2))
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ z1 4))
+ (*
+ (+ (* (* 32 (^ d1 2)) (^ r2 2))
+ (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4))))
+ (^ z1 2)))
+ (+
+ (+ (* (* -16 (^ d1 2)) (^ r2 4))
+ (* (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* 32 (^ d1 4))) (^ r2 2)))
+ (+ (+ (* (* -16 (^ d1 2)) (^ r1 4)) (* (* 32 (^ d1 4)) (^ r1 2)))
+ (* -16 (^ d1 6))))))
+ (/ 1 2))
+ (+
+ (+ (+ (* 4 (^ z2 3)) (* (* -4 z1) (^ z2 2)))
+ (*
+ (+ (* -4 (^ z1 2))
+ (+ (* -4 (^ r2 2)) (+ (* 4 (^ r1 2)) (* 4 (^ d1 2)))))
+ z2))
+ (+ (* 4 (^ z1 3))
+ (* (+ (* 4 (^ r2 2)) (+ (* -4 (^ r1 2)) (* 4 (^ d1 2)))) z1))))
+ (+ (+ (* 8 (^ z2 2)) (* (* -16 z1) z2))
+ (+ (* 8 (^ z1 2)) (* 8 (^ d1 2)))))))