gfan_tropicalhypersurface - クラウドでオンライン

プログラム：

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_tropicalhypersurface を使用する