From 84db9d8c5349cb8b3e7e2d102867e53e610d7ef2 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 16 Aug 2008 06:00:35 +0000
Subject: 	* algebra/strap:  New.  Sequester cached Lisp translation of 
 algebra bootstrap domains here.

---
 src/algebra/strap/MONOID.lsp | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 src/algebra/strap/MONOID.lsp

(limited to 'src/algebra/strap/MONOID.lsp')

diff --git a/src/algebra/strap/MONOID.lsp b/src/algebra/strap/MONOID.lsp
new file mode 100644
index 00000000..eecfccc9
--- /dev/null
+++ b/src/algebra/strap/MONOID.lsp
@@ -0,0 +1,28 @@
+
+(/VERSIONCHECK 2) 
+
+(DEFPARAMETER |Monoid;AL| 'NIL) 
+
+(DEFUN |Monoid| ()
+  (LET (#:G1388)
+    (COND (|Monoid;AL|) (T (SETQ |Monoid;AL| (|Monoid;|)))))) 
+
+(DEFUN |Monoid;| ()
+  (PROG (#0=#:G1386)
+    (RETURN
+      (PROG1 (LETT #0#
+                   (|Join| (|SemiGroup|)
+                           (|mkCategory| '|domain|
+                               '(((|One| ($) |constant|) T)
+                                 ((|sample| ($) |constant|) T)
+                                 ((|one?| ((|Boolean|) $)) T)
+                                 ((** ($ $ (|NonNegativeInteger|))) T)
+                                 ((^ ($ $ (|NonNegativeInteger|))) T)
+                                 ((|recip| ((|Union| $ "failed") $)) T))
+                               NIL
+                               '((|NonNegativeInteger|) (|Boolean|))
+                               NIL))
+                   |Monoid|)
+        (SETELT #0# 0 '(|Monoid|)))))) 
+
+(MAKEPROP '|Monoid| 'NILADIC T) 
-- 
cgit v1.2.3