annotate assertSymbolic.m @ 1198:2924b3a9b921 feature/d2_compatible

Add OpSet for fully compatible D2Variable, created from regular D2Variable by replacing d1 by first row of D1. Formal reduction by one order of accuracy at the boundary point.
author Martin Almquist <malmquist@stanford.edu>
date Fri, 16 Aug 2019 14:30:28 -0700
parents e32c861141aa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
575
e32c861141aa Add assert function for symbolic bools
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 function assertSymbolic(s)
e32c861141aa Add assert function for symbolic bools
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
2 assert(logical(simplify(s)));
e32c861141aa Add assert function for symbolic bools
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
3 end