On Wed, Jul 9, 2008 at 12:22 AM, Bill Page <[EMAIL PROTECTED]> wrote:
> The multiplication of a Float and some unknown symbolic value must
> produce a symbolic expression of some kind. If we know that the
> currently unknown symbolic value can only take values from Float,
> then we can deduce from knowledge of multiplication in Float that
> the value of the symbolic expression representing the multiplication
> of a Float with this unknown symbolic value must also only take
> values from Float.
This is a fundamental observation. The way I read
x: Float
x + 1
is hat the declaration x:Float asserts that x can only take Float values,
when it has a value.
-- Gaby
-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
