[om] Bindings / Sparse Linear Algebra and Distributions / Optimization

[Mika Seppala]

David,

In the example below, you might really want to have

Forall x.  x in R => sin(x) <= 1.  -)

--Mika
-----Original Message-----
From:	David Carlisle [SMTP:davidc at nag.co.uk]
Sent:	Monday, April 17, 2000 6:46 AM
To:	om at openmath.org; leo at iems.nwu.edu
Subject:	Re: [om] Bindings / Sparse Linear Algebra and Distributions / Optimization

:
).


 someone (correctly) pointed out that the
example could be improved. As it currently appears it is the correct
OpenMath expression for

forall x .  sin(x) < 1

but since this is false unless there is some implied context that x is a
real number, the example probably should say

forall x .  x in R => sin(x) < 1

David
--
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

--
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