diff options
Diffstat (limited to 'src/algebra/lindep.spad.pamphlet')
| -rw-r--r-- | src/algebra/lindep.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/lindep.spad.pamphlet b/src/algebra/lindep.spad.pamphlet index fb52df5c..f8028421 100644 --- a/src/algebra/lindep.spad.pamphlet +++ b/src/algebra/lindep.spad.pamphlet @@ -51,14 +51,12 @@ LinearDependence(S, R): Exports == Implementation where linearlyDependent? v == zero?(n := #v) => true --- one? n => zero?(v(minIndex v)) - (n = 1) => zero?(v(minIndex v)) + one? n => zero?(v(minIndex v)) positive? nullity reducedSystem transpose v linearDependence v == zero?(n := #v) => empty() --- one? n => - (n = 1) => + one? n => zero?(v(minIndex v)) => new(1, 1) "failed" aNonZeroSolution reducedSystem transpose v |