diff options
Diffstat (limited to 'src/algebra/strap/ABELSG-.lsp')
| -rw-r--r-- | src/algebra/strap/ABELSG-.lsp | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/algebra/strap/ABELSG-.lsp b/src/algebra/strap/ABELSG-.lsp index a248d398..9391dd77 100644 --- a/src/algebra/strap/ABELSG-.lsp +++ b/src/algebra/strap/ABELSG-.lsp @@ -38,20 +38,3 @@ '(2 8 6 7 6 9 2 0 0 7 0 10 2 0 0 7 0 10))))) '|lookupComplete|)) - -(SETQ |$CategoryFrame| - (|put| '|AbelianSemiGroup&| '|isFunctor| - '(((* ($ (|PositiveInteger|) $)) T (ELT $ 10))) - (|addModemap| '|AbelianSemiGroup&| - '(|AbelianSemiGroup&| |#1|) - '((CATEGORY |domain| - (SIGNATURE * (|#1| (|PositiveInteger|) |#1|))) - (|AbelianSemiGroup|)) - T '|AbelianSemiGroup&| - (|put| '|AbelianSemiGroup&| '|mode| - '(|Mapping| - (CATEGORY |domain| - (SIGNATURE * - (|#1| (|PositiveInteger|) |#1|))) - (|AbelianSemiGroup|)) - |$CategoryFrame|)))) |