これは gfan_tropicalbasis コマンドで、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks の無料ホスティング プロバイダーで実行できます。
プログラム：
NAME
gfan - グレブナーファンと熱帯品種を計算するツール
SYNOPSIS
グファン_ツール [オプション]
ぐん _ツール [オプション]
DESCRIPTION
Gfan は、グレブナー ファンと熱帯品種を計算するためのソフトウェア パッケージです。 これらは
多項式イデアルに関連付けられた多面体ファン。 グレブナーファンの最大円錐は次のとおりです。
定義された理想の顕著な還元されたグレブナー基底を持つ全単射。 ソフトウェア
イデアルのすべてのマークされた還元グレブナー基底を計算します。 彼らの結合は普遍的なグレブナーです
基礎。 多項式イデアルの熱帯多様体は、グレブナーの特定の部分複素数です
ファン。 Gfan には、一般的な理想と
熱帯曲線、熱帯超曲面、熱帯品種に特化したアルゴリズム
最高の理想の。 上記のコア機能に加えて、パッケージには多くのツールが含まれています
これは、グレブナー基底、初期理想、熱帯幾何学の研究に役立ちます。
の完全なリスト ツールsは：
ベース、ブッフバーガー、コンバインレイズ、doidealcontain、fancommonrefinement、fanhomology、
ファンリンク、ファンプロダクト、ファンサブファン、ジェネリックリニアチェンジ、グロブナーコーン、グロブナーファン、
均質性空間、均質化、初期形式、インタラクティブ、ismarkedgroebnerbasis、
krulldimension、latticeideal、leadingterms、リスト、markpolynomialset、minkowskisum、マイナー、
混合ボリューム、オーバー整数、パディック、多項式セットユニオン、レンダリング、レンダリング階段、彩度、
セカンダリファン、統計、代替、対称、tolatex、多面体ファン、トロピカルベース、
トロピカルブルートフォース、トロピカル評価、トロピカル機能、トロピカルハイパーサーフェス、
熱帯交差点、熱帯リフティング、熱帯線形空間、熱帯多重度、
トロピカルランク、トロピカルスターティングコーン、トロピカルトラバース、トロピカルウィルディバイザー、バージョン。
以下に、すべての機能で利用可能な一般的なオプションを示します。 ツールs. 特定のオプションについては、
与えられた ツール、そのツールのヘルプメッセージを参照します。
OPTIONS
- 助けて の機能を説明するヘルプ メッセージを表示します。 グファン_ツール そして利用可能な
特定のオプション。
--log1、 --log2...
計算中に標準エラーに書き込む情報量を Gfan に指示します。
ランニング。 これらのオプションは、Gfan が何かを作成しているかどうかを知りたい場合に非常に便利です。
その計算の進歩。
--標準入力 値
標準入力から読み取る代わりに、入力として使用するファイルを指定します。
--stdout 値
標準出力に書き込む代わりに、出力を書き込むファイルを指定します。
--xml 多面体ファンをテキスト形式ではなく XML 形式で出力します。 (
XML ファイルは Gfan では読み取れません。)
onworks.net サービスを使用してオンラインで gfan_tropicalbasis を使用する
