summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
725fa01)
There is no need to overflow integers in (x^
2147483648).has(x^2).
return basic::has(other, options);
if (exponent.info(info_flags::posint)
&& other.op(1).info(info_flags::posint)
return basic::has(other, options);
if (exponent.info(info_flags::posint)
&& other.op(1).info(info_flags::posint)
- && ex_to<numeric>(exponent).to_int()
- > ex_to<numeric>(other.op(1)).to_int()
+ && ex_to<numeric>(exponent) > ex_to<numeric>(other.op(1))
&& basis.match(other.op(0)))
return true;
if (exponent.info(info_flags::negint)
&& other.op(1).info(info_flags::negint)
&& basis.match(other.op(0)))
return true;
if (exponent.info(info_flags::negint)
&& other.op(1).info(info_flags::negint)
- && ex_to<numeric>(exponent).to_int()
- < ex_to<numeric>(other.op(1)).to_int()
+ && ex_to<numeric>(exponent) < ex_to<numeric>(other.op(1))
&& basis.match(other.op(0)))
return true;
return basic::has(other, options);
&& basis.match(other.op(0)))
return true;
return basic::has(other, options);