1 files changed, 24 insertions, 0 deletions
diff --git a/src/algebra/strap/ABELGRP.lsp b/src/algebra/strap/ABELGRP.lsp
new file mode 100644
index 00000000..f667c2d5
--- /dev/null
+++ b/src/algebra/strap/ABELGRP.lsp
@@ -0,0 +1,24 @@
+
+(/VERSIONCHECK 2) 
+
+(DEFPARAMETER |AbelianGroup;AL| 'NIL) 
+
+(DEFUN |AbelianGroup| ()
+  (LET (#:G1388)
+    (COND
+      (|AbelianGroup;AL|)
+      (T (SETQ |AbelianGroup;AL| (|AbelianGroup;|)))))) 
+
+(DEFUN |AbelianGroup;| ()
+  (PROG (#0=#:G1386)
+    (RETURN
+      (PROG1 (LETT #0#
+                   (|Join| (|CancellationAbelianMonoid|)
+                           (|mkCategory| '|domain|
+                               '(((- ($ $)) T) ((- ($ $ $)) T)
+                                 ((* ($ (|Integer|) $)) T))
+                               NIL '((|Integer|)) NIL))
+                   |AbelianGroup|)
+        (SETELT #0# 0 '(|AbelianGroup|)))))) 
+
+(MAKEPROP '|AbelianGroup| 'NILADIC T)