Mercurial > repos > public > sbplib

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 eaf557023fbe
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
234
eaf557023fbe Added verbose flag to semiDefIneq and minors.
Jonatan Werpers <jonatan@werpers.com>
parents: 129
diff changeset
1 function ineq = semiDefIneq(A, verbose)
eaf557023fbe Added verbose flag to semiDefIneq and minors.
Jonatan Werpers <jonatan@werpers.com>
parents: 129
diff changeset
2 default_arg('verbose', true);
eaf557023fbe Added verbose flag to semiDefIneq and minors.
Jonatan Werpers <jonatan@werpers.com>
parents: 129
diff changeset
3 [m, sub] = minors(A, verbose);
129
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
4
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
5 ineqsys = true;
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
6 for i = 1:length(m)
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
7 ineqsys = ineqsys & m(i) >= 0;
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
8 end
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
9
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
10 ineq = simplify(ineqsys);
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
11
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
12 str = toString(ineq);
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
13 fprintf('%s\n',strjoin(strsplit(str,' & '), '\n'));
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
14 end