since sqrt of number is taken as the positive root, why
then Maple 2021.1 says it can't show this is true or not? Is
there something deep I am overlooking here?
if evalb( 5^(1/2) < (5^(1/2)+1) ) then
"yes, smaller";
fi;
Error, cannot determine if this expression is true or false: 5^(1/2) < 5^(1/2)+1
if 5^(1/2) < (5^(1/2)+1) then
"yes, smaller";
fi;
Error, cannot determine if this expression is true or false: 5^(1/2) < 5^(1/2)+1
But in Mathematica it did not complain
5^(1/2) < (5^(1/2) + 1)
True
This is very strange. Does your CAS have any problem showing
that 5^(1/2) is smaller than 5^(1/2)+1?
In Maple, it can do it if I convert everything to float
if evalf(5^(1/2)) < evalf((5^(1/2)+1)) then
"yes, smaller";
fi;
"yes, smaller"
--Nasser
evalb( 5^(1/2) < (5^(1/2)+1) );1/2 1/2
is( 5^(1/2) < (5^(1/2)+1) );true
On Saturday, October 30, 2021 at 3:03:32 AM UTC-4, Nasser M. Abbasi wrote:
since sqrt of number is taken as the positive root, why
then Maple 2021.1 says it can't show this is true or not? Is
there something deep I am overlooking here?
if evalb( 5^(1/2) < (5^(1/2)+1) ) then
"yes, smaller";
fi;
Error, cannot determine if this expression is true or false: 5^(1/2) < 5^(1/2)+1
if 5^(1/2) < (5^(1/2)+1) then
"yes, smaller";
fi;
Error, cannot determine if this expression is true or false: 5^(1/2) < 5^(1/2)+1
But in Mathematica it did not complain
5^(1/2) < (5^(1/2) + 1)
True
This is very strange. Does your CAS have any problem showing
that 5^(1/2) is smaller than 5^(1/2)+1?
In Maple, it can do it if I convert everything to float
if evalf(5^(1/2)) < evalf((5^(1/2)+1)) then
"yes, smaller";
fi;
"yes, smaller"
--NasserYou are simply using the wrong command, `evalb`, instead of an appropriate command such as `is`.
evalb( 5^(1/2) < (5^(1/2)+1) );1/2 1/2
5 < 5 + 1
is( 5^(1/2) < (5^(1/2)+1) );true
Your incorrect preconceptions as to the designed functionality of the `evalb` command are getting in your way here.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 112 |
Nodes: | 8 (1 / 7) |
Uptime: | 203:03:25 |
Calls: | 2,465 |
Files: | 8,603 |
Messages: | 1,877,764 |