diff options
Diffstat (limited to 'src/algebra/groebsol.spad.pamphlet')
| -rw-r--r-- | src/algebra/groebsol.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/groebsol.spad.pamphlet b/src/algebra/groebsol.spad.pamphlet index a25c60d5..b689d991 100644 --- a/src/algebra/groebsol.spad.pamphlet +++ b/src/algebra/groebsol.spad.pamphlet @@ -137,7 +137,7 @@ GroebnerSolve(lv,F,R) : C == T findCompon(leq:L HDPoly,lvar:L OV):L L DPoly == teq:=totolex(leq) #teq = #lvar => [teq] - -- ^((teq1:=testGenPos(teq,lvar)) case "failed") => [teq1::L DPoly] + -- not ((teq1:=testGenPos(teq,lvar)) case "failed") => [teq1::L DPoly] gp:=genPos(teq,lvar) lgp:= gp.polys g:HDPoly:=gp.univp @@ -175,7 +175,7 @@ GroebnerSolve(lv,F,R) : C == T lnp:=[dmpToHdmp(f) for f in leq] leq1:=groebner lnp #(leq1) = 1 and first(leq1) = 1 => list empty() - ^(zeroDim?(leq1,lvar)) => + not (zeroDim?(leq1,lvar)) => error "system does not have a finite number of solutions" -- add computation of dimension, for a more useful error basis:=computeBasis(leq1) @@ -200,7 +200,7 @@ GroebnerSolve(lv,F,R) : C == T testDim(leq : L HDPoly,lvar : L OV) : Union(L HDPoly,"failed") == leq1:=groebner leq #(leq1) = 1 and first(leq1) = 1 => empty() - ^(zeroDim?(leq1,lvar)) => "failed" + not (zeroDim?(leq1,lvar)) => "failed" leq1 @ |