Editing Interval package
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 219: | Line 219: | ||
if (not (isa (y, "infsupdec"))) | if (not (isa (y, "infsupdec"))) | ||
y = infsupdec (y); | y = infsupdec (y); | ||
endif | |||
* Methods of class <code>infsupdec</code> as well as methods of class <code>infsup</code> that are not overridden by <code>infsupdec</code> must check parameters using the <code>isnai</code> function and return the NAI value if it is present. This will propagate NAI values through any function evaluations. | |||
if (isnai (x)) | |||
result = x; | |||
return | |||
endif | endif | ||