view assertSymbolic.m @ 954:e8d356b8bc25 feature/utux2D

Close branch feature/utux2D
author Jonatan Werpers <jonatan.werpers@it.uu.se>
date Mon, 10 Dec 2018 08:29:41 +0000
parents e32c861141aa
children
line wrap: on
line source

function assertSymbolic(s)
    assert(logical(simplify(s)));
end