diff options
Diffstat (limited to 'src/algebra/nlinsol.spad.pamphlet')
| -rw-r--r-- | src/algebra/nlinsol.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/nlinsol.spad.pamphlet b/src/algebra/nlinsol.spad.pamphlet index c69d5633..21147fb8 100644 --- a/src/algebra/nlinsol.spad.pamphlet +++ b/src/algebra/nlinsol.spad.pamphlet @@ -147,8 +147,7 @@ NonLinearSolvePackage(R:IntegralDomain): Exports == Implementation where else lsubs := concat(eq, lsubs) else if ((u := retractIfCan(lhs eq)@Union(P, "failed")) case P) and --- one?(# variables(u::P)) and ((r := RIfCan rhs eq) case R) then - ((# variables(u::P)) = 1) and ((r := RIfCan rhs eq) case R) then + one?(# variables(u::P)) and ((r := RIfCan rhs eq) case R) then luniv := concat(u::P - r::R::P, luniv) else return [l] empty? luniv => [l] |