質問: mathematicaに関する質問 代数体やz/pzなど,指定された環(など)における計算 mathematicaに関する質問です。 計算をするときに,その計算をどういった枠組みの中で行うかを指定したいのですが,その方法がわかりません。 (例えば,最も簡単な例だと,z/pzでの計算など。) もしも簡単に設定する方法などがあれば,お教えいただけないでしょうか?
回答: 「どういった枠組み」かを定義すればよいです。 具体的には、例えば組み込みの四元数パッケージのソースコードを読んでみると良いでしょう。 findfile["quaternions`"]やfileprint["quaternions`quaternions`"]などとして ソースコードを追っかけてみてください。 setdelayed(:=)やtagsetdelayed(/: :=)で加法や乗法、交換法則などの 演算規則が定義されているのがわかると思います。 もっとも、有名な群は組み込みで定義されていることが多いので、 ドキュメントを検索することをおすすめします。