Re: Motion 8 and sqrt
Ian McIntosh wrote:
The way I'd suggest you propagate decorations for a unary operation like
sqrt is to set the result decorations field to the input decorations, then
change the individual decorations as needed. For most operations the
result cannot be defined unless the input was, so if the input
deco:defined is -1 the result deco:defined needs to be too. If the input
deco:defined is 1 then the result deco:defined will be what you show. If
the input deco:defined is 0 (unknown) then I think the result deco:defined
must also be unknown.
If the input is undefined or might be undefined, then you can't be sure
that the result is bounded even if its value appears to be. I think you
can still be sure it's unbounded if one bound is -oo or +oo.
No. The infinity might have come from overflow. So one needs to inspect
the corresponding decoration....
Arnold Neumaier