Assume database: work on a function learn-numer



> Any suggestions or comments?

First of all, thank you for your work :-)

I was wondering if your new code makes trigonometric functions aware
of the facts in the database. For example, if an angle is assumed to
be between -%pi/4 and %pi/4, "is" knows that cos is >0?

Stefano