I think I discovered a case where bool() of a symbolic expression returns
false while it is true :
bool(sqrt(-4*x+4)==sqrt(-x+1)*2)
>>false
I think the problem is that sage can't manage to simplify sqrt(-4*x+4)
in sqrt(-x+1)*2
sqrt(-4*x+4).full_simplify()
>>sqrt(-4*x+4)
P.S. : I tried with th
Sage consider 1D symbolic expression as "sage symbolic expression" but in
higher dimension it considers it as a bool.
%var x,y
ex = [[x^2+y],[y]] == [[0],[1]]
type(ex)
gives
while
ex = x^2+y == 0
type(ex)
gives of course
Wouldn't it be useful to be able to create sage symbolic expressio
