Mercurial > repos > public > sbplib

annotate semiDefIneq.m @ 289:354e40a8e1a5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merged in feature/textTable (pull request #3) Feature/texttable
author Martin Almquist <martin.almquist@it.uu.se>
date Mon, 12 Sep 2016 15:18:25 +0200
parents 0a881a3dc9a9
children eaf557023fbe
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
129
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 function ineq = semiDefIneq(A)
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
2 [m, sub] = minors(A);
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
3
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
4 ineqsys = true;
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
5 for i = 1:length(m)
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
6 ineqsys = ineqsys & m(i) >= 0;
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
7 end
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
8
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
9 ineq = simplify(ineqsys);
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
10
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
11 str = toString(ineq);
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
12 fprintf('%s\n',strjoin(strsplit(str,' & '), '\n'));
0a881a3dc9a9 Cleaned up the code for minors.
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
13 end