Mercurial > repos > public > sbplib
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 |
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 |