Open jackmaney opened 9 years ago
Oh boy...
Hi guys,thank you for using Hilbert.
You need to execute "postulate zfc_analysis" if you wanna do real analysis.
Enjoy! -> postulate zfc_analysis
success! :)
Enjoy! -> d/dx ( sin(x) )^2 + ( cos(x) )^2
( ( 2cos( x ) )sin( x ) ) + ( ( sin( x ) - 2 )cos( x ) )
Enjoy! ->
This is completely incorrect. The answer produced above simplifies to 3*sin(x)*cos(x) - 2*cos(x)
, which is clearly not the correct answer (namely zero).
@jackmaney thank you for reporting. your thought is totally correct. I need to find solution to the root of the problem.