detecting lisp overflow



>>>>> "Edwin" == Edwin Woollett <woollett at charter.net> writes:

    Edwin> (%i1) load("singular.lisp");
    Edwin> (%o1) "c:/work2/singular.lisp"
    Edwin> (%i2) singular(exp(x^3),[x,100,1000]);
    Edwin> The value of NN is 1
    Edwin> in singular1, back from adaptive-plot
    Edwin> result = (100.0 #<1.#INF00e+000> 100.24245689655172 #<1.#INF00e+000>
    Edwin>           100.48491379310344 #<1.#INF00e+000> 100.72737068965517
    Edwin>           #<1.#INF00e+000> 100.96982758620689 #<1.#INF00e+000>
    Edwin>           101.21228448275862 #<1.#INF00e+000> 101.45474137931035 .......

    Edwin> Ray has emphasized that the overflow elements are, by design, unreadable.

    Edwin> Hence I see no way to convert those alternate elements into lisp strings.

You don't have to convert to strings, which would be a pretty bad
approach.  Let RESULT be the list that is printed above.  Then you can
do

(float-inf-p (elt result 1))

That should give T since the second element of result is
#<1.#inf00e+000>, which, I guess, is gcl's printed representation of
infinity.

If you want to see that every element of result is finite, then maybe

(every #'(lambda (x) (not (float-inf-p x))) result)

would work.

Ray