1
2(SDEFUN |SUP2;map;MSupSup;1|
3        ((|f| |Mapping| S R) (|p| |SparseUnivariatePolynomial| R)
4         ($ |SparseUnivariatePolynomial| S))
5        (SPADCALL |f| |p| (QREFELT $ 12)))
6
7(DECLAIM (NOTINLINE |SparseUnivariatePolynomialFunctions2;|))
8
9(DEFUN |SparseUnivariatePolynomialFunctions2| (&REST #1=#:G402)
10  (SPROG NIL
11         (PROG (#2=#:G403)
12           (RETURN
13            (COND
14             ((LETT #2#
15                    (|lassocShiftWithFunction| (|devaluateList| #1#)
16                                               (HGET |$ConstructorCache|
17                                                     '|SparseUnivariatePolynomialFunctions2|)
18                                               '|domainEqualList|))
19              (|CDRwithIncrement| #2#))
20             ('T
21              (UNWIND-PROTECT
22                  (PROG1
23                      (APPLY
24                       (|function| |SparseUnivariatePolynomialFunctions2;|)
25                       #1#)
26                    (LETT #2# T))
27                (COND
28                 ((NOT #2#)
29                  (HREM |$ConstructorCache|
30                        '|SparseUnivariatePolynomialFunctions2|))))))))))
31
32(DEFUN |SparseUnivariatePolynomialFunctions2;| (|#1| |#2|)
33  (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$2 NIL) (DV$1 NIL))
34         (PROGN
35          (LETT DV$1 (|devaluate| |#1|))
36          (LETT DV$2 (|devaluate| |#2|))
37          (LETT |dv$| (LIST '|SparseUnivariatePolynomialFunctions2| DV$1 DV$2))
38          (LETT $ (GETREFV 14))
39          (QSETREFV $ 0 |dv$|)
40          (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
41          (|haddProp| |$ConstructorCache|
42                      '|SparseUnivariatePolynomialFunctions2| (LIST DV$1 DV$2)
43                      (CONS 1 $))
44          (|stuffDomainSlots| $)
45          (QSETREFV $ 6 |#1|)
46          (QSETREFV $ 7 |#2|)
47          (SETF |pv$| (QREFELT $ 3))
48          $)))
49
50(MAKEPROP '|SparseUnivariatePolynomialFunctions2| '|infovec|
51          (LIST
52           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
53              (|SparseUnivariatePolynomial| 7) (|Mapping| 7 6)
54              (|SparseUnivariatePolynomial| 6)
55              (|UnivariatePolynomialCategoryFunctions2| 6 10 7 8) (0 . |map|)
56              |SUP2;map;MSupSup;1|)
57           '#(|map| 6) 'NIL
58           (CONS (|makeByteWordVec2| 1 '(0))
59                 (CONS '#(NIL)
60                       (CONS
61                        '#((|Join|
62                            (|mkCategory|
63                             (LIST
64                              '((|map|
65                                 ((|SparseUnivariatePolynomial| |#2|)
66                                  (|Mapping| |#2| |#1|)
67                                  (|SparseUnivariatePolynomial| |#1|)))
68                                T))
69                             (LIST) NIL NIL)))
70                        (|makeByteWordVec2| 13
71                                            '(2 11 8 9 10 12 2 0 8 9 10 13)))))
72           '|lookupComplete|))
73