問題タブ [symbolic-math]

のような多項式が与えられた(a+b*i)*c+i場合a、 、b、cは 3 つの実数値を表す記号要素として定義されi、虚数単位です。この多項式の実部と虚部を返す方法は?

シンボリック変数を評価する再帰関数を書きたいと思います。Pythonの例を次に示します。

Mathematicaでそれを再実装するにはどうすればよいですか？

変数名を手動で作成してみました：

しかし、それは機能しません：

式がどのように展開されるか（例よりも複雑な関数の場合）を確認したいので、すべての変数をシンボリックにします。

名前関数があり、f = @(x) x^2これをシンボリック関数に変換したいとします。そのための組み込みコマンドはありますか？

方程式の解を見つけるためのシンボリック ツールを使用するために、MuPad を使用しています。しかし、私は行列を扱っています。

このことを考慮：

この関数を使用すると、行列のブロック表現を使用でき、機能します。今、この関数を考えてみましょう

これは、マトリックスを少し操作し、コンポーネントが何らかの方法で結合されたマトリックスを返します。問題は、行列 A とその要素が行列であって実数ではないことを MuPad に伝えることができないことを考えると、MuPad が行列の積を異なる順序で表示してしまうことです。

例えば。検討

返された行列の最初のコンポーネントである要素 (1,1) は A11*A21*A22 であり、これは A11,A12,A21,A22 行列ではありません!

MuPad が積を正しく展開できるように、A11、A12、A21、および A22 が行列であることを MuPad に伝えるにはどうすればよいですか?

私は、行列の積と反転への記号解と展開を見つけることに関心があります。実は、自分で定義したいものです。私は自分自身を説明します。

B4MAT要素が 4 つの正方形の半サイズの行列である正方行列を表す、呼び出す「数学」オブジェクトを作成したいと考えています。そのため、2 つの間の積を定義して、積のルールを適用することによってコンポーネントが計算されるB4MAT別の積を返す必要B4MATがありますが、スカラーではなくマトリックス間です。

さらに、これは非常に重要なポイントです。行列のブロック単位の反転を考えてみましょう。リンクのブロック単位の反転アルゴリズムを使用して要素が計算されB4MATた別の a を返す操作としてa の反転を定義したいと思います。B4MAT

マキシマでこれを達成する方法は?

ありがとうございました

私の研究グループには、MatlabのSymbolicToolboxやPythonのSympyなどのさまざまなシンボリックツールで代数モデリングを行うさまざまな人々がいます。これらのモデルは通常、Cコードにエクスポートされ、さらにシンボリック操作を行うために、独自のシンボリックC++ベースのツールにコピーアンドペーストされます。

このほとんど保守不可能なアプローチの代替案を探しているときに、多かれ少なかれ標準化されているように見える2つの形式、OpenMathと「ContentMathML」を見つけました。私たちはセマンティクスにのみ関心があり、きれいな印刷には関心がないことに注意してください。

これら2つのフォーマットの関係は何ですか？ツール間で数式を保存および交換するために両方を使用できますか？

数式の交換形式は、他にも多かれ少なかれ標準化されていますか？

縮退したケースの処理を避けるために、「 Simplicity of Simplicity」(SoS) のようなシンボリック摂動スキームを 4 点オリエントのような幾何学的述語に適用できることを私は知っています。ポイントが3つの平面の交点によって暗黙的に定義される平面ベースのジオメトリでも同じことを行うことも有効であると想定しているため、ポイントが定義された4番目の平面のどちら側にあるかを示す同様の方向述語を使用できます最初の3つの嘘で。点のデカルト座標ではなく、平面方程式の係数を乱します。

問題は、点が多くの異なる平面によって定義される可能性があることです。立方体の各頂点は 3 つの平面で定義されますが、ピラミッドの頂点には 4 つの平面があります。SoS のようなスキームでは一貫性がすべてのように見えますが、ポイントを定義するためにどの 3 つの平面を選択するかが重要かどうかわかりません。そのポイントを参照するたびに、同じ 3 つのプレーンを使用する限り、そうではないかもしれません。

では、質問: 点を表すために任意の 3 つの平面を選択できますか?

前もって感謝します。

以下に示すように、Matlab を使用してシンボリックに定義しようとする 8 つのサインとコサインがあります。私の目標は、これらすべての正弦と余弦を使用して 8x8 の行列 H (累積ギブンス回転行列) を象徴的に構築し、この H 直交射影行列の式を確認することです。IG7*G6*...*G0*Iは Identity 8x8 で、Gi は要素 (i:i+1,i:i+1) に対応するギブンズ回転です。

コードは次のエラーで失敗し、これを修正する方法が見つかりません。

GNU Octave で次の記号式を計算したいと思います。

int(exp(ikx-|k|^n),k,-infinity,infinity) , (- もちろん 'x' の関数になります。'x' はデータの配列です。)

• 私は成功しません。

• インターネットで少し検索したところ、Octave には最初から「記号演算」スイートが組み込まれていないことがわかりました。

これは本当ですか？ダウンロードしてインストールするにはどうすればよいですか (「ターミナル」から Ubuntu 12.04 を使用しますか?)

よろしくお願いします！

微分方程式があり、それを matlab の関数で解きたいとしますdsolveが、最初にユーザーに初期値を尋ねる必要があり、ユーザーが入力した内容に従ってプログラムが答えを出すとします。

どうすればいいですか？