On Wed, May 27, 2009 at 2:20 PM, Dan Bron <[email protected]> wrote: > Now, a symbolic test is a different story. The symbol "pi" or a formula like > 4*-/%1+2*i._ are distinguishable from values like > 1p1. The question of whether it is possible to determine if a formula > results in irrational number, I'll leave to the > mathematicians. John Randall might know.
Iirc there are even real numbers generated by very simple formulas (like (^1)-(o.1) or similar) where mathematicians can not currently prove if the value is irrational. Ambrus ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
