
(/VERSIONCHECK 2) 

(DEFPARAMETER |Field;AL| 'NIL) 

(DEFUN |Field| ()
  (LET (#:G3642)
    (COND (|Field;AL|) (T (SETQ |Field;AL| (|Field;|)))))) 

(DEFUN |Field;| ()
  (PROG (#1=#:G3640)
    (RETURN
     (PROG1
         (LETT #1#
               (|Join| (|EuclideanDomain|) (|UniqueFactorizationDomain|)
                       (|DivisionRing|) (|canonicalUnitNormal|)
                       (|canonicalsClosed|)
                       (|mkCategory| '|domain| '(((/ ($ $ $)) T)) NIL 'NIL
                                     NIL))
               |Field|)
       (SETELT #1# 0 '(|Field|)))))) 

(MAKEPROP '|Field| 'NILADIC T) 
