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 | |
parent | 7eabcc6358795f6a44b3771cb0cb1b659a5d08f3 (diff) | |
download | open-axiom-29325dbb1fed9b472690b8541ef038f138070aea.tar.gz |
* algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)
[leftReducedSystem]: Rename from reducedSystem.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/catdef.spad.pamphlet | 6 | ||||
-rw-r--r-- | src/algebra/strap/INT.lsp | 56 | ||||
-rw-r--r-- | src/algebra/strap/POLYCAT-.lsp | 17 | ||||
-rw-r--r-- | src/algebra/strap/QFCAT-.lsp | 8 | ||||
-rw-r--r-- | src/algebra/strap/SINT.lsp | 60 |
5 files changed, 74 insertions, 73 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index aa972025..4b0eb27e 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -1096,12 +1096,12 @@ LeftModule(R:Rng):Category == Join(AbelianGroup, LeftLinearSet R) ++ Description: ++ An extension of left-module with an explicit linear dependence test. LinearlyExplicitRingOver(R:Ring): Category == LeftModule R with - reducedSystem: Vector % -> Matrix R - ++ \spad{reducedSystem [v1,...,vn]} returns a matrix \spad{M} + leftReducedSystem: Vector % -> Matrix R + ++ \spad{leftReducedSystem [v1,...,vn]} returns a matrix \spad{M} ++ with coefficients in \spad{R} such that the system of equations ++ \spad{c1*v1 + ... + cn*vn = 0$%} has the same solution as ++ \spad{c * M = 0} where \spad{c} is the row vector \spad{[c1,...cn]}. - reducedSystem: (Vector %,%) -> Record(mat: Matrix R,vec: Vector R) + leftReducedSystem: (Vector %,%) -> Record(mat: Matrix R,vec: Vector R) ++ \spad{reducedSystem([v1,...,vn],u)} returns a matrix \spad{M} ++ with coefficients in \spad{R} and a vector \spad{w} such ++ that the system of equations \spad{c1*v1 + ... + cn*vn = u} diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index 0c4f5705..2bd30e1b 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -587,22 +587,22 @@ |submod| 205 |squareFreePart| 212 |squareFree| 217 |sizeLess?| 222 |sign| 228 |shift| 233 |sample| 239 |retractIfCan| 243 |retract| 248 |rem| 253 |reducedSystem| - 259 |recip| 281 |rationalIfCan| 286 |rational?| 291 - |rational| 296 |random| 301 |quo| 310 |principalIdeal| 316 - |prime?| 321 |powmod| 326 |positiveRemainder| 333 - |positive?| 339 |permutation| 344 |patternMatch| 350 - |one?| 357 |odd?| 362 |nextItem| 367 |negative?| 372 - |multiEuclidean| 377 |mulmod| 383 |min| 390 |max| 396 - |mask| 402 |length| 407 |lcm| 412 |latex| 423 |invmod| 428 - |init| 434 |inc| 438 |hash| 443 |gcdPolynomial| 448 |gcd| - 454 |factorial| 465 |factor| 470 |extendedEuclidean| 475 - |exquo| 488 |expressIdealMember| 494 |even?| 500 - |euclideanSize| 505 |divide| 510 |differentiate| 516 |dec| - 527 |copy| 532 |convert| 537 |coerce| 567 |characteristic| - 587 |bit?| 591 |binomial| 597 |before?| 603 |base| 609 - |associates?| 613 |addmod| 619 |abs| 626 |Zero| 631 |One| - 635 |OMwrite| 639 D 663 >= 674 > 680 = 686 <= 692 < 698 - - 704 + 715 ** 721 * 733) + 259 |recip| 270 |rationalIfCan| 275 |rational?| 280 + |rational| 285 |random| 290 |quo| 299 |principalIdeal| 305 + |prime?| 310 |powmod| 315 |positiveRemainder| 322 + |positive?| 328 |permutation| 333 |patternMatch| 339 + |one?| 346 |odd?| 351 |nextItem| 356 |negative?| 361 + |multiEuclidean| 366 |mulmod| 372 |min| 379 |max| 385 + |mask| 391 |length| 396 |leftReducedSystem| 401 |lcm| 412 + |latex| 423 |invmod| 428 |init| 434 |inc| 438 |hash| 443 + |gcdPolynomial| 448 |gcd| 454 |factorial| 465 |factor| 470 + |extendedEuclidean| 475 |exquo| 488 |expressIdealMember| + 494 |even?| 500 |euclideanSize| 505 |divide| 510 + |differentiate| 516 |dec| 527 |copy| 532 |convert| 537 + |coerce| 567 |characteristic| 587 |bit?| 591 |binomial| + 597 |before?| 603 |base| 609 |associates?| 613 |addmod| + 619 |abs| 626 |Zero| 631 |One| 635 |OMwrite| 639 D 663 >= + 674 > 680 = 686 <= 692 < 698 - 704 + 715 ** 721 * 733) '((|infinite| . 0) (|noetherian| . 0) (|canonicalsClosed| . 0) (|canonical| . 0) (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0) @@ -684,18 +684,18 @@ 9 0 1 2 0 0 0 0 1 2 0 92 0 0 1 3 0 0 0 0 0 52 1 0 0 0 1 1 0 113 0 1 2 0 9 0 0 1 1 0 17 0 1 2 0 0 0 0 91 0 0 0 1 - 1 0 133 0 1 1 0 17 0 1 2 0 0 0 0 53 2 - 0 74 75 0 1 1 0 70 75 1 1 0 70 71 72 - 2 0 74 71 75 76 1 0 92 0 93 1 0 130 0 - 1 1 0 9 0 1 1 0 129 0 1 0 0 0 78 1 0 - 0 0 79 2 0 0 0 0 90 1 0 135 134 1 1 0 - 9 0 1 3 0 0 0 0 0 1 2 0 0 0 0 69 1 0 - 9 0 1 2 0 0 0 0 1 3 0 132 0 131 132 1 - 1 0 9 0 34 1 0 9 0 85 1 0 92 0 1 1 0 - 9 0 43 2 0 136 134 0 1 3 0 0 0 0 0 54 - 2 0 0 0 0 87 2 0 0 0 0 86 1 0 0 0 1 1 - 0 0 0 49 2 0 0 0 0 1 1 0 0 134 1 1 0 - 14 0 68 2 0 0 0 0 1 0 0 0 1 1 0 0 0 + 1 0 133 0 1 1 0 17 0 1 2 0 0 0 0 53 1 + 0 70 71 72 2 0 74 71 75 76 1 0 92 0 + 93 1 0 130 0 1 1 0 9 0 1 1 0 129 0 1 + 0 0 0 78 1 0 0 0 79 2 0 0 0 0 90 1 0 + 135 134 1 1 0 9 0 1 3 0 0 0 0 0 1 2 0 + 0 0 0 69 1 0 9 0 1 2 0 0 0 0 1 3 0 + 132 0 131 132 1 1 0 9 0 34 1 0 9 0 85 + 1 0 92 0 1 1 0 9 0 43 2 0 136 134 0 1 + 3 0 0 0 0 0 54 2 0 0 0 0 87 2 0 0 0 0 + 86 1 0 0 0 1 1 0 0 0 49 2 0 74 75 0 1 + 1 0 70 75 1 2 0 0 0 0 1 1 0 0 134 1 1 + 0 14 0 68 2 0 0 0 0 1 0 0 0 1 1 0 0 0 38 1 0 41 0 42 2 0 127 127 127 128 2 0 0 0 0 94 1 0 0 134 1 1 0 0 0 1 1 0 113 0 114 2 0 137 0 0 1 3 0 139 0 0 0 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|)) 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|)) diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 82ab1e35..32a69f40 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -600,24 +600,24 @@ |subtractIfCan| 121 |submod| 127 |squareFreePart| 134 |squareFree| 139 |sizeLess?| 144 |size| 150 |sign| 154 |shift| 159 |sample| 165 |retractIfCan| 169 |retract| 174 - |rem| 179 |reducedSystem| 185 |recip| 207 |rationalIfCan| - 212 |rational?| 217 |rational| 222 |random| 227 |quo| 236 - |principalIdeal| 242 |prime?| 247 |powmod| 252 - |positiveRemainder| 259 |positive?| 265 |permutation| 270 - |patternMatch| 276 |or| 283 |one?| 289 |odd?| 294 |not| - 299 |nextItem| 304 |negative?| 309 |multiEuclidean| 314 - |mulmod| 320 |min| 327 |max| 337 |mask| 347 |lookup| 352 - |length| 357 |lcm| 362 |latex| 373 |invmod| 378 |init| 384 - |index| 388 |inc| 393 |hash| 398 |gcdPolynomial| 403 |gcd| - 409 |factorial| 420 |factor| 425 |extendedEuclidean| 430 - |exquo| 443 |expressIdealMember| 449 |even?| 455 - |euclideanSize| 460 |divide| 465 |differentiate| 471 |dec| - 482 |copy| 487 |convert| 492 |coerce| 517 |characteristic| - 537 |bit?| 541 |binomial| 547 |before?| 553 |base| 559 - |associates?| 563 |and| 569 |addmod| 575 |abs| 582 |\\/| - 587 |Zero| 593 |Or| 597 |One| 603 |OMwrite| 607 |Not| 631 - D 636 |And| 647 >= 653 > 659 = 665 <= 671 < 677 |/\\| 683 - - 689 + 700 ** 706 * 718) + |rem| 179 |reducedSystem| 185 |recip| 196 |rationalIfCan| + 201 |rational?| 206 |rational| 211 |random| 216 |quo| 225 + |principalIdeal| 231 |prime?| 236 |powmod| 241 + |positiveRemainder| 248 |positive?| 254 |permutation| 259 + |patternMatch| 265 |or| 272 |one?| 278 |odd?| 283 |not| + 288 |nextItem| 293 |negative?| 298 |multiEuclidean| 303 + |mulmod| 309 |min| 316 |max| 326 |mask| 336 |lookup| 341 + |length| 346 |leftReducedSystem| 351 |lcm| 362 |latex| 373 + |invmod| 378 |init| 384 |index| 388 |inc| 393 |hash| 398 + |gcdPolynomial| 403 |gcd| 409 |factorial| 420 |factor| 425 + |extendedEuclidean| 430 |exquo| 443 |expressIdealMember| + 449 |even?| 455 |euclideanSize| 460 |divide| 465 + |differentiate| 471 |dec| 482 |copy| 487 |convert| 492 + |coerce| 517 |characteristic| 537 |bit?| 541 |binomial| + 547 |before?| 553 |base| 559 |associates?| 563 |and| 569 + |addmod| 575 |abs| 582 |\\/| 587 |Zero| 593 |Or| 597 |One| + 603 |OMwrite| 607 |Not| 631 D 636 |And| 647 >= 653 > 659 = + 665 <= 671 < 677 |/\\| 683 - 689 + 700 ** 706 * 718) '((|noetherian| . 0) (|canonicalsClosed| . 0) (|canonical| . 0) (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0) (|noZeroDivisors| . 0) @@ -691,18 +691,18 @@ 0 0 0 0 0 81 1 0 0 0 1 1 0 114 0 1 2 0 9 0 0 1 0 0 61 83 1 0 5 0 1 2 0 0 0 0 78 0 0 0 1 1 0 107 0 1 1 0 5 0 1 2 - 0 0 0 0 64 1 0 30 91 1 1 0 30 31 32 2 - 0 90 91 0 1 2 0 90 31 91 92 1 0 101 0 - 1 1 0 100 0 1 1 0 9 0 1 1 0 99 0 1 0 - 0 0 95 1 0 0 0 96 2 0 0 0 0 63 1 0 - 110 108 1 1 0 9 0 1 3 0 0 0 0 0 1 2 0 - 0 0 0 93 1 0 9 0 1 2 0 0 0 0 1 3 0 - 104 0 105 104 1 2 0 0 0 0 52 1 0 9 0 - 72 1 0 9 0 69 1 0 0 0 45 1 0 101 0 1 - 1 0 9 0 82 2 0 109 108 0 1 3 0 0 0 0 - 0 79 0 0 0 42 2 0 0 0 0 74 0 0 0 41 2 - 0 0 0 0 73 1 0 0 0 1 1 0 84 0 88 1 0 - 0 0 77 1 0 0 108 1 2 0 0 0 0 1 1 0 14 + 0 0 0 0 64 1 0 30 31 32 2 0 90 31 91 + 92 1 0 101 0 1 1 0 100 0 1 1 0 9 0 1 + 1 0 99 0 1 0 0 0 95 1 0 0 0 96 2 0 0 + 0 0 63 1 0 110 108 1 1 0 9 0 1 3 0 0 + 0 0 0 1 2 0 0 0 0 93 1 0 9 0 1 2 0 0 + 0 0 1 3 0 104 0 105 104 1 2 0 0 0 0 + 52 1 0 9 0 72 1 0 9 0 69 1 0 0 0 45 1 + 0 101 0 1 1 0 9 0 82 2 0 109 108 0 1 + 3 0 0 0 0 0 79 0 0 0 42 2 0 0 0 0 74 + 0 0 0 41 2 0 0 0 0 73 1 0 0 0 1 1 0 + 84 0 88 1 0 0 0 77 1 0 30 91 1 2 0 90 + 91 0 1 1 0 0 108 1 2 0 0 0 0 1 1 0 14 0 1 2 0 0 0 0 1 0 0 0 1 1 0 0 84 87 1 0 0 0 57 1 0 75 0 76 2 0 115 115 115 1 1 0 0 108 1 2 0 0 0 0 67 1 0 0 0 1 |