これは、Ubuntu Online、Fedora Online、Windowsオンラインエミュレーター、MACOSオンラインエミュレーターなどの複数の無料オンラインワークステーションの4つを使用してOnWorks無料ホスティングプロバイダーで実行できるコマンド2tiXNUMX-gensymmです。
プログラム：
NAME
4ti2-線形の代数、幾何、組み合わせの問題のためのソフトウェアパッケージ
スペース
SYNOPSIS
4ti2-回路
4ti2-genモデル [ - 静かな] foo.mod
4ti2-gensymm [ - 静かな] a b c d foo
4ti2-グラバー [ - 静かな] foo [| .mat | .lat]
4ti2-グレブナー [--quiet | -q] [--force | -f] [--saturation | -s] [--project-and-lift | -p]
[--normal | -n] [--weighted | -w] [--gebauer-moeller | -g] [--auto-reduce-freq =N| -aN] foo
4ti2-ヒルベルト [ - 静かな] foo
4ti2-マルコフ [--quiet | -q] foo
4ti2-最小化 [--quiet | -q] foo
4ti2-正規形
4ti2-出力 [ - 静かな] [-二項式] [-メープル] [--0-1] [ - 転置] [ - 程度 [N]]
[ - ポジティブ] 【--3way a b c] foo
4ti2-ppi
4ti2-qsolve
4ti2-光線
4ti2-ウォーク
4ti2-zベース
4ti2-zsolve
DESCRIPTION
ソフトウェアパッケージ4ti2は、代数に対処するためのコマンドラインツールのスイートです。
線形空間における幾何学的および組み合わせ論的問題。
DATA 構造
4ti2の主な概念は同じです。プロジェクトはファイルを介して定義されます foo [.mat]
問題の行列が含まれています。 グレイバー基底やマルコフ基底などの関連セットが配置されます
に フーグラ と foo.marそれぞれ。
入力ファイルと出力ファイルには通常、行列またはベクトルのリストが含まれています（
マトリックス）などの標準エンコーディング
2 4
1 1 1 1
1 2 3 4
たとえばファイルの場合、例外はごくわずかです。 foo.vars 指定されたユーザーを含む
変数名：
3
abx
onworks.net サービスを使用してオンラインで 4ti2-gensymm を使用する