asuumptions関数の出力表示の簡略化方法について

Question

s 2021-11-23

assumptionsで変数の仮定を出力するとき、条件が重複している場合、

出力表示を簡略化する方法はありますでしょうか。

例えば、以下の場合。

clear all;clc;close all;
syms x 
assume(x,'positive')
assumeAlso(x>4)
assumptions

この場合、assumptionsの出力は[0 < x, 4 < x]となります。

この表示を[4 < x]と出力させる方法はありますでしょうか。

この時、assumeAlsoをassumeにするという解決策(条件が上書きされる)でなく

あくまでも、二つの条件から共通部分を表示させる方法が知りたいです。

同様に以下の場合。

clear all;clc;close all;
syms x y
assume(x,'positive')
assumeAlso(x*y>0)
assumptions

この場合、assumptionsの出力はこの場合[0 < x*y, 0 < x]となります。

この表示を[0 < y, 0 < x]とさせることは可能なのでしょうか。

いろんな複雑な方程式をsolve関数で解いているとオプションで

solve(〇〇, x, 'ReturnConditions', true)としていると

仮定が多くなり、ややこしくなるので、簡略化する方法を知りたいと

思いました。

知っている方がいられましたら、ご教示していただけると幸いです。

asuumption​s関数の出力表示の簡​略化方法について