UnittestAux RΒΆ

unittest.spad line 422

UnittestAux is an auxiliary package to Unittest, that performs checking of tests, dealing also with fatal errors.

testAbsolutePrecision: R -> R if R has RealNumberSystem
testAbsolutePrecision(eps) returns the current absolute precision used for floating point comparison, and then sets it to eps. The default value is 1.0e-15.
testComplexEqualsAux: (String, Complex R, Complex R) -> Void if R has RealNumberSystem
testComplexEqualsAux(inp ex1, ex2) states that ex1 and ex2 should be approximately equal as complex numbers, taking into acount testAbsolutePrecision and testRelativePrecision.
testEqualsAux: (String, R, R) -> Void
testEquals(inp, ex1, ex2) states that ex1 and ex2 should be equal. To sidestep the possibility that the equality function of the domain R performs some simplifications, we convert ex1 and ex2 to InputForm, if possible.
testEqualsAuxCmp: (R, R) -> Boolean
testEqualsAuxCmp should be local but is conditional
testLibraryErrorAux: (String, R) -> Void
testLibraryErrorAux(inp, ex) states that ex should throw an error. Such a test will never count as a fatal error.
testNotEqualsAux: (String, R, R) -> Void
testNotEquals(inp, ex1, ex2) states that ex1 and ex2 should be different.
testRealEqualsAux: (String, R, R) -> Void if R has RealNumberSystem
testRealEqualsAux(inp, ex1, ex2) states that ex1 and ex2 should be approximately equal as real numbers, taking into acount testAbsolutePrecision and testRelativePrecision.
testRelativePrecision: R -> R if R has RealNumberSystem
testRelativePrecision(eps) returns the current absolute precision used for floating point comparison, and then sets it to eps. The default value is 1.0e-15.
testTrueAux: (String, R) -> Void
testTrueAux(inp, ex) states that ex should be true.
xftestComplexEqualsAux: (String, Complex R, Complex R) -> Void if R has RealNumberSystem
like testEquals, but expects failure.
xftestEqualsAux: (String, R, R) -> Void
like testEquals, but expects failure.
xftestLibraryErrorAux: (String, R) -> Void
like testEquals, but expects failure.
xftestNotEqualsAux: (String, R, R) -> Void
like testEquals, but expects failure.
xftestRealEqualsAux: (String, R, R) -> Void if R has RealNumberSystem
like testEquals, but expects failure.
xftestTrueAux: (String, R) -> Void
like testEquals, but expects failure.