問題タブ [magma-ca]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
magma-ca - MAGMAのログファイル
Uniではマグマを使用しています。ログファイルを作成したいと思います。それはで行う必要がありますSetLogFile('FileName')。しかし、その結果はUser error: Identifier '20.10.txt' has not been declared or assigned(FileNameである20.10.txt) です。また、load 'inputfile.magma'動作しないようです。私は Mac OS X 10.7.5 で作業しています。なぜこのようなことが起こるのでしょうか? また、これらの問題を解決するにはどうすればよいでしょうか?
iteration - 再帰シーケンスを繰り返し計算する - コードの最適化
次のように指定されたシーケンスの最初の 3000 項目を計算する必要があります。
a_1=1、a_n+1 = 最小整数 > a_n、1<= i,j,k <= n+1 ごとに (必ずしも異なるわけではない) 適用される (a_i+a_j は 3*a_k と等しくない)
私は (Magma で) 正しく動作するコードを書きましたが、その時間の複雑さは明らかに大きすぎます。時間の複雑さを軽減する方法があるかどうかを尋ねています。すべての合計の配列を作成する方法で、何らかの方法で内側の for ループ (大混乱を引き起こしているループ) を移動するというアイデアがありましたが、正しく機能させることはできません。以下に私のコードを添付してください：
PS: 参考になれば、Python、Pascal、C などの言語も知っています。
magma-ca - Magma でスクリプトを読み込んで実行します。
Windows で Magma を使用しています (C:\program files\magma)。D:\scripts ディレクトリにいくつかのスクリプト xyz.m があります。スクリプトをロードして実行する方法がわかりません。ご協力ありがとうございました。よろしく
magma-ca - 理想的な実行時誤差 LHS の係数環は体でなければなりません
マグマで次のコードを試しています
私も試しました：
両方とも同じエラー「Runtime error in idea< ... >: Coefficient ring of LHS must be a field」が表示されます。
gap-system - 関数から生成行列を作成して CCZ をチェックする
CCZ-equivalence をチェックする例を次に示します。次の関数 CF を Magma から GAP-system に書き換える方法を教えてください。
mesh - CGAL では、3 次元以上の三角形分割をポリトープに変換できますか?
この質問が関連サイトでより適切である場合は、お知らせください。喜んで移動させていただきます。
ℤ<sup>11 に 165 個の頂点があり、そのすべてが原点から √8 の距離にあり、対応する凸包の極値です。 CGALは、1 ギガバイト未満の RAM を使用して、私のラップトップでわずか 133 分でd次元の三角形分割を計算できます。
Magmaは同様の 66 頂点のケースを非常に迅速に管理し、私のアプリケーションにとって重要なことに、三角測量ではなく実際のポリトープを返します。したがって、各d次元の面を、任意の数の頂点で区切られる単一のオブジェクトとして表示できます。
さらに、私のアプリケーションにはそれほど重要ではありませんが、 を使用して、それらの面がどのように接続されているかに関するすべてのトポロジ情報Graph : TorPol -> GrphUndを計算し、そのセル構造の対応する自己同型群を見つけることもできます。AutomorphismGroup : Grph -> GrpPerm, ...
残念ながら、元のポリトープに適用すると、マグマは完全自己同型群Gではなく、 GL d (ℤ)AutomorphismGroup : TorPol -> GrpMatのサブグループのみを返します。これは、私が本当に計算したいものです。行列群として、G ∉ GL 11 (ℤ) ですが、代わりに ∈ GL 11 () であり、ここで代数的数を表します。一般に、有理数の完全な代数閉包 ℚ̅ は必要ありませんが、体の拡張だけが必要です。ただし、 Gの自明ではない強力な表現を利用することはできます。
2 日間の計算で、マグマは 165 頂点のケースを管理できますが、ポリトープの元の 165 頂点、10 ファセット、およびボリュームに関する情報しか提供できません。ただし、任意の 2 ≤ d < 10 のd面を列挙しようとすると、自由に使える256 GB の RAM がすぐに消費されます。
一方、CGAL の三角形分割はd -simplicesのコレクションのみを計算し、そのすべてにd + 1 個の頂点があります。このような三角測量から同じ顔情報を導き出すことは可能に思えますが、それをコード化する簡単な方法は思いつきませんでした。
CGAL で明らかな何かが欠けていますか? ポリトープの面情報を計算するための代替方法、または点の集合の完全な自己同型群を見つけるための提案はありますか?