Mercurial > repos > public > sbplib

annotate semiDefIneq.m @ 1330:855871e0b852 feature/D2_boundary_opt

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add size checks to the operators
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Thu, 17 Feb 2022 18:55:11 +0100
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