view semiDefIneq.m @ 993:44e7e497c3b7 feature/timesteppers

Make time.rk.General accept a butcher tableau instead of a string to choose method. String variant implemented as a static method
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 09 Jan 2019 11:14:16 +0100
parents eaf557023fbe
children
line wrap: on
line source

function ineq = semiDefIneq(A, verbose)
    default_arg('verbose', true);
    [m, sub] = minors(A, verbose);

    ineqsys = true;
    for i = 1:length(m)
        ineqsys = ineqsys & m(i) >= 0;
    end

    ineq = simplify(ineqsys);

    str = toString(ineq);
    fprintf('%s\n',strjoin(strsplit(str,' & '), '\n'));
end