1
;;; Compiled by f2cl version 2.0 beta 2002-05-06
1
;;; Compiled by f2cl version 2.0 beta Date: 2006/01/31 15:11:05
2
;;; Using Lisp CMU Common Lisp Snapshot 2006-01 (19C)
3
4
;;; Options: ((:prune-labels nil) (:auto-save t) (:relaxed-array-decls t)
4
;;; (:coerce-assigns :as-needed) (:array-type ':simple-array)
5
;;; (:coerce-assigns :as-needed) (:array-type ':array)
5
6
;;; (:array-slicing t) (:declare-common nil)
6
7
;;; (:float-format double-float))
12
13
(f a b alfa beta integr epsabs epsrel limit result abserr neval ier
13
14
alist blist rlist elist iord last$)
14
15
(declare (type (array f2cl-lib:integer4 (*)) iord)
15
(type (array double-float (*)) elist rlist blist alist)
16
(type f2cl-lib:integer4 last$ ier neval limit integr)
17
(type double-float abserr result epsrel epsabs beta alfa b a))
18
(prog ((ri (make-array 25 :element-type 'double-float))
19
(rj (make-array 25 :element-type 'double-float))
20
(rh (make-array 25 :element-type 'double-float))
21
(rg (make-array 25 :element-type 'double-float)) (iroff1 0) (iroff2 0)
22
(k 0) (maxerr 0) (nev 0) (nrmax 0) (area 0.0) (area1 0.0) (area12 0.0)
23
(area2 0.0) (a1 0.0) (a2 0.0) (b1 0.0) (b2 0.0) (centre 0.0)
24
(epmach 0.0) (errbnd 0.0) (errmax 0.0) (error1 0.0) (erro12 0.0)
25
(error2 0.0) (errsum 0.0) (resas1 0.0) (resas2 0.0) (uflow 0.0)
27
(declare (type single-float abs$)
28
(type (simple-array double-float (25)) rj ri rh rg)
29
(type double-float uflow resas2 resas1 errsum error2 erro12 error1 errmax
30
errbnd epmach centre b2 b1 a2 a1 area2 area12 area1 area)
31
(type f2cl-lib:integer4 nrmax nev maxerr k iroff2 iroff1))
32
(setf epmach (f2cl-lib:d1mach 4))
33
(setf uflow (f2cl-lib:d1mach 1))
37
(f2cl-lib:fset (f2cl-lib:fref rlist (1) ((1 *))) 0.0)
38
(f2cl-lib:fset (f2cl-lib:fref elist (1) ((1 *))) 0.0)
39
(f2cl-lib:fset (f2cl-lib:fref iord (1) ((1 *))) 0)
44
(and (= epsabs 0.0) (< epsrel (max (* 50.0 epmach) 5.0e-29)))
52
(dqmomo alfa beta ri rj rg rh integr)
53
(setf centre (* 0.5 (+ b a)))
55
(var-0 var-1 var-2 var-3 var-4 var-5 var-6 var-7 var-8 var-9 var-10
56
var-11 var-12 var-13 var-14 var-15)
57
(dqc25s f a b a centre alfa beta ri rj rg rh area1 error1 resas1 integr
59
(declare (ignore var-0 var-3 var-4 var-7 var-8 var-9 var-10))
71
(var-0 var-1 var-2 var-3 var-4 var-5 var-6 var-7 var-8 var-9 var-10
72
var-11 var-12 var-13 var-14 var-15)
73
(dqc25s f a b centre b alfa beta ri rj rg rh area2 error2 resas2 integr
75
(declare (ignore var-0 var-3 var-4 var-7 var-8 var-9 var-10))
86
(setf neval (f2cl-lib:int-add neval nev))
87
(setf result (+ area1 area2))
88
(setf abserr (+ error1 error2))
89
(setf errbnd (max epsabs (* epsrel (abs result))))
90
(if (> error2 error1) (go label10))
91
(f2cl-lib:fset (f2cl-lib:fref alist (1) ((1 *))) a)
92
(f2cl-lib:fset (f2cl-lib:fref alist (2) ((1 *))) centre)
93
(f2cl-lib:fset (f2cl-lib:fref blist (1) ((1 *))) centre)
94
(f2cl-lib:fset (f2cl-lib:fref blist (2) ((1 *))) b)
95
(f2cl-lib:fset (f2cl-lib:fref rlist (1) ((1 *))) area1)
96
(f2cl-lib:fset (f2cl-lib:fref rlist (2) ((1 *))) area2)
97
(f2cl-lib:fset (f2cl-lib:fref elist (1) ((1 *))) error1)
98
(f2cl-lib:fset (f2cl-lib:fref elist (2) ((1 *))) error2)
101
(f2cl-lib:fset (f2cl-lib:fref alist (1) ((1 *))) centre)
102
(f2cl-lib:fset (f2cl-lib:fref alist (2) ((1 *))) a)
103
(f2cl-lib:fset (f2cl-lib:fref blist (1) ((1 *))) b)
104
(f2cl-lib:fset (f2cl-lib:fref blist (2) ((1 *))) centre)
105
(f2cl-lib:fset (f2cl-lib:fref rlist (1) ((1 *))) area2)
106
(f2cl-lib:fset (f2cl-lib:fref rlist (2) ((1 *))) area1)
107
(f2cl-lib:fset (f2cl-lib:fref elist (1) ((1 *))) error2)
108
(f2cl-lib:fset (f2cl-lib:fref elist (2) ((1 *))) error1)
110
(f2cl-lib:fset (f2cl-lib:fref iord (1) ((1 *))) 1)
111
(f2cl-lib:fset (f2cl-lib:fref iord (2) ((1 *))) 2)
112
(if (= limit 2) (setf ier 1))
113
(if (or (<= abserr errbnd) (= ier 1)) (go label999))
114
(setf errmax (f2cl-lib:fref elist (1) ((1 *))))
121
(f2cl-lib:fdo (last$ 3 (f2cl-lib:int-add last$ 1))
122
((> last$ limit) nil)
124
(setf a1 (f2cl-lib:fref alist (maxerr) ((1 *))))
127
(+ (f2cl-lib:fref alist (maxerr) ((1 *)))
128
(f2cl-lib:fref blist (maxerr) ((1 *))))))
130
(setf b2 (f2cl-lib:fref blist (maxerr) ((1 *))))
132
(var-0 var-1 var-2 var-3 var-4 var-5 var-6 var-7 var-8 var-9 var-10
133
var-11 var-12 var-13 var-14 var-15)
134
(dqc25s f a b a1 b1 alfa beta ri rj rg rh area1 error1 resas1
136
(declare (ignore var-0 var-3 var-4 var-7 var-8 var-9 var-10))
146
(setf neval (f2cl-lib:int-add neval nev))
148
(var-0 var-1 var-2 var-3 var-4 var-5 var-6 var-7 var-8 var-9 var-10
149
var-11 var-12 var-13 var-14 var-15)
150
(dqc25s f a b a2 b2 alfa beta ri rj rg rh area2 error2 resas2
152
(declare (ignore var-0 var-3 var-4 var-7 var-8 var-9 var-10))
162
(setf neval (f2cl-lib:int-add neval nev))
163
(setf area12 (+ area1 area2))
164
(setf erro12 (+ error1 error2))
165
(setf errsum (- (+ errsum erro12) errmax))
166
(setf area (- (+ area area12) (f2cl-lib:fref rlist (maxerr) ((1 *)))))
167
(if (or (= a a1) (= b b2)) (go label30))
168
(if (or (= resas1 error1) (= resas2 error2)) (go label30))
171
(< (abs (- (f2cl-lib:fref rlist (maxerr) ((1 *))) area12))
172
(* 1.0e-5 (abs area12)))
173
(>= erro12 (* 0.99 errmax)))
174
(setf iroff1 (f2cl-lib:int-add iroff1 1)))
175
(if (and (> last$ 10) (> erro12 errmax))
176
(setf iroff2 (f2cl-lib:int-add iroff2 1)))
178
(f2cl-lib:fset (f2cl-lib:fref rlist (maxerr) ((1 *))) area1)
179
(f2cl-lib:fset (f2cl-lib:fref rlist (last$) ((1 *))) area2)
180
(setf errbnd (max epsabs (* epsrel (abs area))))
181
(if (<= errsum errbnd) (go label35))
182
(if (= last$ limit) (setf ier 1))
183
(if (or (>= iroff1 6) (>= iroff2 20)) (setf ier 2))
185
(<= (max (abs a1) (abs b2))
186
(* (+ 1.0 (* 100.0 epmach)) (+ (abs a2) (* 1000.0 uflow))))
189
(if (> error2 error1) (go label40))
190
(f2cl-lib:fset (f2cl-lib:fref alist (last$) ((1 *))) a2)
191
(f2cl-lib:fset (f2cl-lib:fref blist (maxerr) ((1 *))) b1)
192
(f2cl-lib:fset (f2cl-lib:fref blist (last$) ((1 *))) b2)
193
(f2cl-lib:fset (f2cl-lib:fref elist (maxerr) ((1 *))) error1)
194
(f2cl-lib:fset (f2cl-lib:fref elist (last$) ((1 *))) error2)
197
(f2cl-lib:fset (f2cl-lib:fref alist (maxerr) ((1 *))) a2)
198
(f2cl-lib:fset (f2cl-lib:fref alist (last$) ((1 *))) a1)
199
(f2cl-lib:fset (f2cl-lib:fref blist (last$) ((1 *))) b1)
200
(f2cl-lib:fset (f2cl-lib:fref rlist (maxerr) ((1 *))) area2)
201
(f2cl-lib:fset (f2cl-lib:fref rlist (last$) ((1 *))) area1)
202
(f2cl-lib:fset (f2cl-lib:fref elist (maxerr) ((1 *))) error2)
203
(f2cl-lib:fset (f2cl-lib:fref elist (last$) ((1 *))) error1)
206
(var-0 var-1 var-2 var-3 var-4 var-5 var-6)
207
(dqpsrt limit last$ maxerr errmax elist iord nrmax)
208
(declare (ignore var-0 var-1 var-4 var-5))
212
(if (or (/= ier 0) (<= errsum errbnd)) (go label70))
216
(f2cl-lib:fdo (k 1 (f2cl-lib:int-add k 1))
219
(setf result (+ result (f2cl-lib:fref rlist (k) ((1 *)))))
16
(type (array double-float (*)) elist rlist blist alist)
17
(type f2cl-lib:integer4 last$ ier neval limit integr)
18
(type double-float abserr result epsrel epsabs beta alfa b a))
19
(f2cl-lib:with-multi-array-data
20
((alist double-float alist-%data% alist-%offset%)
21
(blist double-float blist-%data% blist-%offset%)
22
(rlist double-float rlist-%data% rlist-%offset%)
23
(elist double-float elist-%data% elist-%offset%)
24
(iord f2cl-lib:integer4 iord-%data% iord-%offset%))
25
(prog ((ri (make-array 25 :element-type 'double-float))
26
(rj (make-array 25 :element-type 'double-float))
27
(rh (make-array 25 :element-type 'double-float))
28
(rg (make-array 25 :element-type 'double-float)) (iroff1 0)
29
(iroff2 0) (k 0) (maxerr 0) (nev 0) (nrmax 0) (area 0.0) (area1 0.0)
30
(area12 0.0) (area2 0.0) (a1 0.0) (a2 0.0) (b1 0.0) (b2 0.0)
31
(centre 0.0) (epmach 0.0) (errbnd 0.0) (errmax 0.0) (error1 0.0)
32
(erro12 0.0) (error2 0.0) (errsum 0.0) (resas1 0.0) (resas2 0.0)
33
(uflow 0.0) (abs$ 0.0f0))
34
(declare (type single-float abs$)
35
(type (array double-float (25)) rj ri rh rg)
36
(type double-float uflow resas2 resas1 errsum error2 erro12
37
error1 errmax errbnd epmach centre b2 b1 a2
38
a1 area2 area12 area1 area)
39
(type f2cl-lib:integer4 nrmax nev maxerr k iroff2 iroff1))
40
(setf epmach (f2cl-lib:d1mach 4))
41
(setf uflow (f2cl-lib:d1mach 1))
45
(f2cl-lib:fset (f2cl-lib:fref rlist-%data% (1) ((1 *)) rlist-%offset%)
47
(f2cl-lib:fset (f2cl-lib:fref elist-%data% (1) ((1 *)) elist-%offset%)
49
(f2cl-lib:fset (f2cl-lib:fref iord-%data% (1) ((1 *)) iord-%offset%) 0)
54
(and (= epsabs 0.0) (< epsrel (max (* 50.0 epmach) 5.e-29)))
62
(dqmomo alfa beta ri rj rg rh integr)
63
(setf centre (* 0.5 (+ b a)))
65
(var-0 var-1 var-2 var-3 var-4 var-5 var-6 var-7 var-8 var-9 var-10
66
var-11 var-12 var-13 var-14 var-15)
67
(dqc25s f a b a centre alfa beta ri rj rg rh area1 error1 resas1
69
(declare (ignore var-0 var-3 var-4 var-7 var-8 var-9 var-10))
81
(var-0 var-1 var-2 var-3 var-4 var-5 var-6 var-7 var-8 var-9 var-10
82
var-11 var-12 var-13 var-14 var-15)
83
(dqc25s f a b centre b alfa beta ri rj rg rh area2 error2 resas2
85
(declare (ignore var-0 var-3 var-4 var-7 var-8 var-9 var-10))
96
(setf neval (f2cl-lib:int-add neval nev))
97
(setf result (+ area1 area2))
98
(setf abserr (+ error1 error2))
99
(setf errbnd (max epsabs (* epsrel (abs result))))
100
(if (> error2 error1) (go label10))
101
(f2cl-lib:fset (f2cl-lib:fref alist-%data% (1) ((1 *)) alist-%offset%) a)
102
(f2cl-lib:fset (f2cl-lib:fref alist-%data% (2) ((1 *)) alist-%offset%)
104
(f2cl-lib:fset (f2cl-lib:fref blist-%data% (1) ((1 *)) blist-%offset%)
106
(f2cl-lib:fset (f2cl-lib:fref blist-%data% (2) ((1 *)) blist-%offset%) b)
107
(f2cl-lib:fset (f2cl-lib:fref rlist-%data% (1) ((1 *)) rlist-%offset%)
109
(f2cl-lib:fset (f2cl-lib:fref rlist-%data% (2) ((1 *)) rlist-%offset%)
111
(f2cl-lib:fset (f2cl-lib:fref elist-%data% (1) ((1 *)) elist-%offset%)
113
(f2cl-lib:fset (f2cl-lib:fref elist-%data% (2) ((1 *)) elist-%offset%)
117
(f2cl-lib:fset (f2cl-lib:fref alist-%data% (1) ((1 *)) alist-%offset%)
119
(f2cl-lib:fset (f2cl-lib:fref alist-%data% (2) ((1 *)) alist-%offset%) a)
120
(f2cl-lib:fset (f2cl-lib:fref blist-%data% (1) ((1 *)) blist-%offset%) b)
121
(f2cl-lib:fset (f2cl-lib:fref blist-%data% (2) ((1 *)) blist-%offset%)
123
(f2cl-lib:fset (f2cl-lib:fref rlist-%data% (1) ((1 *)) rlist-%offset%)
125
(f2cl-lib:fset (f2cl-lib:fref rlist-%data% (2) ((1 *)) rlist-%offset%)
127
(f2cl-lib:fset (f2cl-lib:fref elist-%data% (1) ((1 *)) elist-%offset%)
129
(f2cl-lib:fset (f2cl-lib:fref elist-%data% (2) ((1 *)) elist-%offset%)
132
(f2cl-lib:fset (f2cl-lib:fref iord-%data% (1) ((1 *)) iord-%offset%) 1)
133
(f2cl-lib:fset (f2cl-lib:fref iord-%data% (2) ((1 *)) iord-%offset%) 2)
134
(if (= limit 2) (setf ier 1))
135
(if (or (<= abserr errbnd) (= ier 1)) (go label999))
136
(setf errmax (f2cl-lib:fref elist-%data% (1) ((1 *)) elist-%offset%))
143
(f2cl-lib:fdo (last$ 3 (f2cl-lib:int-add last$ 1))
144
((> last$ limit) nil)
147
(f2cl-lib:fref alist-%data% (maxerr) ((1 *)) alist-%offset%))
151
(f2cl-lib:fref alist-%data%
155
(f2cl-lib:fref blist-%data%
161
(f2cl-lib:fref blist-%data% (maxerr) ((1 *)) blist-%offset%))
163
(var-0 var-1 var-2 var-3 var-4 var-5 var-6 var-7 var-8 var-9
164
var-10 var-11 var-12 var-13 var-14 var-15)
165
(dqc25s f a b a1 b1 alfa beta ri rj rg rh area1 error1 resas1
167
(declare (ignore var-0 var-3 var-4 var-7 var-8 var-9 var-10))
177
(setf neval (f2cl-lib:int-add neval nev))
179
(var-0 var-1 var-2 var-3 var-4 var-5 var-6 var-7 var-8 var-9
180
var-10 var-11 var-12 var-13 var-14 var-15)
181
(dqc25s f a b a2 b2 alfa beta ri rj rg rh area2 error2 resas2
183
(declare (ignore var-0 var-3 var-4 var-7 var-8 var-9 var-10))
193
(setf neval (f2cl-lib:int-add neval nev))
194
(setf area12 (+ area1 area2))
195
(setf erro12 (+ error1 error2))
196
(setf errsum (- (+ errsum erro12) errmax))
199
(f2cl-lib:fref rlist-%data%
203
(if (or (= a a1) (= b b2)) (go label30))
204
(if (or (= resas1 error1) (= resas2 error2)) (go label30))
209
(- (f2cl-lib:fref rlist-%data% (maxerr) ((1 *)) rlist-%offset%)
211
(* 1.e-5 (abs area12)))
212
(>= erro12 (* 0.99 errmax)))
213
(setf iroff1 (f2cl-lib:int-add iroff1 1)))
214
(if (and (> last$ 10) (> erro12 errmax))
215
(setf iroff2 (f2cl-lib:int-add iroff2 1)))
218
(f2cl-lib:fref rlist-%data% (maxerr) ((1 *)) rlist-%offset%)
221
(f2cl-lib:fref rlist-%data% (last$) ((1 *)) rlist-%offset%)
223
(setf errbnd (max epsabs (* epsrel (abs area))))
224
(if (<= errsum errbnd) (go label35))
225
(if (= last$ limit) (setf ier 1))
226
(if (or (>= iroff1 6) (>= iroff2 20)) (setf ier 2))
228
(<= (max (abs a1) (abs b2))
229
(* (+ 1.0 (* 100.0 epmach)) (+ (abs a2) (* 1000.0 uflow))))
232
(if (> error2 error1) (go label40))
234
(f2cl-lib:fref alist-%data% (last$) ((1 *)) alist-%offset%)
237
(f2cl-lib:fref blist-%data% (maxerr) ((1 *)) blist-%offset%)
240
(f2cl-lib:fref blist-%data% (last$) ((1 *)) blist-%offset%)
243
(f2cl-lib:fref elist-%data% (maxerr) ((1 *)) elist-%offset%)
246
(f2cl-lib:fref elist-%data% (last$) ((1 *)) elist-%offset%)
251
(f2cl-lib:fref alist-%data% (maxerr) ((1 *)) alist-%offset%)
254
(f2cl-lib:fref alist-%data% (last$) ((1 *)) alist-%offset%)
257
(f2cl-lib:fref blist-%data% (last$) ((1 *)) blist-%offset%)
260
(f2cl-lib:fref rlist-%data% (maxerr) ((1 *)) rlist-%offset%)
263
(f2cl-lib:fref rlist-%data% (last$) ((1 *)) rlist-%offset%)
266
(f2cl-lib:fref elist-%data% (maxerr) ((1 *)) elist-%offset%)
269
(f2cl-lib:fref elist-%data% (last$) ((1 *)) elist-%offset%)
272
(multiple-value-bind (var-0 var-1 var-2 var-3 var-4 var-5 var-6)
273
(dqpsrt limit last$ maxerr errmax elist iord nrmax)
274
(declare (ignore var-0 var-1 var-4 var-5))
278
(if (or (/= ier 0) (<= errsum errbnd)) (go label70))
282
(f2cl-lib:fdo (k 1 (f2cl-lib:int-add k 1))
287
(f2cl-lib:fref rlist-%data% (k) ((1 *)) rlist-%offset%)))