(FILECREATED "11-Feb-86 23:33:56" {QV}<IDL>SOURCES>SCALARARITH.;12
 2886   

      changes to:  (FNS 10FIXR)
		   (VARS SCALARARITHCOMS)

      previous date: " 4-Sep-85 13:05:12" {QV}<IDL>SOURCES>SCALARARITH.;11)


(* Copyright (c) 1983, 1984, 1985, 1986 by Xerox Corporation. All rights reserved.)

(PRETTYCOMPRINT SCALARARITHCOMS)

(RPAQQ SCALARARITHCOMS
 ((* Contains polymorphic arithmetic for scalars.)
			  (FNS U- UEQP UGREATERP ULESSP U+ U/ U*)
			  (IF: TESTSYS (PROP CLISPWORD uadd UADD)
			       (PROP CHANGEWORD uadd))))



(* Contains polymorphic arithmetic for scalars.)


(DEFINEQ

(U-

  [DLAMBDA ((X SCALAR)
            (Y SCALAR)
            (RETURNS SCALAR))
                                                             (* jd: "16-MAY-77 13:23" posted: "16-MAY-77 13:39")

    (
AND
 X Y (
DIFFERENCE
 X Y))])

(UEQP

  [DLAMBDA ((X SCALAR)
            (Y SCALAR)
            (RETURNS BOOL))
                                                             (* rmk: "14-NOV-77 07:49" posted: "29-JUL-77 09:41")

                                                             (* Equality predicate that deals with NILS.

							     Fast-compiles open)

    (
EQP
 X Y)])

(UGREATERP

  [DLAMBDA ((X SCALAR)
            (Y SCALAR)
            (RETURNS BOOL))
                                                             (* rmk: "24-JUL-77 14:12" posted: "24-JUL-77 14:12")

    (
GREATERP
 (
OR
 X 0.0)
	      (
OR
 Y 0.0))])

(ULESSP

  [DLAMBDA ((X SCALAR)
            (Y SCALAR)
            (RETURNS BOOL))
                                                             (* rmk: "23-MAY-78 21:43" posted: "24-JUL-77 14:12")

    (
GREATERP
 (
OR
 Y 0.0)
	      (
OR
 X 0.0))])

(U+

  [DLAMBDA ((X SCALAR)
            (Y SCALAR)
            (RETURNS SCALAR))
                                                             (* jd: "16-MAY-77 13:19" posted: "16-MAY-77 13:39")

    (
AND
 X Y (
PLUS
 X Y))])

(U/

  [DLAMBDA ((X SCALAR)
            (Y SCALAR)
            (RETURNS (ONEOF NIL FLOATING)))
                                                             (* rmk: "30-JUN-77 12:03" posted: "16-MAY-77 13:39")

    (
AND
 X Y ~(
EQP
 Y 0)
	 (
FQUOTIENT
 X Y))])

(U*

  [DLAMBDA ((X SCALAR)
            (Y SCALAR)
            (RETURNS SCALAR))
                                                             (* jd: "16-MAY-77 13:23" posted: "16-MAY-77 13:39")

    (
AND
 X Y (
TIMES
 X Y))])
)
(DECLARE: DOCOPY 
(DECLARE: EVAL@LOADWHEN TESTSYS 

(PUTPROPS uadd CLISPWORD
 (CHANGETRAN . uadd))

(PUTPROPS UADD CLISPWORD
 (CHANGETRAN . uadd))

(PUTPROPS uadd CHANGEWORD
 [LAMBDA (F)
				    (LIST (QUOTE DATUM←)
					  (LIST (QUOTE U+)
						(QUOTE DATUM)
						(CADDR F])
)
)
(PUTPROPS SCALARARITH COPYRIGHT ("Xerox Corporation" 1983 1984 1985 1986))
(DECLARE: DONTCOPY
  (FILEMAP (NIL (600 2499 (U- 610 . 851) (UEQP 853 . 1219) (UGREATERP 1221 . 1485) (ULESSP 1487 . 1748) 
(U+ 1750 . 1985) (U/ 1987 . 2259) (U* 2261 . 2497)))))
STOP