From 29325dbb1fed9b472690b8541ef038f138070aea Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 27 Jun 2010 12:31:29 +0000 Subject: * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver) [leftReducedSystem]: Rename from reducedSystem. --- src/algebra/strap/QFCAT-.lsp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/algebra/strap/QFCAT-.lsp') 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|)) -- cgit v1.2.3