Nicolas Alvarez wrote:

> Will it solve simple stuff like "x + 1 = 3" in version 1.5? :)
> 
> (or does it already...?)

Actually... if you encode "numbers" as lists of 1s of the appropriate 
length, then the @Join[] function essentially implements addition and 
subtraction! o_O

@Join[{1, 1}, {1, 1}, z]
z <- {1, 1, 1, 1}

@Join[{1, 1, 1}, y, {1, 1, 1, 1, 1}]
y <- {1, 1}

etc.

Obviously this isn't an especially intuitive or efficient way to work, 
but hey - Peano integers FTW! :-D

-- 
http://blog.orphi.me.uk/
http://www.zazzle.com/MathematicalOrchid*

Post a reply to this message