From c42526006076b88ff2755f33eb1defd2e455e67e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 1 Mar 2009 05:22:19 +0000
Subject: 	Optimization should not change slot numbers.

---
 src/algebra/strap/UFD-.lsp | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to 'src/algebra/strap/UFD-.lsp')

diff --git a/src/algebra/strap/UFD-.lsp b/src/algebra/strap/UFD-.lsp
index dee1d804..786f9f7f 100644
--- a/src/algebra/strap/UFD-.lsp
+++ b/src/algebra/strap/UFD-.lsp
@@ -60,7 +60,7 @@
         (LETT |dv$1| (|devaluate| |#1|)
               . #0=(|UniqueFactorizationDomain&|))
         (LETT |dv$| (LIST '|UniqueFactorizationDomain&| |dv$1|) . #0#)
-        (LETT $ (|newShell| 25) . #0#)
+        (LETT $ (|newShell| 29) . #0#)
         (|setShellEntry| $ 0 |dv$|)
         (|setShellEntry| $ 3
             (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
@@ -76,14 +76,16 @@
              |UFD-;squareFreePart;2S;1| (25 . |factor|)
              (|Union| '"nil" '"sqfr" '"irred" '"prime")
              (|Record| (|:| |flg| 19) (|:| |fctr| 6) (|:| |xpnt| 11))
-             (|List| 20) (30 . |factorList|) (|Boolean|)
+             (|List| 20) (30 . |factorList|) (|NonNegativeInteger|)
+             (35 . |#|) (40 . |One|) (|Boolean|) (44 . =)
              |UFD-;prime?;SB;2|)
-          '#(|squareFreePart| 35 |prime?| 40) 'NIL
+          '#(|squareFreePart| 50 |prime?| 55) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
-                            (|makeByteWordVec2| 24
+                            (|makeByteWordVec2| 28
                                 '(1 6 7 0 8 1 9 6 0 10 1 9 13 0 14 2 6
                                   0 0 0 15 0 6 0 16 1 6 7 0 18 1 9 21 0
-                                  22 1 0 0 0 17 1 0 23 0 24)))))
+                                  22 1 21 23 0 24 0 23 0 25 2 23 26 0 0
+                                  27 1 0 0 0 17 1 0 26 0 28)))))
           '|lookupComplete|)) 
-- 
cgit v1.2.3