aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/lindep.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-06-14 15:46:03 +0000
committerdos-reis <gdr@axiomatics.org>2010-06-14 15:46:03 +0000
commit82929c32be58e92dccd449f8a874dc1419980f50 (patch)
tree727f016cd1ff5a76b30a0e4c2830fabf8224a541 /src/algebra/lindep.spad.pamphlet
parent5f7a5c1a81c50807bf1315260f94108dd9a5ac2e (diff)
downloadopen-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/lindep.spad.pamphlet')
-rw-r--r--src/algebra/lindep.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/lindep.spad.pamphlet b/src/algebra/lindep.spad.pamphlet
index 64c06067..d6a266e0 100644
--- a/src/algebra/lindep.spad.pamphlet
+++ b/src/algebra/lindep.spad.pamphlet
@@ -19,7 +19,7 @@
++ Description: Test for linear dependence.
LinearDependence(S, R): Exports == Implementation where
S: IntegralDomain
- R: LinearlyExplicitRingOver S
+ R: Join(Ring,LinearlyExplicitRingOver S)
Q ==> Fraction S
@@ -90,7 +90,7 @@ LinearDependence(S, R): Exports == Implementation where
++ Date Last Updated: 14 May 1991
++ Description: Test for linear dependence over the integers.
IntegerLinearDependence(R): Exports == Implementation where
- R: LinearlyExplicitRingOver Integer
+ R: Join(Ring,LinearlyExplicitRingOver Integer)
Z ==> Integer