Add some basic letsimp tests based on bug #3950
[maxima.git] / share / colnew / ex2 / dfsub.lisp
blob7c1ffde47c14b614bf4cf20790a76a924543acdc
1 ;;; Compiled by f2cl version:
2 ;;; ("f2cl1.l,v 1.221 2010/05/26 19:25:52 rtoy Exp $"
3 ;;; "f2cl2.l,v 1.37 2008/02/22 22:19:33 rtoy Exp $"
4 ;;; "f2cl3.l,v 1.6 2008/02/22 22:19:33 rtoy Exp $"
5 ;;; "f2cl4.l,v 1.7 2008/02/22 22:19:34 rtoy Exp $"
6 ;;; "f2cl5.l,v 1.204 2010/02/23 05:21:30 rtoy Exp $"
7 ;;; "f2cl6.l,v 1.48 2008/08/24 00:56:27 rtoy Exp $"
8 ;;; "macros.l,v 1.114 2010/05/17 01:42:14 rtoy Exp $")
10 ;;; Using Lisp CMU Common Lisp CVS Head 2010-05-25 18:21:07 (20A Unicode)
11 ;;;
12 ;;; Options: ((:prune-labels nil) (:auto-save t) (:relaxed-array-decls t)
13 ;;; (:coerce-assigns :as-needed) (:array-type ':array)
14 ;;; (:array-slicing t) (:declare-common nil)
15 ;;; (:float-format double-float))
17 (in-package :colnew)
20 (defun dfsub (x z df)
21 (declare (type (array double-float (*)) df)
22 (type (array double-float (*)) z)
23 (type double-float x))
24 (let ()
25 (symbol-macrolet ((eps4mu (%blank%-eps4mu *%blank%-common-block*))
26 (dmu (%blank%-dmu *%blank%-common-block*)))
27 (f2cl-lib:with-multi-array-data
28 ((z double-float z-%data% z-%offset%)
29 (df double-float df-%data% df-%offset%))
30 (prog ()
31 (declare)
32 (setf (f2cl-lib:fref df-%data% (1 1) ((1 2) (1 4)) df-%offset%)
33 (+ (/ (/ 1.0f0 x) x)
35 (+ 1.0f0
36 (/ (f2cl-lib:fref z-%data% (3) ((1 4)) z-%offset%) x))
37 eps4mu)))
38 (setf (f2cl-lib:fref df-%data% (1 2) ((1 2) (1 4)) df-%offset%)
39 (/ -1.0f0 x))
40 (setf (f2cl-lib:fref df-%data% (1 3) ((1 2) (1 4)) df-%offset%)
43 (+ 1.0f0
45 (* -1 (f2cl-lib:fref z-%data% (1) ((1 4)) z-%offset%))
46 x)))
47 eps4mu))
48 (setf (f2cl-lib:fref df-%data% (1 4) ((1 2) (1 4)) df-%offset%)
49 (coerce 0.0f0 'double-float))
50 (setf (f2cl-lib:fref df-%data% (2 1) ((1 2) (1 4)) df-%offset%)
52 (+ 1.0f0
53 (/ (- (f2cl-lib:fref z-%data% (1) ((1 4)) z-%offset%))
54 x))
55 dmu))
56 (setf (f2cl-lib:fref df-%data% (2 2) ((1 2) (1 4)) df-%offset%)
57 (coerce 0.0f0 'double-float))
58 (setf (f2cl-lib:fref df-%data% (2 3) ((1 2) (1 4)) df-%offset%)
59 (/ (/ 1.0f0 x) x))
60 (setf (f2cl-lib:fref df-%data% (2 4) ((1 2) (1 4)) df-%offset%)
61 (/ -1.0f0 x))
62 (go end_label)
63 end_label
64 (return (values nil nil nil)))))))
66 (in-package #-gcl #:cl-user #+gcl "CL-USER")
67 #+#.(cl:if (cl:find-package '#:f2cl) '(and) '(or))
68 (eval-when (:load-toplevel :compile-toplevel :execute)
69 (setf (gethash 'fortran-to-lisp::dfsub fortran-to-lisp::*f2cl-function-info*)
70 (fortran-to-lisp::make-f2cl-finfo
71 :arg-types '(double-float (array double-float (4))
72 (array double-float (8)))
73 :return-values '(nil nil nil)
74 :calls 'nil)))