repos
/
qt.examples
/ annotate_shade
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
headblob
|
headfilediff
|
filehistory
normal
|
plain
|
shade
|
zebra
modular smoke & cleanup.
Annotate for file src/origami/tri.lisp
2010-01-10 tobias
1
(in-package :qt.examples)
08:54:26 '
2
'
3
(declaim (inline ^))
'
4
(defun ^ (base power)
'
5
(expt base power))
'
6
'
7
'
8
(defun v1 (z1 z2 d1 r1 r2)
'
9
(values
'
10
(/
'
11
(+
'
12
(* (+ (* -1 z2) z1)
'
13
(^
'
14
(+
'
15
(+
'
16
(+
'
17
(+ (* (* -16 (^ d1 2)) (^ z2 4))
'
18
(* (* (* 64 (^ d1 2)) z1) (^ z2 3)))
'
19
(*
'
20
(+ (* (* -96 (^ d1 2)) (^ z1 2))
'
21
(+ (* (* 32 (^ d1 2)) (^ r2 2))
'
22
(+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4)))))
'
23
(^ z2 2)))
'
24
(*
'
25
(+ (* (* 64 (^ d1 2)) (^ z1 3))
'
26
(*
'
27
(+ (* (* -64 (^ d1 2)) (^ r2 2))
'
28
(+ (* (* -64 (^ d1 2)) (^ r1 2)) (* 64 (^ d1 4))))
'
29
z1))
'
30
z2))
'
31
(+
'
32
(+ (* (* -16 (^ d1 2)) (^ z1 4))
'
33
(*
'
34
(+ (* (* 32 (^ d1 2)) (^ r2 2))
'
35
(+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4))))
'
36
(^ z1 2)))
'
37
(+
'
38
(+ (* (* -16 (^ d1 2)) (^ r2 4))
'
39
(* (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* 32 (^ d1 4))) (^ r2 2)))
'
40
(+ (+ (* (* -16 (^ d1 2)) (^ r1 4)) (* (* 32 (^ d1 4)) (^ r1 2)))
'
41
(* -16 (^ d1 6))))))
'
42
(/ 1 2)))
'
43
(+ (+ (* (* 4 (^ d1 2)) (^ z2 2)) (* (* (* -8 (^ d1 2)) z1) z2))
'
44
(+ (* (* 4 (^ d1 2)) (^ z1 2))
'
45
(+ (* (* 4 (^ d1 2)) (^ r2 2))
'
46
(+ (* (* -4 (^ d1 2)) (^ r1 2)) (* 4 (^ d1 4)))))))
'
47
(+ (+ (* (* 8 d1) (^ z2 2)) (* (* (* -16 d1) z1) z2))
'
48
(+ (* (* 8 d1) (^ z1 2)) (* 8 (^ d1 3)))))
'
49
(/
'
50
(+
'
51
(* -1
'
52
(^
'
53
(+
'
54
(+
'
55
(+
'
56
(+ (* (* -16 (^ d1 2)) (^ z2 4))
'
57
(* (* (* 64 (^ d1 2)) z1) (^ z2 3)))
'
58
(*
'
59
(+ (* (* -96 (^ d1 2)) (^ z1 2))
'
60
(+ (* (* 32 (^ d1 2)) (^ r2 2))
'
61
(+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4)))))
'
62
(^ z2 2)))
'
63
(*
'
64
(+ (* (* 64 (^ d1 2)) (^ z1 3))
'
65
(*
'
66
(+ (* (* -64 (^ d1 2)) (^ r2 2))
'
67
(+ (* (* -64 (^ d1 2)) (^ r1 2)) (* 64 (^ d1 4))))
'
68
z1))
'
69
z2))
'
70
(+
'
71
(+ (* (* -16 (^ d1 2)) (^ z1 4))
'
72
(*
'
73
(+ (* (* 32 (^ d1 2)) (^ r2 2))
'
74
(+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4))))
'
75
(^ z1 2)))
'
76
(+
'
77
(+ (* (* -16 (^ d1 2)) (^ r2 4))
'
78
(* (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* 32 (^ d1 4))) (^ r2 2)))
'
79
(+ (+ (* (* -16 (^ d1 2)) (^ r1 4)) (* (* 32 (^ d1 4)) (^ r1 2)))
'
80
(* -16 (^ d1 6))))))
'
81
(/ 1 2)))
'
82
(+
'
83
(+ (+ (* 4 (^ z2 3)) (* (* -4 z1) (^ z2 2)))
'
84
(*
'
85
(+ (* -4 (^ z1 2))
'
86
(+ (* -4 (^ r2 2)) (+ (* 4 (^ r1 2)) (* 4 (^ d1 2)))))
'
87
z2))
'
88
(+ (* 4 (^ z1 3))
'
89
(* (+ (* 4 (^ r2 2)) (+ (* -4 (^ r1 2)) (* 4 (^ d1 2)))) z1))))
'
90
(+ (+ (* 8 (^ z2 2)) (* (* -16 z1) z2))
'
91
(+ (* 8 (^ z1 2)) (* 8 (^ d1 2)))))))
'
92
'
93
(defun v2 (z1 z2 d1 r1 r2)
'
94
(values
'
95
(/
'
96
(+
'
97
(* (+ z2 (* -1 z1))
'
98
(^
'
99
(+
'
100
(+
'
101
(+
'
102
(+ (* (* -16 (^ d1 2)) (^ z2 4))
'
103
(* (* (* 64 (^ d1 2)) z1) (^ z2 3)))
'
104
(*
'
105
(+ (* (* -96 (^ d1 2)) (^ z1 2))
'
106
(+ (* (* 32 (^ d1 2)) (^ r2 2))
'
107
(+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4)))))
'
108
(^ z2 2)))
'
109
(*
'
110
(+ (* (* 64 (^ d1 2)) (^ z1 3))
'
111
(*
'
112
(+ (* (* -64 (^ d1 2)) (^ r2 2))
'
113
(+ (* (* -64 (^ d1 2)) (^ r1 2)) (* 64 (^ d1 4))))
'
114
z1))
'
115
z2))
'
116
(+
'
117
(+ (* (* -16 (^ d1 2)) (^ z1 4))
'
118
(*
'
119
(+ (* (* 32 (^ d1 2)) (^ r2 2))
'
120
(+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4))))
'
121
(^ z1 2)))
'
122
(+
'
123
(+ (* (* -16 (^ d1 2)) (^ r2 4))
'
124
(* (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* 32 (^ d1 4))) (^ r2 2)))
'
125
(+ (+ (* (* -16 (^ d1 2)) (^ r1 4)) (* (* 32 (^ d1 4)) (^ r1 2)))
'
126
(* -16 (^ d1 6))))))
'
127
(/ 1 2)))
'
128
(+ (+ (* (* 4 (^ d1 2)) (^ z2 2)) (* (* (* -8 (^ d1 2)) z1) z2))
'
129
(+ (* (* 4 (^ d1 2)) (^ z1 2))
'
130
(+ (* (* 4 (^ d1 2)) (^ r2 2))
'
131
(+ (* (* -4 (^ d1 2)) (^ r1 2)) (* 4 (^ d1 4)))))))
'
132
(+ (+ (* (* 8 d1) (^ z2 2)) (* (* (* -16 d1) z1) z2))
'
133
(+ (* (* 8 d1) (^ z1 2)) (* 8 (^ d1 3)))))
'
134
(/
'
135
(+
'
136
(^
'
137
(+
'
138
(+
'
139
(+
'
140
(+ (* (* -16 (^ d1 2)) (^ z2 4)) (* (* (* 64 (^ d1 2)) z1) (^ z2 3)))
'
141
(*
'
142
(+ (* (* -96 (^ d1 2)) (^ z1 2))
'
143
(+ (* (* 32 (^ d1 2)) (^ r2 2))
'
144
(+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4)))))
'
145
(^ z2 2)))
'
146
(*
'
147
(+ (* (* 64 (^ d1 2)) (^ z1 3))
'
148
(*
'
149
(+ (* (* -64 (^ d1 2)) (^ r2 2))
'
150
(+ (* (* -64 (^ d1 2)) (^ r1 2)) (* 64 (^ d1 4))))
'
151
z1))
'
152
z2))
'
153
(+
'
154
(+ (* (* -16 (^ d1 2)) (^ z1 4))
'
155
(*
'
156
(+ (* (* 32 (^ d1 2)) (^ r2 2))
'
157
(+ (* (* 32 (^ d1 2)) (^ r1 2)) (* -32 (^ d1 4))))
'
158
(^ z1 2)))
'
159
(+
'
160
(+ (* (* -16 (^ d1 2)) (^ r2 4))
'
161
(* (+ (* (* 32 (^ d1 2)) (^ r1 2)) (* 32 (^ d1 4))) (^ r2 2)))
'
162
(+ (+ (* (* -16 (^ d1 2)) (^ r1 4)) (* (* 32 (^ d1 4)) (^ r1 2)))
'
163
(* -16 (^ d1 6))))))
'
164
(/ 1 2))
'
165
(+
'
166
(+ (+ (* 4 (^ z2 3)) (* (* -4 z1) (^ z2 2)))
'
167
(*
'
168
(+ (* -4 (^ z1 2))
'
169
(+ (* -4 (^ r2 2)) (+ (* 4 (^ r1 2)) (* 4 (^ d1 2)))))
'
170
z2))
'
171
(+ (* 4 (^ z1 3))
'
172
(* (+ (* 4 (^ r2 2)) (+ (* -4 (^ r1 2)) (* 4 (^ d1 2)))) z1))))
'
173
(+ (+ (* 8 (^ z2 2)) (* (* -16 z1) z2))
'
174
(+ (* 8 (^ z1 2)) (* 8 (^ d1 2)))))))