diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-14 15:46:03 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-14 15:46:03 +0000 |
| commit | 82929c32be58e92dccd449f8a874dc1419980f50 (patch) | |
| tree | 727f016cd1ff5a76b30a0e4c2830fabf8224a541 /src/algebra/si.spad.pamphlet | |
| parent | 5f7a5c1a81c50807bf1315260f94108dd9a5ac2e (diff) | |
| download | open-axiom-82929c32be58e92dccd449f8a874dc1419980f50.tar.gz | |
* algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver): Now
extends LeftModule R.
[reducedSystem: Vector % -> Matrix R]: New overload.
* algebra/lindep.spad.pamphlet (LinearDependence): Additionally
require Ring on the second parameter.
(IntegerLinearDependence): Add similar requirement on the parameter.
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
| -rw-r--r-- | src/algebra/si.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet index 2321b60d..e9e5637c 100644 --- a/src/algebra/si.spad.pamphlet +++ b/src/algebra/si.spad.pamphlet @@ -262,7 +262,7 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,BooleanLogic,Logic,OpenM if wholeObj then OMputEndObject(dev) - reducedSystem m == m pretend Matrix(Integer) + reducedSystem(m: Matrix %) == m pretend Matrix(Integer) coerce(x):OutputForm == rep(x)::OutputForm convert(x:%):Integer == rep x i:Integer * y:% == i::% * y |