From 88431a10d86db0b69fb67339dcacf088d005482b Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 27 Oct 2010 08:36:45 +0000 Subject: * algebra/boolean.spad.pamphlet (Logic): Now extend Type. --- src/algebra/strap/UFD-.lsp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/algebra/strap/UFD-.lsp') 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# -- cgit v1.2.3