
(/VERSIONCHECK 2) 

(DEFUN |INPSIGN;signAround;UPRMU;1| (|p| |x| |rsign| $)
  (PROG (|ul| |ur|)
    (RETURN
     (SEQ
      (LETT |ur| (SPADCALL |p| |x| 1 |rsign| (QREFELT $ 13))
            . #1=(|INPSIGN;signAround;UPRMU;1|))
      (EXIT
       (COND ((QEQCAR |ur| 1) (CONS 1 "failed"))
             ('T
              (SEQ
               (LETT |ul| (SPADCALL |p| |x| -1 |rsign| (QREFELT $ 13)) . #1#)
               (EXIT
                (COND
                 ((OR (QEQCAR |ul| 1) (NULL (EQL (QCDR |ur|) (QCDR |ul|))))
                  (CONS 1 "failed"))
                 ('T |ur|))))))))))) 

(DEFUN |INPSIGN;signAround;UPRIMU;2| (|p| |x| |dir| |rsign| $)
  (PROG (|u| |r|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 16)) (CONS 0 0))
            ((SPADCALL
              (LETT |r| (SPADCALL |p| |x| (QREFELT $ 17))
                    . #1=(|INPSIGN;signAround;UPRIMU;2|))
              (QREFELT $ 18))
             (SEQ
              (LETT |u|
                    (SPADCALL (SPADCALL |p| (QREFELT $ 19)) |x| |dir| |rsign|
                              (QREFELT $ 13))
                    . #1#)
              (EXIT
               (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
                     (#2='T (CONS 0 (* |dir| (QCDR |u|))))))))
            (#2# (SPADCALL |r| |rsign|))))))) 

(DEFUN |INPSIGN;signAround;UPIMU;3| (|p| |dir| |rsign| $)
  (PROG (|u|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |p| (QREFELT $ 16)) (CONS 0 0))
            ('T
             (SEQ
              (LETT |u| (SPADCALL (SPADCALL |p| (QREFELT $ 20)) |rsign|)
                    |INPSIGN;signAround;UPIMU;3|)
              (EXIT
               (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
                     ((OR (< 0 |dir|)
                          (SPADCALL (SPADCALL |p| (QREFELT $ 24))
                                    (QREFELT $ 25)))
                      (CONS 0 (QCDR |u|)))
                     ('T (CONS 0 (- (QCDR |u|))))))))))))) 

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

(DEFUN |InnerPolySign;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|InnerPolySign|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|InnerPolySign| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 27) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|InnerPolySign| (LIST DV$1 DV$2)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      $)))) 

(MAKEPROP '|InnerPolySign| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (0 . |One|)
              (4 . |One|) (|Union| 11 '"failed") (|Integer|) (|Mapping| 10 6)
              |INPSIGN;signAround;UPRIMU;2| |INPSIGN;signAround;UPRMU;1|
              (|Boolean|) (8 . |zero?|) (13 . |elt|) (19 . |zero?|)
              (24 . |differentiate|) (29 . |leadingCoefficient|) (34 . |Zero|)
              (38 . |Zero|) (|NonNegativeInteger|) (42 . |degree|)
              (47 . |even?|) |INPSIGN;signAround;UPIMU;3|)
           '#(|signAround| 52) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 26
                                                 '(0 6 0 8 0 7 0 9 1 7 15 0 16
                                                   2 7 6 0 6 17 1 6 15 0 18 1 7
                                                   0 0 19 1 7 6 0 20 0 6 0 21 0
                                                   7 0 22 1 7 23 0 24 1 11 15 0
                                                   25 3 0 10 7 11 12 26 3 0 10
                                                   7 6 12 14 4 0 10 7 6 11 12
                                                   13)))))
           '|lookupComplete|)) 
