[om] inaccuracy in quant1.ocd

Bill Naylor Bill.Naylor at mcs.vuw.ac.nz
Wed Nov 26 06:29:22 CET 2003

In the cd quant1, there is a statement, which is a little suspect; it

"An example to represents the statement for all x | |sin(x)| <= 1 "

followed by the corresponding OpenMath.

I believe that this statement is not true if you are willing to allow x to
be complex, which is certainly feasable. A much better statement would be
something like:

"An example to represents the statement
for all x | x in the reals => |sin(x)| <= 1"


om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list