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/POLYCAT-.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/POLYCAT-.lsp')
| -rw-r--r-- | src/algebra/strap/POLYCAT-.lsp | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp index 46d17c73..9426e0ee 100644 --- a/src/algebra/strap/POLYCAT-.lsp +++ b/src/algebra/strap/POLYCAT-.lsp @@ -1458,19 +1458,20 @@ 218 0 236 1 9 225 0 237 1 7 225 0 238 3 241 225 239 240 6 242 1 0 225 0 243 1 9 244 0 245 1 7 244 0 246 3 249 244 - 247 248 6 250 1 0 244 0 251 1 0 45 0 - 88 2 0 45 0 19 93 1 0 0 0 203 1 0 148 + 247 248 6 250 1 0 244 0 251 2 0 45 0 + 19 93 1 0 45 0 88 1 0 0 0 203 1 0 148 0 195 2 0 140 139 58 141 1 0 15 0 74 1 0 9 0 73 3 0 0 0 0 9 95 2 0 129 120 130 131 1 0 110 120 121 2 0 0 0 9 213 - 1 0 0 0 210 1 0 20 0 77 3 0 221 0 218 - 221 222 3 0 228 0 225 228 229 1 0 20 + 1 0 0 0 210 1 0 20 0 77 3 0 228 0 225 + 228 229 3 0 221 0 218 221 222 1 0 20 0 34 3 0 0 0 19 63 71 3 0 190 0 0 9 192 1 0 38 0 52 1 0 38 0 39 1 0 56 0 57 2 0 58 58 58 134 1 0 144 58 147 1 0 144 58 145 1 0 148 0 165 2 0 0 0 23 - 24 2 0 0 0 9 97 1 0 244 0 251 1 0 225 - 0 243 1 0 218 0 236 2 0 0 0 9 205 1 0 - 179 120 184 3 0 0 0 19 63 69 3 0 0 0 - 9 45 62 1 0 172 0 186 2 0 10 0 0 216))))) + 24 2 0 0 0 9 97 1 0 218 0 236 1 0 244 + 0 251 1 0 225 0 243 2 0 0 0 9 205 1 0 + 179 120 184 3 0 0 0 9 45 62 3 0 0 0 + 19 63 69 1 0 172 0 186 2 0 10 0 0 + 216))))) '|lookupComplete|)) |