Advanced Search

Question: Why does this limit work using "assume" but not "assuming"?

Question:Why does this limit work using "assume" but not "assuming"?

zenterix 400 Maple 2022
assuming limit
February 05 2025
2

Why does the code below work when I use a standalone "assume" statement but not "assuming"?

That is, why don't the first two attempts at calculating the limit use the assumption contained in those statements, ie why don't those statements return infinity and not a signum like the last attempt at the limit?

`ω__b` := proc (alpha) options operator, arrow; `ω__0`*sqrt(1+alpha+sqrt(alpha+alpha^2)) end proc

proc (alpha) options operator, arrow; omega__0*sqrt(1+alpha+sqrt(alpha+alpha^2)) end proc

 (1)

`assuming`([limit(`ω__b`(alpha), alpha = infinity)], [`ω__0`::positive]) = signum(omega__0)*infinityNULL

`assuming`([limit(`ω__b`(alpha), alpha = infinity)], [`ω__0` > 0]) = signum(omega__0)*infinityNULL

NULL

assume(`ω__0` > 0)

limit(`ω__b`(alpha), alpha = infinity) = infinityNULL

NULL

Download assuming.mw
Please Wait...