diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-07 16:23:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-07 16:23:51 +0000 |
| commit | f8913372cea43183d427cbe3d00c4967a840329b (patch) | |
| tree | 0d650b74174ea15413221f1f6448b7870f0ab0c2 /src/algebra/transsolve.spad.pamphlet | |
| parent | 03ca123dfb990c5ea8dde05b6f10902e4a4019b9 (diff) | |
| download | open-axiom-f8913372cea43183d427cbe3d00c4967a840329b.tar.gz | |
* algebra/kl.spad.pamphlet (name$Kernel): Remove.
* algebra/d01weights.spad.pamphlet: Adjust.
* algebra/fs2expxp.spad.pamphlet: Likewise.
* algebra/fs2ups.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/transsolve.spad.pamphlet')
| -rw-r--r-- | src/algebra/transsolve.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/transsolve.spad.pamphlet b/src/algebra/transsolve.spad.pamphlet index 9b96e460..5f0d4d24 100644 --- a/src/algebra/transsolve.spad.pamphlet +++ b/src/algebra/transsolve.spad.pamphlet @@ -313,7 +313,7 @@ TransSolvePackage(R) : Exports == Implementation where if #kernelofexpr = 0 then return false for i in kernelofexpr repeat - if not member?(name(first kernels(i)),testList) or _ + if not member?(name operator (first kernels(i)),testList) or _ not testkernel( (first argument first kernels(i)) ,Z) then return false true @@ -369,7 +369,7 @@ TransSolvePackage(R) : Exports == Implementation where if #kernelofeqnvar = 0 then return false for i in kernelofeqnvar repeat - if member?(name(first kernels(i)),testList) then + if member?(name operator (first kernels(i)),testList) then return true false @@ -387,7 +387,7 @@ TransSolvePackage(R) : Exports == Implementation where if #kernelofeqnvar = 0 then return false for i in kernelofeqnvar repeat - if not member?(name(first kernels(i)),testList) or _ + if not member?(name operator (first kernels(i)),testList) or _ not testkernel( (first argument first kernels(i)) ,Z) then return false true @@ -399,7 +399,7 @@ TransSolvePackage(R) : Exports == Implementation where if #kernelofeqnvar = 0 then return false for i in kernelofeqnvar repeat - if not member?(name(first kernels(i)),testList) or _ + if not member?(name operator (first kernels(i)),testList) or _ not testkernel( (first argument first kernels(i)) ,Z) then return false true @@ -472,7 +472,7 @@ TransSolvePackage(R) : Exports == Implementation where import SystemSolvePackage(RE) ker2Poly(k:Kernel RE, lvar:L S):Polynomial RE == - member?(nm:=name k, lvar) => nm :: Polynomial RE + member?(nm:=name operator k, lvar) => nm :: Polynomial RE k :: RE :: Polynomial RE smp2Poly(pol:SMP(R,Kernel RE), lvar:L S):Polynomial RE == |