ベクトルおよび行列の不等式を解く

バージョン12は，ベクトル，行列，テンソルの変数および条件を表す新しい機能を提供する．この機能により，より高いレベルの言語を使って問題を定式化することができるようになった．この例ではこのような条件を方程式および不等式のソルバでどのように使うことができるかを説明する．

ベクトル不等式とノルム条件を満足する，1対の直交ベクトルを求める．

解を可視化する．

ベクトル不等式の系を解く．

解集合を可視化する．

0から3の間の項目を含む，半正定値整数対称行列をすべて求める．