(/VERSIONCHECK 2) 

(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Integer| |%Shell|) |%Thing|)
                |DIVRING-;**;SIS;1|)) 

(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
                |DIVRING-;*;F2S;2|)) 

(DEFUN |DIVRING-;**;SIS;1| (|x| |n| $)
  (COND
    ((ZEROP |n|) (|spadConstant| $ 10))
    ((SPADCALL |x| (|getShellEntry| $ 11))
     (COND ((MINUSP |n|) (|error| "division by zero")) ('T |x|)))
    ((MINUSP |n|)
     (SPADCALL (SPADCALL |x| (|getShellEntry| $ 15)) (- |n|)
         (|getShellEntry| $ 19)))
    ('T (SPADCALL |x| |n| (|getShellEntry| $ 19))))) 

(DEFUN |DIVRING-;*;F2S;2| (|q| |x| $)
  (SPADCALL
      (SPADCALL (SPADCALL |q| (|getShellEntry| $ 22))
          (SPADCALL
              (SPADCALL (SPADCALL |q| (|getShellEntry| $ 23))
                  (|getShellEntry| $ 24))
              (|getShellEntry| $ 15))
          (|getShellEntry| $ 25))
      |x| (|getShellEntry| $ 26))) 

(DEFUN |DivisionRing&| (|#1|)
  (LET* ((|dv$1| (|devaluate| |#1|))
         (|dv$| (LIST '|DivisionRing&| |dv$1|)) ($ (|newShell| 29))
         (|pv$| (|buildPredVector| 0 0 NIL)))
    (|setShellEntry| $ 0 |dv$|)
    (|setShellEntry| $ 3 |pv$|)
    (|stuffDomainSlots| $)
    (|setShellEntry| $ 6 |#1|)
    $)) 

(MAKEPROP '|DivisionRing&| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Boolean|)
             (|Integer|) (0 . |zero?|) (5 . |One|) (9 . |zero?|)
             (14 . |Zero|) (18 . |Zero|) (22 . <) (28 . |inv|) (33 . -)
             (|PositiveInteger|) (|RepeatedSquaring| 6) (38 . |expt|)
             |DIVRING-;**;SIS;1| (|Fraction| 8) (44 . |numer|)
             (49 . |denom|) (54 . |coerce|) (59 . *) (65 . *)
             |DIVRING-;*;F2S;2| (|NonNegativeInteger|))
          '#(** 71 * 77) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 27
                                '(1 8 7 0 9 0 6 0 10 1 6 7 0 11 0 6 0
                                  12 0 8 0 13 2 8 7 0 0 14 1 6 0 0 15 1
                                  8 0 0 16 2 18 6 6 17 19 1 21 8 0 22 1
                                  21 8 0 23 1 6 0 8 24 2 6 0 8 0 25 2 6
                                  0 0 0 26 2 0 0 0 8 20 2 0 0 21 0 27)))))
          '|lookupComplete|))