Validation checks to test if a given object is countablyfinite.
Usage
testCountablyFinite(object, errormsg = "This is not a countably finite set")
checkCountablyFinite(object, errormsg = "This is not a countably finite set")
assertCountablyFinite(object, errormsg = "This is not a countably finite set")
Arguments
object
object to test
errormsg
error message to overwrite default if check fails
Value
If check passes then assert returns object invisibly and test/check
return TRUE. If check fails, assert stops code with error, check returns
an error message as string, and test returns FALSE.