diff options
Diffstat (limited to 'src/algebra/strap/ABELGRP.lsp')
-rw-r--r-- | src/algebra/strap/ABELGRP.lsp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/strap/ABELGRP.lsp b/src/algebra/strap/ABELGRP.lsp index db5ae7cf..61670471 100644 --- a/src/algebra/strap/ABELGRP.lsp +++ b/src/algebra/strap/ABELGRP.lsp @@ -4,8 +4,8 @@ (DEFPARAMETER |AbelianGroup;AL| 'NIL) (DEFUN |AbelianGroup;| () - (LET ((#0=#:G1399 - (|sublisV| (PAIR '(#1=#:G1398) (LIST '(|Integer|))) + (LET ((#0=#:G1374 + (|sublisV| (PAIR '(#1=#:G1373) (LIST '(|Integer|))) (|Join| (|CancellationAbelianMonoid|) (|LeftLinearSet| '#1#) (|mkCategory| '|domain| |