From 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 17 Aug 2008 08:59:26 +0000
Subject: 	* algebra/Makefile.pamphlet (all-algstrap): New. 	*
 algebra/strap: Update cached Lisp translation.

---
 src/algebra/strap/ABELSG-.lsp | 30 ++++++++++++++++++++++++------
 1 file changed, 24 insertions(+), 6 deletions(-)

(limited to 'src/algebra/strap/ABELSG-.lsp')

diff --git a/src/algebra/strap/ABELSG-.lsp b/src/algebra/strap/ABELSG-.lsp
index 6c9c3182..4f99c6ad 100644
--- a/src/algebra/strap/ABELSG-.lsp
+++ b/src/algebra/strap/ABELSG-.lsp
@@ -2,7 +2,7 @@
 (/VERSIONCHECK 2) 
 
 (DEFUN |ABELSG-;*;Pi2S;1| (|n| |x| $)
-  (SPADCALL |n| |x| (QREFELT $ 9))) 
+  (SPADCALL |n| |x| (|getShellEntry| $ 9))) 
 
 (DEFUN |AbelianSemiGroup&| (|#1|)
   (PROG (|dv$1| |dv$| $ |pv$|)
@@ -10,15 +10,16 @@
       (PROGN
         (LETT |dv$1| (|devaluate| |#1|) . #0=(|AbelianSemiGroup&|))
         (LETT |dv$| (LIST '|AbelianSemiGroup&| |dv$1|) . #0#)
-        (LETT $ (GETREFV 11) . #0#)
-        (QSETREFV $ 0 |dv$|)
-        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
+        (LETT $ (|newShell| 11) . #0#)
+        (|setShellEntry| $ 0 |dv$|)
+        (|setShellEntry| $ 3
+            (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
         (|stuffDomainSlots| $)
-        (QSETREFV $ 6 |#1|)
+        (|setShellEntry| $ 6 |#1|)
         (COND
           ((|HasCategory| |#1| '(|Ring|)))
           ('T
-           (QSETREFV $ 10
+           (|setShellEntry| $ 10
                (CONS (|dispatchFunction| |ABELSG-;*;Pi2S;1|) $))))
         $)))) 
 
@@ -33,3 +34,20 @@
                                 '(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|)))) 
-- 
cgit v1.2.3