問題タブ [gap-system]

Abstract Algebra Add-on は Mathematica の美しいパッケージですが、少なくとも群論ではGAPに勝るものはありません。数年前に Sage を見たとき、Mma とのインターフェースがあると言われていましたが、よく見るとやや原始的であることがわかりました (しかし操作可能です)。アイントホーフェン工科大学 ( OpenMath ) で、主要な数学ツールを統合/接続するためのプラットフォームに関する作業が行われたことを知っており、その作業を開始しました。しかし、その作業は失われました。今私の質問に：

GAP と Mathematica の間のインターフェースを持っている人はいますか?共有したいと思いますか?

GAP を使用して、乗算表からグループの名前を特定するにはどうすればよいですか? 一連のジェネレーターからグループを定義し、一連の内部テーブルでグループを探すことができることを知っています。

しかし、どうやってグループの名前を見つけます[120, 34]か?

この質問は、一連の多項式 (Mathematica、Singular、GAP、Macaulay2、MatLab など) から Groebner Basis を計算できる任意のコンピューター代数システムを指す可能性があります。

完全なグレブナー基底を計算するのが難しすぎる過決定多項式系を扱っていますが、発見されたグレブナー基底要素を出力できることは私にとって価値があります。多項式はグレブナー基底です。これを行う方法はありますか？

GAPソフトウェアの機能の結果を取得したい。これは、主に群論関連のトピックに取り組む数学者向けの対話型コマンド ライン ツールです。documentation/faq は8.1 について述べています: Can I call GAP functions from another programme? 一般的にはありえないということです。ただし、GAP を子プロセスとして実行し、パイプ、疑似 tty、UNIX FIFO、または同様のデバイスを使用して GAP と通信することができます。

CrystCat (Crystallographic Groups Catalog) と呼ばれるパッケージを使用したセッションの例は次のようになります。

私はこれらの手法に慣れていないので、次の機能を持つ最小限の例を誰かに見せてもらえますか:

更新:この質問の受け入れられた回答は機能しません。

例

Windows バージョンのGAP システムでは、どのように出力をローカル ドライブのテキスト ファイルにリダイレクトしますか?