diff options
author | dos-reis <gdr@axiomatics.org> | 2010-10-27 08:36:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-10-27 08:36:45 +0000 |
commit | 88431a10d86db0b69fb67339dcacf088d005482b (patch) | |
tree | 4c513999f071ffe782b50f061b21320936147a88 /src/algebra/strap/UFD-.lsp | |
parent | 388a4332860c39a19fedbe2bdc4dbc8b411115e6 (diff) | |
download | open-axiom-88431a10d86db0b69fb67339dcacf088d005482b.tar.gz |
* algebra/boolean.spad.pamphlet (Logic): Now extend Type.
Diffstat (limited to 'src/algebra/strap/UFD-.lsp')
-rw-r--r-- | src/algebra/strap/UFD-.lsp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/strap/UFD-.lsp b/src/algebra/strap/UFD-.lsp index 741e93a8..8cf15830 100644 --- a/src/algebra/strap/UFD-.lsp +++ b/src/algebra/strap/UFD-.lsp @@ -15,14 +15,14 @@ (LETT |s| (SPADCALL |x| (|getShellEntry| $ 8)) |UFD-;squareFreePart;2S;1|) (|getShellEntry| $ 10)) - (LET ((#0=#:G1405 NIL) (#1=#:G1406 T) - (#2=#:G1419 (SPADCALL |s| (|getShellEntry| $ 14)))) + (LET ((#0=#:G1380 NIL) (#1=#:G1381 T) + (#2=#:G1394 (SPADCALL |s| (|getShellEntry| $ 14)))) (LOOP (COND ((ATOM #2#) (RETURN (COND (#1# (|spadConstant| $ 16)) (T #0#)))) (T (LET ((|f| (CAR #2#))) - (LET ((#3=#:G1404 (CAR |f|))) + (LET ((#3=#:G1379 (CAR |f|))) (COND (#1# (SETQ #0# #3#)) (T (SETQ #0# |