問題タブ [computer-algebra-systems]

式 |x - 5| を考えると、+ |y| = 5、SymPy を使用してどのように解決できますか?

solve() と Abs() の組み合わせを使用している場合、このエラーが発生します

引数が実数でも虚数でもない場合に Abs(x - 5) を解く

しかし、私のセッションの最初に私はそれを書き留めました

私は何を間違っていますか？

ありがとう！

http://research.microsoft.com/en-us/um/people/cloop/vmvbpc.pdf このホワイト ペーパーでは、著者は、クリップ スペースでベジエ パッチを背面カリングする新しい方法を示しています。セクション 5 では、数式を展開するためのシンボリック代数ソフトウェアを使用して、行列 T(u,v) のすべての係数が cross4 の和であることを発見しました。彼らはテーブルを生成しました：

だから私は同じものを作ろうとしていますが、記号代数ソフトウェアを使用したことはありません. 私が4時間後に作ったのはこれだけです(Wolfram Mathematica):

記号代数が得意な人が、この表を生成するのを手伝ってくれませんか?

私は sympy、matlab シンボリック パッケージ、reduce に精通しており、他のいくつかのコンピューター代数システムを試しました。ただし、私が知る限り、可変サイズの行列で代数を実行できるものはないようです。固定サイズの行列でのみ機能します。

可変サイズの行列に対して代数を実行できるものはありますか? かなりの数のケースがあることは理解していますが、R^nxn の行列を使って手で行うことができる多くの単純化/代数の容易さのために、実行可能な量がかなりあるように感じます。

これらの多くで非共有代数要素を扱うだけでよいので、足し算と行列を使ったアダマール積をカバーします。これは有用であり、出発点です。ただし、行列で実際に行うことのごく一部しかカバーしていません (たとえば、転置、逆行列、固有値分解、R^nxm での行列の使用など)。もっと一般的なソフトウェアはありますか？

この質問は、コンピュータ代数システム Magma (線形代数ライブラリではありません) に関するもので、scicomp.SE から相互投稿されています。

これがトピックから外れている場合はご容赦ください。私は StackExchange ネットワークの常連ユーザーですが、これが StackOverflow に関する最初の投稿です。この種の質問にぴったりの家を探しています。（原則として、scicomp.SEのようですが、4日間回答が得られていないため、StackOverflowが別の結果をもたらしたかどうかを知りたかったのです。）

マグマの環 R 上の多項式代数 A を構成したとします。与えられた A の要素のリストによって生成される A の部分 R 代数をどのように構築するのでしょうか?

これは非常に基本的な操作のように思えるので、それを行う方法がないとは信じられませんが、ハンドブックにはまだ見つかりません。(行列代数とアーベル多様体の自己同形環の部分代数を構成する機能はあるが、多項式環はないと思う。)

私はSingularの初心者です。Singular4-0-2_64.dmg をダウンロードし、イメージをマウントして右クリックし、パッケージの内容を表示してから、コンテンツ フォルダーを Applications ディレクトリに移動しました。Contents/MacOS/Singular (または Esingular) をダブルクリック ターミナルで (またはターミナルの emacs 経由で) Singular を実行しています。しかし、実行中のemacsでMx singularを試すと、「ロードファイルを開けません：そのようなファイルまたはディレクトリはありません、singular」と表示されます。

次に、.emacs-general と .emacs-singular をホーム ディレクトリにコピーしました。次の行を .emacs に追加します

(setq load-path (cons "" load-path)) (autoload 'singular "singular" "Start Singular using default values." t) (autoload 'singular-other "singular" "Ask for arguments and start Singular." t )

singular-emacs-home-directory を /Applications/Singular.app/Contents/share/singular/emacs/ に変更してもまだ機能しません。また、.emacs を .emacs-singular に置き換えて、上記のディレクトリを置き換えると、次のエラーが表示されます: 警告 (初期化): `/Users/Me/.emacs' のロード中にエラーが発生しました:

変数としてのシンボルの値は無効です: /Applications/Singular.app/Contents/share/singular/emacs

私は正しいsingular-emacs-home-directrotyを見つけていませんか、それとも他の問題がありますか?

私はあなたの助けに感謝します。

また、私は Macaulay2 の emacs のユーザーであることにも言及しなければなりません。そのために、.emacs と .emacs-Macaulay2 を変更して、emacs に M2 を探す場所を教えました。Singular で同様のことを行うことはありますか? ファイル .emacs-singular をどこかに置いておきましょうか?

ご協力いただきありがとうございます。