aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/GCDDOM.lsp
blob: d1dbce16c35549f42c98e0084e218ab08d52b7c6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
(/VERSIONCHECK 2) 

(DEFPARAMETER |GcdDomain;AL| 'NIL) 

(DEFUN |GcdDomain;| ()
  (LET ((#0=#:G1403
            (|Join| (|IntegralDomain|)
                    (|mkCategory| '|domain|
                        '(((|gcd| ($ $ $)) T)
                          ((|gcd| ($ (|List| $))) T)
                          ((|lcm| ($ $ $)) T)
                          ((|lcm| ($ (|List| $))) T)
                          ((|gcdPolynomial|
                               ((|SparseUnivariatePolynomial| $)
                                (|SparseUnivariatePolynomial| $)
                                (|SparseUnivariatePolynomial| $)))
                           T))
                        NIL
                        '((|SparseUnivariatePolynomial| $) (|List| $))
                        NIL))))
    (|setShellEntry| #0# 0 '(|GcdDomain|))
    #0#)) 

(DEFUN |GcdDomain| ()
  (COND (|GcdDomain;AL|) (T (SETQ |GcdDomain;AL| (|GcdDomain;|))))) 

(MAKEPROP '|GcdDomain| 'NILADIC T)