From 82929c32be58e92dccd449f8a874dc1419980f50 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 14 Jun 2010 15:46:03 +0000 Subject: * 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. --- src/algebra/lindep.spad.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/lindep.spad.pamphlet') 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 -- cgit v1.2.3