diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-27 12:31:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-27 12:31:29 +0000 |
| commit | 29325dbb1fed9b472690b8541ef038f138070aea (patch) | |
| tree | 0fe97419a121dfb5517a6caaf2767944d5e82b87 /src/algebra/strap/QFCAT-.lsp | |
| parent | 7eabcc6358795f6a44b3771cb0cb1b659a5d08f3 (diff) | |
| download | open-axiom-29325dbb1fed9b472690b8541ef038f138070aea.tar.gz | |
* algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)
[leftReducedSystem]: Rename from reducedSystem.
Diffstat (limited to 'src/algebra/strap/QFCAT-.lsp')
| -rw-r--r-- | src/algebra/strap/QFCAT-.lsp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/strap/QFCAT-.lsp b/src/algebra/strap/QFCAT-.lsp index b52baeae..15cc7091 100644 --- a/src/algebra/strap/QFCAT-.lsp +++ b/src/algebra/strap/QFCAT-.lsp @@ -473,12 +473,12 @@ 23 67 0 107 2 67 0 0 0 108 1 23 67 0 109 5 23 0 0 67 67 67 67 110 2 23 111 0 67 112 1 0 94 0 96 1 0 64 0 66 1 0 - 67 0 93 1 0 56 0 61 2 0 113 27 114 - 115 1 0 23 27 28 0 0 0 99 3 0 75 0 68 - 75 76 3 0 84 0 77 84 85 1 0 0 0 10 1 + 67 0 93 1 0 56 0 61 1 0 23 27 28 2 0 + 113 27 114 115 0 0 0 99 3 0 84 0 77 + 84 85 3 0 75 0 68 75 76 1 0 0 0 10 1 0 17 0 20 2 0 0 21 0 22 0 0 0 16 1 0 0 0 55 2 0 0 0 21 36 1 0 0 0 12 1 0 - 45 0 48 1 0 41 0 44 1 0 37 0 40 1 0 + 41 0 44 1 0 45 0 48 1 0 37 0 40 1 0 77 0 80 1 0 68 0 71 1 0 0 56 58 1 0 0 86 91 0 0 29 31 2 0 49 0 0 51))))) '|lookupComplete|)) |