
(DECLAIM (NOTINLINE |ExpressionSpace;|)) 

(DEFPARAMETER |ExpressionSpace;AL| 'NIL) 

(DEFUN |ExpressionSpace| ()
  (COND (|ExpressionSpace;AL|)
        (T (SETQ |ExpressionSpace;AL| (|ExpressionSpace;|))))) 

(DEFUN |ExpressionSpace;| ()
  (SPROG ((#1=#:G21 NIL))
         (PROG1
             (LETT #1#
                   (|subst_in_cat| '(#2=#:G19 #3=#:G20)
                                   (LIST '(|Kernel| %) '(|Kernel| %))
                                   (|Join| (|Comparable|)
                                           (|RetractableTo| '#2#)
                                           (|InnerEvalable| '#3# '%)
                                           (|Evalable| '%)
                                           (|mkCategory|
                                            '(((|elt| (% (|BasicOperator|) %))
                                               T)
                                              ((|elt|
                                                (% (|BasicOperator|) % %))
                                               T)
                                              ((|elt|
                                                (% (|BasicOperator|) % % %))
                                               T)
                                              ((|elt|
                                                (% (|BasicOperator|) % % % %))
                                               T)
                                              ((|elt|
                                                (% (|BasicOperator|) % % % %
                                                 %))
                                               T)
                                              ((|elt|
                                                (% (|BasicOperator|) % % % % %
                                                 %))
                                               T)
                                              ((|elt|
                                                (% (|BasicOperator|) % % % % %
                                                 % %))
                                               T)
                                              ((|elt|
                                                (% (|BasicOperator|) % % % % %
                                                 % % %))
                                               T)
                                              ((|elt|
                                                (% (|BasicOperator|) % % % % %
                                                 % % % %))
                                               T)
                                              ((|elt|
                                                (% (|BasicOperator|)
                                                 (|List| %)))
                                               T)
                                              ((|subst| (% % (|Equation| %)))
                                               T)
                                              ((|subst|
                                                (% % (|List| (|Equation| %))))
                                               T)
                                              ((|subst|
                                                (% % (|List| (|Kernel| %))
                                                 (|List| %)))
                                               T)
                                              ((|box| (% %)) T)
                                              ((|paren| (% %)) T)
                                              ((|distribute| (% %)) T)
                                              ((|distribute| (% % %)) T)
                                              ((|height|
                                                ((|NonNegativeInteger|) %))
                                               T)
                                              ((|mainKernel|
                                                ((|Union| (|Kernel| %)
                                                          "failed")
                                                 %))
                                               T)
                                              ((|kernels|
                                                ((|List| (|Kernel| %)) %))
                                               T)
                                              ((|kernels|
                                                ((|List| (|Kernel| %))
                                                 (|List| %)))
                                               T)
                                              ((|tower|
                                                ((|List| (|Kernel| %)) %))
                                               T)
                                              ((|tower|
                                                ((|List| (|Kernel| %))
                                                 (|List| %)))
                                               T)
                                              ((|operators|
                                                ((|List| (|BasicOperator|)) %))
                                               T)
                                              ((|operator|
                                                ((|BasicOperator|)
                                                 (|BasicOperator|)))
                                               T)
                                              ((|belong?|
                                                ((|Boolean|)
                                                 (|BasicOperator|)))
                                               T)
                                              ((|is?|
                                                ((|Boolean|) %
                                                 (|BasicOperator|)))
                                               T)
                                              ((|is?|
                                                ((|Boolean|) % (|Symbol|)))
                                               T)
                                              ((|kernel|
                                                (% (|BasicOperator|) %))
                                               T)
                                              ((|kernel|
                                                (% (|BasicOperator|)
                                                 (|List| %)))
                                               T)
                                              ((|map|
                                                (% (|Mapping| % %)
                                                 (|Kernel| %)))
                                               T)
                                              ((|freeOf?| ((|Boolean|) % %)) T)
                                              ((|freeOf?|
                                                ((|Boolean|) % (|Symbol|)))
                                               T)
                                              ((|eval|
                                                (% % (|List| (|Symbol|))
                                                 (|List| (|Mapping| % %))))
                                               T)
                                              ((|eval|
                                                (% % (|List| (|Symbol|))
                                                 (|List|
                                                  (|Mapping| % (|List| %)))))
                                               T)
                                              ((|eval|
                                                (% % (|Symbol|)
                                                 (|Mapping| % (|List| %))))
                                               T)
                                              ((|eval|
                                                (% % (|Symbol|)
                                                 (|Mapping| % %)))
                                               T)
                                              ((|eval|
                                                (% % (|List| (|BasicOperator|))
                                                 (|List| (|Mapping| % %))))
                                               T)
                                              ((|eval|
                                                (% % (|List| (|BasicOperator|))
                                                 (|List|
                                                  (|Mapping| % (|List| %)))))
                                               T)
                                              ((|eval|
                                                (% % (|BasicOperator|)
                                                 (|Mapping| % (|List| %))))
                                               T)
                                              ((|eval|
                                                (% % (|BasicOperator|)
                                                 (|Mapping| % %)))
                                               T)
                                              ((|minPoly|
                                                ((|SparseUnivariatePolynomial|
                                                  %)
                                                 (|Kernel| %)))
                                               (|has| % (|Ring|)))
                                              ((|definingPolynomial| (% %))
                                               (|has| % (|Ring|)))
                                              ((|even?| ((|Boolean|) %))
                                               (|has| %
                                                      (|RetractableTo|
                                                       (|Integer|))))
                                              ((|odd?| ((|Boolean|) %))
                                               (|has| %
                                                      (|RetractableTo|
                                                       (|Integer|)))))
                                            NIL NIL NIL))))
           (SETELT #1# 0 '(|ExpressionSpace|))))) 
