diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/pleqn.spad.pamphlet | |
parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/pleqn.spad.pamphlet')
-rw-r--r-- | src/algebra/pleqn.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/pleqn.spad.pamphlet b/src/algebra/pleqn.spad.pamphlet index 8b0569f3..057c9bc3 100644 --- a/src/algebra/pleqn.spad.pamphlet +++ b/src/algebra/pleqn.spad.pamphlet @@ -225,7 +225,7 @@ ParametricLinearEquations(R,Var,Expon,GR): ++ pr2dmp(p) converts p to target domain hasoln: (Fgb, L GR) -> Rec8 ++ hasoln(g, l) tests whether the quasi-algebraic set - ++ defined by p = 0 for p in g and q ^= 0 for q in l + ++ defined by p = 0 for p in g and q ~= 0 for q in l ++ is empty or not and returns a simplified definition ++ of the quasi-algebraic set -- this is now done in QALGSET package @@ -325,7 +325,7 @@ ParametricLinearEquations(R,Var,Expon,GR): w:L GF:=sys.vec p:V GF:=new(n,0) pbas:L V GF:=[] - if k ^= 0 then + if k ~= 0 then augmat:M GF:=zero(k,n+1) for i in rss for i1 in 1.. repeat for j in nss for j1 in 1.. repeat @@ -387,7 +387,7 @@ ParametricLinearEquations(R,Var,Expon,GR): bsolve (coeff, w, h, outname, mode) == r:=nrows coeff -- n:=ncols coeff - r ^= #w => error "number of rows unequal on lhs and rhs" + r ~= #w => error "number of rows unequal on lhs and rhs" newfile:FNAME rksoln:File Rec3 count:I:=0 @@ -613,7 +613,7 @@ ParametricLinearEquations(R,Var,Expon,GR): for nss in nextSublist(n, k) until found repeat matsub := mat(rss, nss) pretend SM(j, GR) detmat := determinant(matsub) - if detmat ^= 0 then + if detmat ~= 0 then found:= (ground? detmat) detmat:=sqfree detmat neweqn:Rec:=construct(detmat,rss,nss) |