mathfnx.bat

NASA 开发使用的一个专家系统

(clear)                            ; 10.6.1.1
(defglobal 
   ?*pi1/4*  = (* (pi)  0.25)
   ?*pi1/2*  = (* (pi)  0.50)
   ?*pi3/4*  = (* (pi)  0.75)
   ?*pi5/4*  = (* (pi)  1.25)
   ?*pi3/2*  = (* (pi)  1.50)
   ?*pi7/4*  = (* (pi)  1.75)
   ?*pi2*    = (* (pi)  2.00)
   ?*pi7*    = (* (pi)  7.00)
   ?*pi-9/2* = (* (pi) -4.50))
(reset)
(+)                                ; 10.6.1.1
(+ 1)                              ; 10.6.1.1
(+ a)                              ; 10.6.1.1
(+ 2 [a])                          ; 10.6.1.1
(+ 1 2)                            ; 10.6.1.1 : 3
(+ 4 5.0 8)                        ; 10.6.1.1 : 17.0
(+ 2.3 3.2)                        ; 10.6.1.1 : 5.5
(+ 12 3.5)                         ; 10.6.1.1 : 15.5
(+ 7.5 123)                        ; 10.6.1.1 : 130.5
(+ -10 5)                          ; 10.6.1.1 : -5
(+ 13.5 -26)                       ; 10.6.1.1 : -12.5
(+ -26 14.5)                       ; 10.6.1.1 : -11.5
(-)                                ; 10.6.1.2
(- 1)                              ; 10.6.1.2
(- a)                              ; 10.6.1.2
(- 2 "a")                          ; 10.6.1.2
(- 1 2)                            ; 10.6.1.2 : -1
(- 24 5.0 8)                       ; 10.6.1.2 : 11.0
(format nil "%0.6f" (- 2.3 3.2))   ; 10.6.1.2 : -0.9
(- 12 3.5)                         ; 10.6.1.2 : 8.5
(- 7.5 123)                        ; 10.6.1.2 : - 115.5
(- -10 5)                          ; 10.6.1.2 : -15
(- 13.5 -26)                       ; 10.6.1.2 : 39.5
(- -26 14.5)                       ; 10.6.1.2 : -40.5
(*)                                ; 10.6.1.3
(* 1)                              ; 10.6.1.3
(* (create$))                      ; 10.6.1.3
(* 2 [b])                          ; 10.6.1.3
(* 2 3)                            ; 10.6.1.3 : 6
(format nil "%0.6f" (* -3.5 8.6))  ; 10.6.1.3 : -30.1
(format nil "%0.6f" (* 4 11.1))    ; 10.6.1.3 : 44.4
(format nil "%0.6f" (* -13.2 -6))  ; 10.6.1.3 : 79.2
(format nil "%0.6f" (* 2 3.7 1.2)) ; 10.6.1.3 : 8.88
(/)                                ; 10.6.1.4
(/ 1)                              ; 10.6.1.4
(/ c)                              ; 10.6.1.4
(/ 2 a)                            ; 10.6.1.4
(/ 4 0)                            ; 10.6.1.4
(/ 4 0.0)                          ; 10.6.1.4
(format nil "%0.6f" (/ 2 3))       ; 10.6.1.3 : 0.666667
(format nil "%0.6f" (/ -3.5 8.6))  ; 10.6.1.3 : -0.406977
(format nil "%0.6f" (/ 4 11.1))    ; 10.6.1.3 : 0.360360
(format nil "%0.6f" (/ -13.2 -6))  ; 10.6.1.3 : 2.2
(format nil "%0.6f" (/ 2 3.7 1.2)) ; 10.6.1.3 : 0.450450
(set-auto-float-dividend FALSE)    ; 10.6.1.3
(/ 2 3)                            ; 10.6.1.3 : 0
(format nil "%0.6f" (/ 2 3.0))     ; 10.6.1.3 : 0.666667
(format nil "%0.6f" (/ 2 4 3.0))   ; 10.6.1.3 : 0.0
(set-auto-float-dividend TRUE)     ; 10.6.1.3
(div)                              ; 10.6.1.5
(div 1)                            ; 10.6.1.5
(div a)                            ; 10.6.1.5
(div 1 0.0)                        ; 10.6.1.5
(div 1 0)                          ; 10.6.1.5
(div 1 0.4)                        ; 10.6.1.5
(div 5 2)                          ; 10.6.1.5 : 2
(div 19 2 2)                       ; 10.6.1.5 : 4
(div 7.5 1.5)                      ; 10.6.1.5 : 7
(max)                              ; 10.6.1.6
(max a)                            ; 10.6.1.7
(max 1)                            ; 10.6.1.7
(max 1 2.0)                        ; 10.6.1.7 : 2.0
(max 2.0 1)                        ; 10.6.1.7 : 2.0
(max 1.0 1)                        ; 10.6.1.7 : 1.0
(max 1 1.0)                        ; 10.6.1.7 : 1
(max -3.0 2.0 4.0)                 ; 10.6.1.7 : 4.0
(max 2.0 4 3.0)                    ; 10.6.1.7 : 4
(max 3.0 4.0 -2.0)                 ; 10.6.1.7 : 4.0
(max 4 -2.0 -3.0)                  ; 10.6.1.7 : 4
(max 4.0 -3.0 2.0)                 ; 10.6.1.7 : 4.0
(max 2.0 3.0 4.0)                  ; 10.6.1.6 : 4.0
(min)                              ; 10.6.1.7
(min a)                            ; 10.6.1.7
(min 1)                            ; 10.6.1.7
(min 1 2.0)                        ; 10.6.1.7 : 1
(min 2.0 1)                        ; 10.6.1.7 : 1
(min 1.0 1)                        ; 10.6.1.7 : 1.0
(min 1 1.0)                        ; 10.6.1.7 : 1
(min -3.0 2.0 4.0)                 ; 10.6.1.7 : -3.0
(min 2.0 4.0 3.0)                  ; 10.6.1.7 : 2.0
(min 3.0 4.0 -2.0)                 ; 10.6.1.7 : -2.0
(min 4.0 -2.0 -3.0)                ; 10.6.1.7 : -3.0
(min 4.0 -3.0 2.0)                 ; 10.6.1.7 : -3.0
(min 2.0 3.0 4.0)                  ; 10.6.1.7 : 2.0
(abs)                              ; 10.6.1.8
(abs 1 2)                          ; 10.6.1.8
(abs a)                            ; 10.6.1.8
(abs 10)                           ; 10.6.1.8 : 10
(abs 0)                            ; 10.6.1.8 : 0
(abs -13)                          ; 10.6.1.8 : 13
(abs -3.5)                         ; 10.6.1.8 : 3.5
(abs 7.5)                          ; 10.6.1.8 : 7.5
(abs 4.0)                          ; 10.6.1.8 : 4.0
(abs -2)                           ; 10.6.1.8 : 2
(abs -4128.2)                      ; 10.6.1.8 : 4128.2
(float)                            ; 10.6.1.9
(float 1 2)                        ; 10.6.1.9
(float a)                          ; 10.6.1.9
(float 10)                         ; 10.6.1.9 : 10.0
(float 0)                          ; 10.6.1.9 : 0.0
(float -13)                        ; 10.6.1.9 : -13.0
(float -3.5)                       ; 10.6.1.9 : -3.5
(float 7.5)                        ; 10.6.1.9 : 7.5
(float 4.0)                        ; 10.6.1.9 : 4.0
(float -2)                         ; 10.6.1.9 : -2.0
(integer)                          ; 10.6.1.10
(integer 1 2)                      ; 10.6.1.10
(integer a)                        ; 10.6.1.10
(integer 10)                       ; 10.6.1.10 : 10
(integer 0)                        ; 10.6.1.10 : 0
(integer -13)                      ; 10.6.1.10 : -13
(integer -3.5)                     ; 10.6.1.10 : -3
(integer 7.5)                      ; 10.6.1.10 : 7
(integer 4.0)                      ; 10.6.1.10 : 4
(integer -2)                       ; 10.6.1.10 : -2
(acos)                             ; 10.6.2.1
(acos a)                           ; 10.6.2.1
(acos 1 [b])                       ; 10.6.2.1
(acos -1.1)                        ; 10.6.2.1 : Error
(acos 1.1)                         ; 10.6.2.1 : Error
(format nil "%0.6f" (acos 1.0))    ; 10.6.2.1 : 0.0
(format nil "%0.6f" (acos -1.0))   ; 10.6.2.1 : 3.141593
(format nil "%0.6f" (acos 0.5))    ; 10.6.2.1 : 1.047198
(acosh)                            ; 10.6.2.1
(acosh a)                          ; 10.6.2.1
(acosh 1 [b])                      ; 10.6.2.1
(format nil "%0.6f" (acosh 1.1))   ; 10.6.2.1 : 0.443568 
(format nil "%0.6f" (acosh 1.0))   ; 10.6.2.1 : 0.0
(format nil "%0.6f" (acosh 0.0))   ; 10.6.2.1 : Error
(format nil "%0.6f" (acosh -1.0))  ; 10.6.2.1 : Error
(format nil "%0.6f" (acosh 2.0))   ; 10.6.2.1 : 1.316958
(acot)                             ; 10.6.2.1
(acot a)                           ; 10.6.2.1
(acot 1 [b])                       ; 10.6.2.1
(format nil "%0.6f" (acot -11))    ; 10.6.2.1 : -0.090660
(format nil "%0.6f" (acot 11))     ; 10.6.2.1 : 0.090660
(format nil "%0.6f" (acot 1.0))    ; 10.6.2.1 : 0.785398
(format nil "%0.6f" (acot 0))      ; 10.6.2.1 : 1.570796
(format nil "%0.6f" (acot -1.0))   ; 10.6.2.1 : -0.785398
(format nil "%0.6f" (acot 0.5))    ; 10.6.2.1 : 1.107149
(acoth)                            ; 10.6.2.1
(acoth a)                          ; 10.6.2.1
(acoth 1 [b])                      ; 10.6.2.1
(format nil "%0.6f" (acoth -1.1))  ; 10.6.2.1 : -1.522261
(format nil "%0.6f" (acoth 1.1))   ; 10.6.2.1 : 1.522261
(format nil "%0.6f" (acoth 1.0))   ; 10.6.2.1 : Error
(format nil "%0.6f" (acoth 0.0))   ; 10.6.2.1 : Error
(format nil "%0.6f" (acoth -1.0))  ; 10.6.2.1 : Error
(format nil "%0.6f" (acoth 2))     ; 10.6.2.1 : 0.549306
(acsc)                             ; 10.6.2.1
(acsc a)                           ; 10.6.2.1
(acsc 1 [b])                       ; 10.6.2.1
(format nil "%0.6f" (acsc -1.1))   ; 10.6.2.1 : -1.141097
(format nil "%0.6f" (acsc 1.1))    ; 10.6.2.1 : 1.141097
(format nil "%0.6f" (acsc 1.0))    ; 10.6.2.1 : 1.570796
(format nil "%0.6f" (acsc 0.0))    ; 10.6.2.1 : Error
(format nil "%0.6f" (acsc -1.0))   ; 10.6.2.1 : -1.570796
(format nil "%0.6f" (acsc 2.0))    ; 10.6.2.1 : 0.523599
(acsch)                            ; 10.6.2.1
(acsch a)                          ; 10.6.2.1
(acsch 1 [b])                      ; 10.6.2.1
(format nil "%0.6f" (acsch 1.0))   ; 10.6.2.1 : 0.881374
(format nil "%0.6f" (acsch 0.0))   ; 10.6.2.1 : Error
(format nil "%0.6f" (acsch -1.0))  ; 10.6.2.1 : -0.881374
(format nil "%0.6f" (acsch 2.0))   ; 10.6.2.1 : 0.481212
(asec)                             ; 10.6.2.1
(asec a)                           ; 10.6.2.1
(asec 1 [b])                       ; 10.6.2.1
(format nil "%0.6f" (asec -1.1))   ; 10.6.2.1 : 2.711893
(format nil "%0.6f" (asec 1.1))    ; 10.6.2.1 : 0.429700
(format nil "%0.6f" (asec 1.0))    ; 10.6.2.1 : 0.0
(format nil "%0.6f" (asec 0.0))    ; 10.6.2.1 : Error
(format nil "%0.6f" (asec -1.0))   ; 10.6.2.1 : 3.141593
(format nil "%0.6f" (asec 2.0))    ; 10.6.2.1 : 1.047198
(asech)                            ; 10.6.2.1
(asech a)                          ; 10.6.2.1
(asech 1 [b])                      ; 10.6.2.1
(format nil "%0.6f" (asech -1))    ; 10.6.2.1 : Error
(format nil "%0.6f" (asech 0.0))   ; 10.6.2.1 : Error
(format nil "%0.6f" (asech 1.0))   ; 10.6.2.1 : 0.0
(format nil "%0.6f" (asech 1.5))   ; 10.6.2.1 : Error
(format nil "%0.6f" (asech 0.5))   ; 10.6.2.1 : 1.316958
(asin)                             ; 10.6.2.1
(asin a)                           ; 10.6.2.1
(asin 1 [b])                       ; 10.6.2.1
(asin -1.1)                        ; 10.6.2.1 : Error
(asin 1.1)                         ; 10.6.2.1 : Error
(format nil "%0.6f" (asin 1.0))    ; 10.6.2.1 : 1.570796
(format nil "%0.6f" (asin -1.0))   ; 10.6.2.1 : -1.570796
(format nil "%0.6f" (asin 0.5))    ; 10.6.2.1 : 0.523599
(asinh)                            ; 10.6.2.1
(asinh a)                          ; 10.6.2.1
(asinh 1 [b])                      ; 10.6.2.1
(format nil "%0.6f" (asinh -1))    ; 10.6.2.1 : -0.881374
(format nil "%0.6f" (asinh 0.0))   ; 10.6.2.1 : 0.0