
(/VERSIONCHECK 2) 

(DEFUN |COMPLEX;writeOMComplex| (|dev| |x| $)
  (SEQ (SPADCALL |dev| (QREFELT $ 10))
       (SPADCALL |dev| "complex1" "complex_cartesian" (QREFELT $ 12))
       (SPADCALL |dev| (SPADCALL |x| (QREFELT $ 13)) (QREFELT $ 14))
       (SPADCALL |dev| (SPADCALL |x| (QREFELT $ 15)) (QREFELT $ 14))
       (EXIT (SPADCALL |dev| (QREFELT $ 16))))) 

(DEFUN |COMPLEX;OMwrite;$S;2| (|x| $)
  (PROG (|s| |dev| |sp|)
    (RETURN
     (SEQ (LETT |s| "" . #1=(|COMPLEX;OMwrite;$S;2|))
          (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) . #1#)
          (LETT |dev| (SPADCALL |sp| (SPADCALL (QREFELT $ 18)) (QREFELT $ 19))
                . #1#)
          (SPADCALL |dev| (QREFELT $ 20))
          (|COMPLEX;writeOMComplex| |dev| |x| $)
          (SPADCALL |dev| (QREFELT $ 21)) (SPADCALL |dev| (QREFELT $ 22))
          (LETT |s| (OM-STRINGPTRTOSTRING |sp|) . #1#) (EXIT |s|))))) 

(DEFUN |COMPLEX;OMwrite;$BS;3| (|x| |wholeObj| $)
  (PROG (|s| |dev| |sp|)
    (RETURN
     (SEQ (LETT |s| "" . #1=(|COMPLEX;OMwrite;$BS;3|))
          (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) . #1#)
          (LETT |dev| (SPADCALL |sp| (SPADCALL (QREFELT $ 18)) (QREFELT $ 19))
                . #1#)
          (COND (|wholeObj| (SPADCALL |dev| (QREFELT $ 20))))
          (|COMPLEX;writeOMComplex| |dev| |x| $)
          (COND (|wholeObj| (SPADCALL |dev| (QREFELT $ 21))))
          (SPADCALL |dev| (QREFELT $ 22))
          (LETT |s| (OM-STRINGPTRTOSTRING |sp|) . #1#) (EXIT |s|))))) 

(DEFUN |COMPLEX;OMwrite;Omd$V;4| (|dev| |x| $)
  (SEQ (SPADCALL |dev| (QREFELT $ 20)) (|COMPLEX;writeOMComplex| |dev| |x| $)
       (EXIT (SPADCALL |dev| (QREFELT $ 21))))) 

(DEFUN |COMPLEX;OMwrite;Omd$BV;5| (|dev| |x| |wholeObj| $)
  (SEQ (COND (|wholeObj| (SPADCALL |dev| (QREFELT $ 20))))
       (|COMPLEX;writeOMComplex| |dev| |x| $)
       (EXIT (COND (|wholeObj| (SPADCALL |dev| (QREFELT $ 21))))))) 

(DEFUN |COMPLEX;Zero;$;6| ($)
  (CONS (|spadConstant| $ 29) (|spadConstant| $ 29))) 

(DEFUN |COMPLEX;One;$;7| ($) (CONS (|spadConstant| $ 31) (|spadConstant| $ 29))) 

(DEFUN |COMPLEX;zero?;$B;8| (|x| $)
  (COND
   ((SPADCALL (QCAR |x|) (QREFELT $ 32)) (SPADCALL (QCDR |x|) (QREFELT $ 32)))
   ('T 'NIL))) 

(DEFUN |COMPLEX;one?;$B;9| (|x| $)
  (COND
   ((SPADCALL (QCAR |x|) (|spadConstant| $ 31) (QREFELT $ 34))
    (SPADCALL (QCDR |x|) (QREFELT $ 32)))
   ('T 'NIL))) 

(DEFUN |COMPLEX;coerce;R$;10| (|r| $) (CONS |r| (|spadConstant| $ 29))) 

(PUT '|COMPLEX;complex;2R$;11| '|SPADreplace| 'CONS) 

(DEFUN |COMPLEX;complex;2R$;11| (|r| |i| $) (CONS |r| |i|)) 

(PUT '|COMPLEX;real;$R;12| '|SPADreplace| 'QCAR) 

(DEFUN |COMPLEX;real;$R;12| (|x| $) (QCAR |x|)) 

(PUT '|COMPLEX;imag;$R;13| '|SPADreplace| 'QCDR) 

(DEFUN |COMPLEX;imag;$R;13| (|x| $) (QCDR |x|)) 

(DEFUN |COMPLEX;+;3$;14| (|x| |y| $)
  (CONS (SPADCALL (QCAR |x|) (QCAR |y|) (QREFELT $ 38))
        (SPADCALL (QCDR |x|) (QCDR |y|) (QREFELT $ 38)))) 

(DEFUN |COMPLEX;*;3$;15| (|x| |y| $)
  (CONS
   (SPADCALL (SPADCALL (QCAR |x|) (QCAR |y|) (QREFELT $ 40))
             (SPADCALL (QCDR |x|) (QCDR |y|) (QREFELT $ 40)) (QREFELT $ 41))
   (SPADCALL (SPADCALL (QCDR |x|) (QCAR |y|) (QREFELT $ 40))
             (SPADCALL (QCDR |y|) (QCAR |x|) (QREFELT $ 40)) (QREFELT $ 38)))) 

(DEFUN |COMPLEX;exquo;2$U;16| (|x| |y| $)
  (COND
   ((SPADCALL (QCDR |y|) (QREFELT $ 32))
    (SPADCALL |x| (QCAR |y|) (QREFELT $ 44)))
   ('T
    (SPADCALL (SPADCALL |x| (SPADCALL |y| (QREFELT $ 45)) (QREFELT $ 42))
              (SPADCALL |y| (QREFELT $ 46)) (QREFELT $ 44))))) 

(DEFUN |Complex| (#1=#:G1907)
  (PROG ()
    (RETURN
     (PROG (#2=#:G1908)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (LIST (|devaluate| #1#))
                                           (HGET |$ConstructorCache|
                                                 '|Complex|)
                                           '|domainEqualList|)
                . #3=(|Complex|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT (PROG1 (|Complex;| #1#) (LETT #2# T . #3#))
            (COND ((NOT #2#) (HREM |$ConstructorCache| '|Complex|))))))))))) 

(DEFUN |Complex;| (|#1|)
  (PROG (|pv$| #1=#:G1902 #2=#:G1903 #3=#:G1904 #4=#:G1905 #5=#:G1906 $ |dv$|
         DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #6=(|Complex|))
      (LETT |dv$| (LIST '|Complex| DV$1) . #6#)
      (LETT $ (GETREFV 101) . #6#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicZero|))
                                          (|HasCategory| |#1|
                                                         '(|FiniteFieldCategory|))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (LETT #5#
                                                (|HasCategory| |#1| '(|Field|))
                                                . #6#)
                                          (OR #5#
                                              (|HasCategory| |#1|
                                                             '(|FiniteFieldCategory|)))
                                          (|HasCategory| |#1| '(|Finite|))
                                          (|HasCategory| |#1|
                                                         '(|PartialDifferentialRing|
                                                           (|Symbol|)))
                                          (|HasCategory| |#1|
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         '(|RetractableTo|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          (|HasCategory| |#1|
                                                         '(|RetractableTo|
                                                           (|Integer|)))
                                          (OR #5#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (LETT #4#
                                                (|HasCategory| |#1|
                                                               '(|TranscendentalFunctionCategory|))
                                                . #6#)
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|RadicalCategory|))
                                           #4#)
                                          (|HasCategory| |#1|
                                                         '(|RealConstant|))
                                          (|HasCategory| |#1|
                                                         '(|ConvertibleTo|
                                                           (|InputForm|)))
                                          (|HasCategory| |#1|
                                                         '(|additiveValuation|))
                                          (|HasCategory| |#1|
                                                         '(|multiplicativeValuation|))
                                          (|HasCategory| |#1| '(|Comparable|))
                                          (|HasCategory| |#1|
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Float|))))
                                          (|HasCategory| |#1|
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Integer|))))
                                          (|HasCategory| |#1|
                                                         '(|PatternMatchable|
                                                           (|Float|)))
                                          (|HasCategory| |#1|
                                                         '(|PatternMatchable|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         (LIST '|InnerEvalable|
                                                               '(|Symbol|)
                                                               (|devaluate|
                                                                |#1|)))
                                          (|HasCategory| |#1|
                                                         (LIST '|Evalable|
                                                               (|devaluate|
                                                                |#1|)))
                                          (|HasCategory| |#1|
                                                         (LIST '|Eltable|
                                                               (|devaluate|
                                                                |#1|)
                                                               (|devaluate|
                                                                |#1|)))
                                          (|HasCategory| |#1| '(|OpenMath|))
                                          (|HasCategory| |#1|
                                                         '(|RealNumberSystem|))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|RealNumberSystem|))
                                           #4#)
                                          (|HasCategory| |#1|
                                                         '(|IntegerNumberSystem|))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|RetractableTo|
                                                            (|Fraction|
                                                             (|Integer|))))
                                           #5#)
                                          (LETT #3#
                                                (|HasCategory| |#1|
                                                               '(|EuclideanDomain|))
                                                . #6#)
                                          (OR #3# #5#
                                              (|HasCategory| |#1|
                                                             '(|FiniteFieldCategory|))
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (OR #3# #5#
                                              (|HasCategory| |#1|
                                                             '(|FiniteFieldCategory|)))
                                          (|HasCategory| |#1|
                                                         '(|PolynomialFactorizationExplicit|))
                                          (LETT #2#
                                                (|HasCategory| |#1|
                                                               '(|DifferentialRing|))
                                                . #6#)
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|ConvertibleTo|
                                                             (|Pattern|
                                                              (|Float|))))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|ConvertibleTo|
                                                             (|Pattern|
                                                              (|Integer|))))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|ConvertibleTo|
                                                             (|InputForm|)))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           (LIST '|Eltable|
                                                                 (|devaluate|
                                                                  |#1|)
                                                                 (|devaluate|
                                                                  |#1|)))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           (LIST '|Evalable|
                                                                 (|devaluate|
                                                                  |#1|)))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           (LIST
                                                            '|InnerEvalable|
                                                            '(|Symbol|)
                                                            (|devaluate|
                                                             |#1|)))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|LinearlyExplicitRingOver|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|PartialDifferentialRing|
                                                             (|Symbol|)))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|PatternMatchable|
                                                             (|Float|)))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|PatternMatchable|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|RetractableTo|
                                                             (|Fraction|
                                                              (|Integer|))))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|RetractableTo|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|CharacteristicNonZero|))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|CharacteristicZero|))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|Comparable|))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           #2#
                                           (AND #3#
                                                (|HasCategory| |#1|
                                                               '(|FiniteFieldCategory|)))
                                           (AND #5#
                                                (|HasCategory| |#1|
                                                               '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1| '(|Finite|))
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|))
                                            (|HasCategory| |#1|
                                                           '(|IntegralDomain|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|))
                                            (|HasCategory| |#1| '(|OpenMath|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|))
                                            (|HasCategory| |#1|
                                                           '(|RealConstant|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|))
                                            #4#)
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|))
                                            (|HasCategory| |#1|
                                                           '(|additiveValuation|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|FiniteFieldCategory|))
                                            (|HasCategory| |#1|
                                                           '(|multiplicativeValuation|))))
                                          (LETT #1#
                                                (AND
                                                 (|HasCategory| |#1|
                                                                '(|EuclideanDomain|))
                                                 (|HasCategory| |#1|
                                                                '(|PolynomialFactorizationExplicit|)))
                                                . #6#)
                                          (OR #1# #5#
                                              (AND
                                               (|HasCategory| |#1|
                                                              '(|FiniteFieldCategory|))
                                               (|HasCategory| |#1|
                                                              '(|PolynomialFactorizationExplicit|))))
                                          (OR #1#
                                              (AND #5#
                                                   (|HasCategory| |#1|
                                                                  '(|PolynomialFactorizationExplicit|)))
                                              (AND
                                               (|HasCategory| |#1|
                                                              '(|FiniteFieldCategory|))
                                               (|HasCategory| |#1|
                                                              '(|PolynomialFactorizationExplicit|))))
                                          (OR #1# #5#)
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|PartialDifferentialRing|
                                                            (|Symbol|)))
                                           #5#)
                                          (AND #2# #5#)))
                      . #6#))
      (|haddProp| |$ConstructorCache| '|Complex| (LIST DV$1) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (AND
       (OR (|HasCategory| |#1| '(|CharacteristicNonZero|))
           (AND #3# (|HasCategory| |#1| '(|PolynomialFactorizationExplicit|))
                (|HasCategory| $ '(|CharacteristicNonZero|))))
       (|augmentPredVector| $ 17592186044416))
      (AND
       (OR
        (AND #3# (|HasCategory| |#1| '(|PolynomialFactorizationExplicit|))
             (|HasCategory| $ '(|CharacteristicNonZero|)))
        (|HasCategory| |#1| '(|FiniteFieldCategory|)))
       (|augmentPredVector| $ 35184372088832))
      (QSETREFV $ 7 (|Record| (|:| |real| |#1|) (|:| |imag| |#1|)))
      (COND
       ((|testBitVector| |pv$| 27)
        (PROGN
         (QSETREFV $ 23 (CONS (|dispatchFunction| |COMPLEX;OMwrite;$S;2|) $))
         (QSETREFV $ 25 (CONS (|dispatchFunction| |COMPLEX;OMwrite;$BS;3|) $))
         (QSETREFV $ 26
                   (CONS (|dispatchFunction| |COMPLEX;OMwrite;Omd$V;4|) $))
         (QSETREFV $ 27
                   (CONS (|dispatchFunction| |COMPLEX;OMwrite;Omd$BV;5|) $)))))
      (COND
       ((|testBitVector| |pv$| 4)
        (QSETREFV $ 47 (CONS (|dispatchFunction| |COMPLEX;exquo;2$U;16|) $))))
      $)))) 

(MAKEPROP '|Complex| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) '|Rep| (|Void|)
              (|OpenMathDevice|) (0 . |OMputApp|) (|String|)
              (5 . |OMputSymbol|) |COMPLEX;real;$R;12| (12 . |OMwrite|)
              |COMPLEX;imag;$R;13| (18 . |OMputEndApp|) (|OpenMathEncoding|)
              (23 . |OMencodingXML|) (27 . |OMopenString|) (33 . |OMputObject|)
              (38 . |OMputEndObject|) (43 . |OMclose|) (48 . |OMwrite|)
              (|Boolean|) (53 . |OMwrite|) (59 . |OMwrite|) (65 . |OMwrite|)
              (CONS IDENTITY
                    (FUNCALL (|dispatchFunction| |COMPLEX;Zero;$;6|) $))
              (72 . |Zero|)
              (CONS IDENTITY
                    (FUNCALL (|dispatchFunction| |COMPLEX;One;$;7|) $))
              (76 . |One|) (80 . |zero?|) |COMPLEX;zero?;$B;8| (85 . =)
              |COMPLEX;one?;$B;9| |COMPLEX;coerce;R$;10|
              |COMPLEX;complex;2R$;11| (91 . +) |COMPLEX;+;3$;14| (97 . *)
              (103 . -) |COMPLEX;*;3$;15| (|Union| $ '#1="failed")
              (109 . |exquo|) (115 . |conjugate|) (120 . |norm|)
              (125 . |exquo|) (|Factored| 49) (|SparseUnivariatePolynomial| $)
              (|Union| 51 '#2="failed") (|List| 49) (|Fraction| 53) (|Integer|)
              (|Record| (|:| |r| 6) (|:| |phi| 6)) (|Union| 74 '#2#)
              (|Matrix| $) (|Factored| $)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|InputForm|) (|Pattern| (|Float|)) (|Pattern| 53)
              (|NonNegativeInteger|) (|List| $) (|Union| 63 '"failed")
              (|Record| (|:| |coef| 63) (|:| |generator| $))
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 68 '"failed")
              (|List| 71) (|Equation| 6) (|List| 6) (|Matrix| 6) (|Vector| $)
              (|Mapping| 6 6) (|Fraction| 77) (|SparseUnivariatePolynomial| 6)
              (|PositiveInteger|) (|Union| 62 '"failed")
              (|OnePointCompletion| 78)
              (|Record| (|:| |factor| 53) (|:| |exponent| 53)) (|List| 81)
              (|Table| 78 62)
              (|Union| '"prime" '"polynomial" '"normal" '"cyclic") (|List| 86)
              (|Symbol|) (|Union| 52 '#1#)
              (|Record| (|:| |mat| 89) (|:| |vec| (|Vector| 53))) (|Matrix| 53)
              (|List| 62) (|PatternMatchResult| (|Float|) $)
              (|PatternMatchResult| 53 $) (|Complex| (|DoubleFloat|))
              (|Complex| (|Float|)) (|Union| 53 '#3="failed")
              (|Record| (|:| |mat| 73) (|:| |vec| 98)) (|Union| 6 '#3#)
              (|Vector| 6) (|OutputForm|) (|SingleInteger|))
           '#(~= 131 |zero?| 137 |unitNormal| 142 |unitCanonical| 147 |unit?|
              152 |traceMatrix| 157 |trace| 166 |tanh| 171 |tan| 176
              |tableForDiscreteLogarithm| 181 |subtractIfCan| 186
              |squareFreePolynomial| 192 |squareFreePart| 197 |squareFree| 202
              |sqrt| 207 |solveLinearPolynomialEquation| 212 |smaller?| 218
              |sizeLess?| 224 |size| 230 |sinh| 234 |sin| 239 |sech| 244 |sec|
              249 |sample| 254 |retractIfCan| 258 |retract| 273 |represents|
              288 |representationType| 299 |rem| 303 |regularRepresentation|
              309 |reducedSystem| 320 |reduce| 342 |recip| 352 |real| 357
              |rationalIfCan| 362 |rational?| 367 |rational| 372 |rank| 377
              |random| 381 |quo| 385 |principalIdeal| 391 |primitiveElement|
              396 |primitive?| 400 |primeFrobenius| 405 |prime?| 416
              |polarCoordinates| 421 |pi| 426 |patternMatch| 430 |order| 444
              |one?| 454 |nthRoot| 459 |norm| 465 |nextItem| 470
              |multiEuclidean| 475 |minimalPolynomial| 481 |map| 486 |lookup|
              492 |log| 497 |lift| 502 |lcm| 507 |latex| 518 |inv| 523 |init|
              528 |index| 532 |imaginary| 537 |imag| 541 |hash| 546 |generator|
              551 |gcdPolynomial| 555 |gcd| 561 |factorsOfCyclicGroupSize| 572
              |factorSquareFreePolynomial| 576 |factorPolynomial| 581 |factor|
              586 |extendedEuclidean| 591 |exquo| 604 |expressIdealMember| 616
              |exp| 622 |eval| 627 |euclideanSize| 667 |enumerate| 672 |elt|
              676 |divide| 682 |discriminant| 688 |discreteLog| 697
              |differentiate| 708 |derivationCoordinates| 758
              |definingPolynomial| 764 |csch| 768 |csc| 773
              |createPrimitiveElement| 778 |coth| 782 |cot| 787 |cosh| 792
              |cos| 797 |coordinates| 802 |convert| 824 |conjugate| 869
              |conditionP| 874 |complex| 879 |coerce| 885 |charthRoot| 910
              |characteristicPolynomial| 920 |characteristic| 925 |basis| 929
              |atanh| 933 |atan| 938 |associates?| 943 |asinh| 949 |asin| 954
              |asech| 959 |asec| 964 |argument| 969 |acsch| 974 |acsc| 979
              |acoth| 984 |acot| 989 |acosh| 994 |acos| 999 |abs| 1004 ^ 1009
              |Zero| 1039 |One| 1043 |OMwrite| 1047 D 1071 = 1121 / 1127 - 1133
              + 1144 * 1150)
           'NIL
           (CONS
            (|makeByteWordVec2| 40
                                '(0 0 3 3 6 40 34 39 34 0 34 0 5 33 0 0 0 4 5 0
                                  0 0 1 2 4 5 37 8 9 12 0 0 0 5 0 0 0 0 0 5 5 0
                                  0 0 0 0 0 0 0 0 0 7 3 19 22 23 0 0 0 13 25 0
                                  0 0 0 0 0 0 4 5 5 10 11 14 13 13 13 13 13 15
                                  15 16 17 18 20 21 24 25 26 27))
            (CONS
             '#(|ComplexCategory&| |MonogenicAlgebra&| |FiniteFieldCategory&|
                |FieldOfPrimeCharacteristic&| |Field&|
                |PolynomialFactorizationExplicit&| |EuclideanDomain&|
                |UniqueFactorizationDomain&| NIL |FramedAlgebra&| |GcdDomain&|
                |FiniteRankAlgebra&| |DivisionRing&| |IntegralDomain&|
                |Algebra&| |FullyLinearlyExplicitRingOver&|
                |DifferentialExtension&| |Algebra&| |Algebra&| NIL NIL
                |Module&| NIL NIL |Module&| |Module&| |DifferentialRing&|
                |PartialDifferentialRing&| NIL NIL NIL |Ring&| NIL NIL NIL NIL
                NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL NIL
                |AbelianMonoid&| |Monoid&| NIL |FullyEvalableOver&|
                |SemiGroup&| |AbelianSemiGroup&| |Finite&| NIL NIL NIL NIL NIL
                |FullyRetractableTo&| |SetCategory&|
                |TranscendentalFunctionCategory&| |Evalable&| NIL
                |RetractableTo&| NIL NIL NIL |BasicType&| NIL NIL NIL NIL
                |RetractableTo&| |RetractableTo&| |RadicalCategory&|
                |TrigonometricFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |HyperbolicFunctionCategory&| NIL |ElementaryFunctionCategory&|
                NIL NIL NIL NIL NIL NIL NIL |InnerEvalable&| |InnerEvalable&|
                NIL NIL)
             (CONS
              '#((|ComplexCategory| 6)
                 (|MonogenicAlgebra| 6 (|SparseUnivariatePolynomial| 6))
                 (|FiniteFieldCategory|) (|FieldOfPrimeCharacteristic|)
                 (|Field|) (|PolynomialFactorizationExplicit|)
                 (|EuclideanDomain|) (|UniqueFactorizationDomain|)
                 (|PrincipalIdealDomain|)
                 (|FramedAlgebra| 6 (|SparseUnivariatePolynomial| 6))
                 (|GcdDomain|)
                 (|FiniteRankAlgebra| 6 (|SparseUnivariatePolynomial| 6))
                 (|DivisionRing|) (|IntegralDomain|) (|Algebra| 6)
                 (|FullyLinearlyExplicitRingOver| 6)
                 (|DifferentialExtension| 6) (|Algebra| $$) (|Algebra| 52)
                 (|LinearlyExplicitRingOver| 6) (|CommutativeRing|)
                 (|Module| 6) (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|Module| $$) (|Module| 52) (|DifferentialRing|)
                 (|PartialDifferentialRing| 86) (|LinearlyExplicitRingOver| 53)
                 (|EntireRing|) (|BiModule| $$ $$) (|Ring|) (|BiModule| 6 6)
                 (|BiModule| 52 52) (|RightModule| $$) (|Rng|)
                 (|RightModule| 6) (|LeftModule| 6) (|LeftModule| $$)
                 (|LeftModule| 52) (|RightModule| 52) (|AbelianGroup|)
                 (|CancellationAbelianMonoid|) (|SemiRing|)
                 (|FullyPatternMatchable| 6) (|AbelianMonoid|) (|Monoid|)
                 (|SemiRng|) (|FullyEvalableOver| 6) (|SemiGroup|)
                 (|AbelianSemiGroup|) (|Finite|) (|StepThrough|) (|Comparable|)
                 (|PatternMatchable| (|Float|)) (|PatternMatchable| 53)
                 (|Patternable| 6) (|FullyRetractableTo| 6) (|SetCategory|)
                 (|TranscendentalFunctionCategory|) (|Evalable| 6) (|Type|)
                 (|RetractableTo| 6)
                 (|ConvertibleTo| (|SparseUnivariatePolynomial| 6))
                 (|CommutativeStar|) (|unitsKnown|) (|BasicType|)
                 (|CoercibleTo| 99) (|noZeroDivisors|) (|canonicalUnitNormal|)
                 (|canonicalsClosed|) (|RetractableTo| 52) (|RetractableTo| 53)
                 (|RadicalCategory|) (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|) (|ConvertibleTo| 94)
                 (|ConvertibleTo| 93) (|ConvertibleTo| 59)
                 (|additiveValuation|) (|multiplicativeValuation|)
                 (|ConvertibleTo| 60) (|ConvertibleTo| 61)
                 (|InnerEvalable| 86 6) (|InnerEvalable| 6 6) (|Eltable| 6 $$)
                 (|OpenMath|))
              (|makeByteWordVec2| 100
                                  '(1 9 8 0 10 3 9 8 0 11 11 12 2 6 8 9 0 14 1
                                    9 8 0 16 0 17 0 18 2 9 0 11 17 19 1 9 8 0
                                    20 1 9 8 0 21 1 9 8 0 22 1 0 11 0 23 2 0 11
                                    0 24 25 2 0 8 9 0 26 3 0 8 9 0 24 27 0 6 0
                                    29 0 6 0 31 1 6 24 0 32 2 6 24 0 0 34 2 6 0
                                    0 0 38 2 6 0 0 0 40 2 6 0 0 0 41 2 0 43 0 6
                                    44 1 0 0 0 45 1 0 6 0 46 2 0 43 0 0 47 2 0
                                    24 0 0 1 1 0 24 0 33 1 42 58 0 1 1 42 0 0 1
                                    1 42 24 0 1 0 0 73 1 1 0 73 74 1 1 0 6 0 1
                                    1 13 0 0 1 1 13 0 0 1 1 3 83 53 1 2 0 43 0
                                    0 1 1 38 48 49 1 1 41 0 0 1 1 41 57 0 1 1
                                    14 0 0 1 2 38 50 51 49 1 2 19 24 0 0 1 2 32
                                    24 0 0 1 0 7 62 1 1 13 0 0 1 1 13 0 0 1 1
                                    13 0 0 1 1 13 0 0 1 0 0 0 1 1 10 87 0 1 1
                                    11 95 0 1 1 0 97 0 1 1 10 52 0 1 1 11 53 0
                                    1 1 0 6 0 1 1 0 0 98 1 2 0 0 98 74 1 0 3 84
                                    1 2 32 0 0 0 1 1 0 73 0 1 2 0 73 0 74 1 2 9
                                    88 56 74 1 1 9 89 56 1 1 0 73 56 1 2 0 96
                                    56 74 1 1 5 43 76 1 1 0 0 77 1 1 0 43 0 1 1
                                    0 6 0 13 1 30 87 0 1 1 30 24 0 1 1 30 52 0
                                    1 0 0 78 1 0 7 0 1 2 32 0 0 0 1 1 32 65 63
                                    1 0 3 0 1 1 3 24 0 1 2 3 0 0 62 1 1 3 0 0 1
                                    1 41 24 0 1 1 29 54 0 1 0 13 0 1 3 22 91 0
                                    60 91 1 3 23 92 0 61 92 1 1 3 80 0 1 1 3 78
                                    0 1 1 0 24 0 35 2 14 0 0 53 1 1 0 6 0 46 1
                                    3 43 0 1 2 32 64 63 0 1 1 5 77 0 1 2 0 0 75
                                    0 1 1 7 78 0 1 1 13 0 0 1 1 0 77 0 1 2 32 0
                                    0 0 1 1 32 0 63 1 1 0 11 0 1 1 5 0 0 1 0 3
                                    0 1 1 7 0 78 1 0 0 0 1 1 0 6 0 15 1 0 100 0
                                    1 0 0 0 1 2 32 49 49 49 1 1 32 0 63 1 2 32
                                    0 0 0 1 0 3 82 1 1 38 48 49 1 1 38 48 49 1
                                    1 41 57 0 1 2 32 67 0 0 1 3 32 69 0 0 0 1 2
                                    42 43 0 0 47 2 4 43 0 6 44 2 32 64 63 0 1 1
                                    13 0 0 1 2 25 0 0 70 1 3 25 0 0 6 6 1 2 25
                                    0 0 71 1 3 25 0 0 72 72 1 3 24 0 0 85 72 1
                                    3 24 0 0 86 6 1 1 32 62 0 1 0 7 63 1 2 26 0
                                    0 6 1 2 32 66 0 0 1 0 0 6 1 1 0 6 74 1 2 3
                                    79 0 0 1 1 3 62 0 1 1 36 0 0 1 2 36 0 0 62
                                    1 2 8 0 0 85 1 2 8 0 0 86 1 3 8 0 0 85 90 1
                                    3 8 0 0 86 62 1 2 0 0 0 75 1 3 0 0 0 75 62
                                    1 2 5 73 74 75 1 0 0 77 1 1 13 0 0 1 1 13 0
                                    0 1 0 3 0 1 1 13 0 0 1 1 13 0 0 1 1 13 0 0
                                    1 1 13 0 0 1 1 0 98 0 1 1 0 73 74 1 2 0 73
                                    74 74 1 2 0 98 0 74 1 1 16 59 0 1 1 20 60 0
                                    1 1 21 61 0 1 1 15 93 0 1 1 15 94 0 1 1 0 0
                                    77 1 1 0 77 0 1 1 0 98 0 1 1 0 0 98 1 1 0 0
                                    0 45 1 46 55 56 1 2 0 0 6 6 37 1 42 0 0 1 1
                                    31 0 52 1 1 0 0 6 36 1 0 0 53 1 1 0 99 0 1
                                    1 45 43 0 1 1 3 0 0 1 1 0 77 0 1 0 0 62 1 0
                                    0 74 1 1 13 0 0 1 1 13 0 0 1 2 42 24 0 0 1
                                    1 13 0 0 1 1 13 0 0 1 1 13 0 0 1 1 13 0 0 1
                                    1 13 6 0 1 1 13 0 0 1 1 13 0 0 1 1 13 0 0 1
                                    1 13 0 0 1 1 13 0 0 1 1 13 0 0 1 1 28 0 0 1
                                    2 14 0 0 52 1 2 5 0 0 53 1 2 13 0 0 0 1 2 0
                                    0 0 62 1 2 0 0 0 78 1 0 0 0 28 0 0 0 30 3
                                    27 8 9 0 24 27 2 27 11 0 24 25 2 27 8 9 0
                                    26 1 27 11 0 23 1 36 0 0 1 2 36 0 0 62 1 2
                                    8 0 0 86 1 3 8 0 0 86 62 1 2 8 0 0 85 1 3 8
                                    0 0 85 90 1 3 0 0 0 75 62 1 2 0 0 0 75 1 2
                                    0 24 0 0 1 2 5 0 0 0 1 2 0 0 0 0 1 1 0 0 0
                                    1 2 0 0 0 0 39 2 5 0 52 0 1 2 5 0 0 52 1 2
                                    0 0 6 0 1 2 0 0 0 6 1 2 0 0 0 0 42 2 0 0 53
                                    0 1 2 0 0 62 0 1 2 0 0 78 0 1)))))
           '|lookupComplete|)) 
