
(/VERSIONCHECK 2) 

(DEFUN |OrdinaryWeightedPolynomials| (&REST #0=#:G1818)
  (PROG ()
    (RETURN
      (PROG (#1=#:G1819)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (|devaluateList| #0#)
                       (HGET |$ConstructorCache|
                             '|OrdinaryWeightedPolynomials|)
                       '|domainEqualList|)
                   . #2=(|OrdinaryWeightedPolynomials|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (APPLY (|function|
                                 |OrdinaryWeightedPolynomials;|)
                             #0#)
                 (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache|
                        '|OrdinaryWeightedPolynomials|))))))))))) 

(DEFUN |OrdinaryWeightedPolynomials;| (|#1| |#2| |#3| |#4|)
  (PROG (DV$1 DV$2 DV$3 DV$4 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|OrdinaryWeightedPolynomials|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT DV$4 (|devaluate| |#4|) . #0#)
        (LETT |dv$|
              (LIST '|OrdinaryWeightedPolynomials| DV$1 DV$2 DV$3 DV$4) . #0#)
        (LETT $ (GETREFV 20) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#1| '(|CommutativeRing|))
                            (|HasCategory| |#1| '(|Field|)))) . #0#))
        (|haddProp| |$ConstructorCache| '|OrdinaryWeightedPolynomials|
            (LIST DV$1 DV$2 DV$3 DV$4) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (QSETREFV $ 9 |#4|)
        $)))) 

(MAKEPROP '|OrdinaryWeightedPolynomials| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL
             (|WeightedPolynomials| 6 (|Symbol|)
                 (|IndexedExponents| (|Symbol|)) 13 7 8 9)
             (|local| |#1|) (|local| |#2|) (|local| |#3|)
             (|local| |#4|) (|Union| $ '"failed") (|Void|)
             (|NonNegativeInteger|) (|Polynomial| 6) (|Integer|)
             (|Boolean|) (|PositiveInteger|) (|String|) (|OutputForm|)
             (|SingleInteger|))
          '#() 'NIL
          (CONS (|makeByteWordVec2| 1
                    '(1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0))
                (CONS '#(|Algebra&| |Module&| |Ring&| NIL NIL NIL NIL
                         NIL |AbelianGroup&| NIL NIL |AbelianMonoid&|
                         |Monoid&| NIL |SemiGroup&| |AbelianSemiGroup&|
                         |SetCategory&| NIL |BasicType&| NIL)
                      (CONS '#((|Algebra| 6) (|Module| 6) (|Ring|)
                               (|BiModule| 6 6) (|Rng|)
                               (|LeftModule| $$) (|LeftModule| 6)
                               (|RightModule| 6) (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|AbelianMonoid|)
                               (|Monoid|) (|SemiRng|) (|SemiGroup|)
                               (|AbelianSemiGroup|) (|SetCategory|)
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 18))
                            (|makeByteWordVec2| -999999 'NIL))))
          '|lookupIncomplete|)) 
