
(SDEFUN |SMPCOER;convert_sorted|
        ((|p1|
          (|Union| R
                   (|Record| (|:| |v| |VarSet1|)
                             (|:| |ts|
                                  #1=(|List|
                                      (|Record|
                                       (|:| |k| (|NonNegativeInteger|))
                                       (|:| |c|
                                            (|SparseMultivariatePolynomial| R
                                                                            |VarSet1|))))))))
         (|lv1| (|List| |VarSet1|)) (|lv2| (|List| |VarSet2|))
         (%
          #2=(|Union| R
                      (|Record| (|:| |v| |VarSet2|)
                                (|:| |ts|
                                     (|List|
                                      (|Record|
                                       (|:| |k| (|NonNegativeInteger|))
                                       (|:| |c|
                                            (|SparseMultivariatePolynomial| R
                                                                            |VarSet2|)))))))))
        (SPROG
         ((|pu2|
           (|List|
            (|Record| (|:| |k| (|NonNegativeInteger|))
                      (|:| |c| (|SparseMultivariatePolynomial| R |VarSet2|)))))
          (|p2| #2#)
          (|t1|
           (|Union| R
                    (|Record| (|:| |v| |VarSet1|)
                              (|:| |ts|
                                   (|List|
                                    (|Record| (|:| |k| (|NonNegativeInteger|))
                                              (|:| |c|
                                                   (|SparseMultivariatePolynomial|
                                                    R |VarSet1|))))))))
          (#3=#:G38 NIL) (|t0| NIL) (|pu1| #1#) (#4=#:G37 NIL)
          (|v2| (|VarSet2|)) (|v1| (|VarSet1|)))
         (SEQ
          (EXIT
           (COND ((QEQCAR |p1| 0) (CONS 0 (QCDR |p1|)))
                 ((NULL |lv1|) (|error| "p has variable not in lv1"))
                 (#5='T
                  (SEQ (LETT |v1| (QCAR (QCDR |p1|)))
                       (LETT |v2| (|SPADfirst| |lv2|)) (LETT |lv2| (CDR |lv2|))
                       (EXIT
                        (COND
                         ((SPADCALL |v1| (|SPADfirst| |lv1|) (QREFELT % 10))
                          (PROGN
                           (LETT #4#
                                 (|SMPCOER;convert_sorted| |p1| (CDR |lv1|)
                                  |lv2| %))
                           (GO #6=#:G36)))
                         (#5#
                          (SEQ (LETT |lv1| (CDR |lv1|))
                               (LETT |pu1| (QCDR (QCDR |p1|))) (LETT |pu2| NIL)
                               (SEQ (LETT |t0| NIL) (LETT #3# |pu1|) G190
                                    (COND
                                     ((OR (ATOM #3#)
                                          (PROGN (LETT |t0| (CAR #3#)) NIL))
                                      (GO G191)))
                                    (SEQ (LETT |t1| (QCDR |t0|))
                                         (LETT |p2|
                                               (COND
                                                ((QEQCAR |t1| 0)
                                                 (CONS 0 (QCDR |t1|)))
                                                ('T
                                                 (|SMPCOER;convert_sorted| |t1|
                                                  |lv1| |lv2| %))))
                                         (EXIT
                                          (LETT |pu2|
                                                (CONS (CONS (QCAR |t0|) |p2|)
                                                      |pu2|))))
                                    (LETT #3# (CDR #3#)) (GO G190) G191
                                    (EXIT NIL))
                               (EXIT
                                (CONS 1 (CONS |v2| (NREVERSE |pu2|))))))))))))
          #6# (EXIT #4#)))) 

(SDEFUN |SMPCOER;find_var|
        ((|x| (|VarSet1|))
         (|pl|
          (|List|
           (|Record| (|:| |elt1| |VarSet1|)
                     (|:| |elt2|
                          (|SparseMultivariatePolynomial| R |VarSet2|)))))
         (% (|SparseMultivariatePolynomial| R |VarSet2|)))
        (SPROG ((#1=#:G45 NIL) (#2=#:G46 NIL) (|y| NIL))
               (SEQ
                (EXIT
                 (SEQ
                  (SEQ (LETT |y| NIL) (LETT #2# |pl|) G190
                       (COND
                        ((OR (ATOM #2#) (PROGN (LETT |y| (CAR #2#)) NIL))
                         (GO G191)))
                       (SEQ
                        (EXIT
                         (COND
                          ((SPADCALL |x| (QCAR |y|) (QREFELT % 11))
                           (PROGN (LETT #1# (QCDR |y|)) (GO #3=#:G44))))))
                       (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT NIL))
                  (EXIT (|error| "Impossible"))))
                #3# (EXIT #1#)))) 

(SDEFUN |SMPCOER;remap_variables;SmpLLSmp;3|
        ((|p| (|SparseMultivariatePolynomial| R |VarSet1|))
         (|lv1| (|List| |VarSet1|)) (|lv2| (|List| |VarSet2|))
         (% (|SparseMultivariatePolynomial| R |VarSet2|)))
        (SPROG
         ((|pl2|
           (|List|
            (|Record| (|:| |elt1| |VarSet1|)
                      (|:| |elt2|
                           (|SparseMultivariatePolynomial| R |VarSet2|)))))
          (#1=#:G80 NIL) (|el1| NIL) (#2=#:G81 NIL) (|el2| NIL) (#3=#:G79 NIL)
          (#4=#:G78 NIL) (|x| NIL) (#5=#:G77 NIL) (#6=#:G76 NIL) (#7=#:G75 NIL)
          (|pl|
           (|List| (|Record| (|:| |elt1| |VarSet1|) (|:| |elt2| |VarSet2|))))
          (#8=#:G73 NIL) (#9=#:G74 NIL) (#10=#:G72 NIL)
          (|n| (|NonNegativeInteger|)))
         (SEQ (LETT |n| (LENGTH |lv1|))
              (EXIT
               (COND
                ((SPADCALL |n| (LENGTH |lv2|) (QREFELT % 13))
                 (|error| "lv1 and lv2 have different lengths"))
                ('T
                 (SEQ
                  (COND
                   ((NULL (SPADCALL |lv1| (QREFELT % 15)))
                    (SEQ
                     (LETT |pl|
                           (PROGN
                            (LETT #10# NIL)
                            (SEQ (LETT |el2| NIL) (LETT #9# |lv2|)
                                 (LETT |el1| NIL) (LETT #8# |lv1|) G190
                                 (COND
                                  ((OR (ATOM #8#)
                                       (PROGN (LETT |el1| (CAR #8#)) NIL)
                                       (ATOM #9#)
                                       (PROGN (LETT |el2| (CAR #9#)) NIL))
                                   (GO G191)))
                                 (SEQ
                                  (EXIT
                                   (LETT #10# (CONS (CONS |el1| |el2|) #10#))))
                                 (LETT #8#
                                       (PROG1 (CDR #8#) (LETT #9# (CDR #9#))))
                                 (GO G190) G191 (EXIT (NREVERSE #10#)))))
                     (LETT |pl|
                           (SPADCALL
                            (CONS #'|SMPCOER;remap_variables;SmpLLSmp;3!0| %)
                            |pl| (QREFELT % 20)))
                     (LETT |lv1|
                           (PROGN
                            (LETT #7# NIL)
                            (SEQ (LETT |x| NIL) (LETT #6# |pl|) G190
                                 (COND
                                  ((OR (ATOM #6#)
                                       (PROGN (LETT |x| (CAR #6#)) NIL))
                                   (GO G191)))
                                 (SEQ (EXIT (LETT #7# (CONS (QCAR |x|) #7#))))
                                 (LETT #6# (CDR #6#)) (GO G190) G191
                                 (EXIT (NREVERSE #7#)))))
                     (EXIT
                      (LETT |lv2|
                            (PROGN
                             (LETT #5# NIL)
                             (SEQ (LETT |x| NIL) (LETT #4# |pl|) G190
                                  (COND
                                   ((OR (ATOM #4#)
                                        (PROGN (LETT |x| (CAR #4#)) NIL))
                                    (GO G191)))
                                  (SEQ (EXIT (LETT #5# (CONS (QCDR |x|) #5#))))
                                  (LETT #4# (CDR #4#)) (GO G190) G191
                                  (EXIT (NREVERSE #5#)))))))))
                  (COND
                   ((NULL (SPADCALL |lv2| (QREFELT % 22)))
                    (EXIT
                     (SEQ
                      (LETT |pl2|
                            (PROGN
                             (LETT #3# NIL)
                             (SEQ (LETT |el2| NIL) (LETT #2# |lv2|)
                                  (LETT |el1| NIL) (LETT #1# |lv1|) G190
                                  (COND
                                   ((OR (ATOM #1#)
                                        (PROGN (LETT |el1| (CAR #1#)) NIL)
                                        (ATOM #2#)
                                        (PROGN (LETT |el2| (CAR #2#)) NIL))
                                    (GO G191)))
                                  (SEQ
                                   (EXIT
                                    (LETT #3#
                                          (CONS
                                           (CONS |el1|
                                                 (SPADCALL
                                                  (|spadConstant| % 25) |el2| 1
                                                  (QREFELT % 26)))
                                           #3#))))
                                  (LETT #1#
                                        (PROG1 (CDR #1#) (LETT #2# (CDR #2#))))
                                  (GO G190) G191 (EXIT (NREVERSE #3#)))))
                      (EXIT
                       (SPADCALL
                        (CONS #'|SMPCOER;remap_variables;SmpLLSmp;3!1|
                              (VECTOR % |pl2|))
                        (ELT % 27) |p| (QREFELT % 32)))))))
                  (LETT |lv1| (REVERSE |lv1|)) (LETT |lv2| (REVERSE |lv2|))
                  (EXIT (|SMPCOER;convert_sorted| |p| |lv1| |lv2| %))))))))) 

(SDEFUN |SMPCOER;remap_variables;SmpLLSmp;3!1| ((|z| NIL) ($$ NIL))
        (PROG (|pl2| %)
          (LETT |pl2| (QREFELT $$ 1))
          (LETT % (QREFELT $$ 0))
          (RETURN (PROGN (|SMPCOER;find_var| |z| |pl2| %))))) 

(SDEFUN |SMPCOER;remap_variables;SmpLLSmp;3!0| ((|x| NIL) (|y| NIL) (% NIL))
        (SPADCALL (QCAR |x|) (QCAR |y|) (QREFELT % 16))) 

(DECLAIM (NOTINLINE |SparsePolynomialCoercionHelpers;|)) 

(DEFUN |SparsePolynomialCoercionHelpers| (&REST #1=#:G82)
  (SPROG NIL
         (PROG (#2=#:G83)
           (RETURN
            (COND
             ((LETT #2#
                    (|lassocShiftWithFunction| (|devaluateList| #1#)
                                               (HGET |$ConstructorCache|
                                                     '|SparsePolynomialCoercionHelpers|)
                                               '|domainEqualList|))
              (|CDRwithIncrement| #2#))
             ('T
              (UNWIND-PROTECT
                  (PROG1
                      (APPLY (|function| |SparsePolynomialCoercionHelpers;|)
                             #1#)
                    (LETT #2# T))
                (COND
                 ((NOT #2#)
                  (HREM |$ConstructorCache|
                        '|SparsePolynomialCoercionHelpers|)))))))))) 

(DEFUN |SparsePolynomialCoercionHelpers;| (|#1| |#2| |#3|)
  (SPROG ((|pv$| NIL) (% NIL) (|dv$| NIL) (DV$3 NIL) (DV$2 NIL) (DV$1 NIL))
         (PROGN
          (LETT DV$1 (|devaluate| |#1|))
          (LETT DV$2 (|devaluate| |#2|))
          (LETT DV$3 (|devaluate| |#3|))
          (LETT |dv$| (LIST '|SparsePolynomialCoercionHelpers| DV$1 DV$2 DV$3))
          (LETT % (GETREFV 34))
          (QSETREFV % 0 |dv$|)
          (QSETREFV % 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
          (|haddProp| |$ConstructorCache| '|SparsePolynomialCoercionHelpers|
                      (LIST DV$1 DV$2 DV$3) (CONS 1 %))
          (|stuffDomainSlots| %)
          (QSETREFV % 6 |#1|)
          (QSETREFV % 7 |#2|)
          (QSETREFV % 8 |#3|)
          (SETF |pv$| (QREFELT % 3))
          %))) 

(MAKEPROP '|SparsePolynomialCoercionHelpers| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) (|Boolean|) (0 . ~=) (6 . =)
              (|NonNegativeInteger|) (12 . ~=) (|List| 7) (18 . |sorted?|)
              (23 . <) (|Record| (|:| |elt1| 7) (|:| |elt2| 8))
              (|Mapping| 9 17 17) (|List| 17) (29 . |sort|) (|List| 8)
              (35 . |sorted?|) (40 . |One|)
              (|SparseMultivariatePolynomial| 6 8) (44 . |One|)
              (48 . |monomial|) (55 . |coerce|) (|Mapping| 24 7)
              (|Mapping| 24 6) (|SparseMultivariatePolynomial| 6 7)
              (|PolynomialCategoryLifting| (|IndexedExponents| 7) 7 6 30 24)
              (60 . |map|) |SMPCOER;remap_variables;SmpLLSmp;3|)
           '#(|remap_variables| 67) 'NIL
           (CONS (|makeByteWordVec2| 1 '(0))
                 (CONS '#(NIL)
                       (CONS
                        '#((|Join|
                            (|mkCategory|
                             (LIST
                              '((|remap_variables|
                                 ((|SparseMultivariatePolynomial| |#1| |#3|)
                                  (|SparseMultivariatePolynomial| |#1| |#2|)
                                  (|List| |#2|) (|List| |#3|)))
                                T))
                             (LIST) NIL NIL)))
                        (|makeByteWordVec2| 33
                                            '(2 7 9 0 0 10 2 7 9 0 0 11 2 12 9
                                              0 0 13 1 14 9 0 15 2 7 9 0 0 16 2
                                              19 0 18 0 20 1 21 9 0 22 0 6 0 23
                                              0 24 0 25 3 24 0 0 8 12 26 1 24 0
                                              6 27 3 31 24 28 29 30 32 3 0 24
                                              30 14 21 33)))))
           '|lookupComplete|)) 
