diff options
Diffstat (limited to 'src/algebra/strap/GCDDOM-.lsp')
-rw-r--r-- | src/algebra/strap/GCDDOM-.lsp | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/src/algebra/strap/GCDDOM-.lsp b/src/algebra/strap/GCDDOM-.lsp index 8e9a0e77..b3a3bbc5 100644 --- a/src/algebra/strap/GCDDOM-.lsp +++ b/src/algebra/strap/GCDDOM-.lsp @@ -233,43 +233,3 @@ 20 21 2 0 0 0 0 14 2 0 40 40 40 41 1 0 0 20 22))))) '|lookupComplete|)) - -(SETQ |$CategoryFrame| - (|put| '|GcdDomain&| '|isFunctor| - '(((|gcdPolynomial| - ((|SparseUnivariatePolynomial| $) - (|SparseUnivariatePolynomial| $) - (|SparseUnivariatePolynomial| $))) - T (ELT $ 41)) - ((|lcm| ($ (|List| $))) T (ELT $ 21)) - ((|lcm| ($ $ $)) T (ELT $ 14)) - ((|gcd| ($ (|List| $))) T (ELT $ 22)) - ((|gcd| ($ $ $)) T (ELT $ NIL))) - (|addModemap| '|GcdDomain&| '(|GcdDomain&| |#1|) - '((CATEGORY |domain| - (SIGNATURE |gcdPolynomial| - ((|SparseUnivariatePolynomial| |#1|) - (|SparseUnivariatePolynomial| |#1|) - (|SparseUnivariatePolynomial| |#1|))) - (SIGNATURE |lcm| (|#1| (|List| |#1|))) - (SIGNATURE |lcm| (|#1| |#1| |#1|)) - (SIGNATURE |gcd| (|#1| (|List| |#1|))) - (SIGNATURE |gcd| (|#1| |#1| |#1|))) - (|GcdDomain|)) - T '|GcdDomain&| - (|put| '|GcdDomain&| '|mode| - '(|Mapping| - (CATEGORY |domain| - (SIGNATURE |gcdPolynomial| - ((|SparseUnivariatePolynomial| - |#1|) - (|SparseUnivariatePolynomial| - |#1|) - (|SparseUnivariatePolynomial| - |#1|))) - (SIGNATURE |lcm| (|#1| (|List| |#1|))) - (SIGNATURE |lcm| (|#1| |#1| |#1|)) - (SIGNATURE |gcd| (|#1| (|List| |#1|))) - (SIGNATURE |gcd| (|#1| |#1| |#1|))) - (|GcdDomain|)) - |$CategoryFrame|)))) |