diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-03-01 05:22:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-03-01 05:22:19 +0000 |
| commit | c42526006076b88ff2755f33eb1defd2e455e67e (patch) | |
| tree | 975c82ab94b65bc41169dd0c339700d4a2efc825 /src/algebra/strap/UFD-.lsp | |
| parent | 4311f047fffe6dbc6f58ba4f37f074cc9d155630 (diff) | |
| download | open-axiom-c42526006076b88ff2755f33eb1defd2e455e67e.tar.gz | |
Optimization should not change slot numbers.
Diffstat (limited to 'src/algebra/strap/UFD-.lsp')
| -rw-r--r-- | src/algebra/strap/UFD-.lsp | 12 |
1 files changed, 7 insertions, 5 deletions
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|)) |