view assertSymbolic.m @ 1147:c322a9454d75 feature/rv

Rename scheme according to conventions
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Sat, 19 Jan 2019 17:22:09 +0100
parents e32c861141aa
children
line wrap: on
line source

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