diff options
Diffstat (limited to 'src/algebra/defintrf.spad.pamphlet')
| -rw-r--r-- | src/algebra/defintrf.spad.pamphlet | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/algebra/defintrf.spad.pamphlet b/src/algebra/defintrf.spad.pamphlet index dc594733..dcd67691 100644 --- a/src/algebra/defintrf.spad.pamphlet +++ b/src/algebra/defintrf.spad.pamphlet @@ -203,12 +203,10 @@ DefiniteIntegrationTools(R, F): Exports == Implementation where if zb? then m := inc m odd?(v := va::Z - vb::Z) => -- p has an odd number of roots incl? or even? m => true --- one? v => false - (v = 1) => false + one? v => false "failed" zero? v => false -- p has no roots --- one? m => true -- p has an even number > 0 of roots - (m = 1) => true -- p has an even number > 0 of roots + one? m => true -- p has an even number > 0 of roots "failed" checkDeriv(p, a, b) == @@ -237,8 +235,7 @@ DefiniteIntegrationTools(R, F): Exports == Implementation where (v := var p) case "failed" => "failed" odd?(v::Z) => -- p has an odd number of positive roots incl0? or not(z0?) => true --- one?(v::Z) => false - (v::Z) = 1 => false + one?(v::Z) => false "failed" zero?(v::Z) => false -- p has no positive roots z0? => true -- p has an even number > 0 of positive roots |