share/colnew/ex1/exact.lisp

   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 $")
   9
  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))
  16
  17 (in-package :colnew)
  18
  19
  20 (defun exact (x u)
  21   (declare (type (array double-float (*)) u) (type (double-float) x))
  22   (f2cl-lib:with-multi-array-data
  23       ((u double-float u-%data% u-%offset%))
  24     (prog ()
  25       (declare)
  26       (setf (f2cl-lib:fref u-%data% (1) ((1 4)) u-%offset%)
  27               (+
  28                (* 0.25f0
  29                   (- (* 10.0f0 (f2cl-lib:flog 2.0f0)) 3.0f0)
  30                   (- 1.0f0 x))
  31                (* 0.5f0
  32                   (- (+ (/ 1.0f0 x) (* (+ 3.0f0 x) (f2cl-lib:flog x))) x))))
  33       (setf (f2cl-lib:fref u-%data% (2) ((1 4)) u-%offset%)
  34               (+ (* -0.25f0 (- (* 10.0f0 (f2cl-lib:flog 2.0f0)) 3.0f0))
  35                  (* 0.5f0
  36                     (-
  37                      (+ (/ (/ -1.0f0 x) x) (f2cl-lib:flog x) (/ (+ 3.0f0 x) x))
  38                      1.0f0))))
  39       (setf (f2cl-lib:fref u-%data% (3) ((1 4)) u-%offset%)
  40               (* 0.5f0
  41                  (+ (/ 2.0f0 (expt x 3)) (/ 1.0f0 x) (/ (/ -3.0f0 x) x))))
  42       (setf (f2cl-lib:fref u-%data% (4) ((1 4)) u-%offset%)
  43               (* 0.5f0
  44                  (+ (/ -6.0f0 (expt x 4))
  45                     (/ (/ -1.0f0 x) x)
  46                     (/ 6.0f0 (expt x 3)))))
  47       (go end_label)
  48      end_label
  49       (return (values nil nil)))))
  50
  51 (in-package #-gcl #:cl-user #+gcl "CL-USER")
  52 #+#.(cl:if (cl:find-package '#:f2cl) '(and) '(or))
  53 (eval-when (:load-toplevel :compile-toplevel :execute)
  54   (setf (gethash 'fortran-to-lisp::exact fortran-to-lisp::*f2cl-function-info*)
  55           (fortran-to-lisp::make-f2cl-finfo
  56            :arg-types '((double-float) (array double-float (4)))
  57            :return-values '(nil nil)
  58            :calls 'nil)))
  59