これは、Ubuntu Online、Fedora Online、Windowsオンラインエミュレーター、MACOSオンラインエミュレーターなどの複数の無料オンラインワークステーションのXNUMXつを使用してOnWorks無料ホスティングプロバイダーで実行できるコマンドinterpformatです。
プログラム：
NAME
interpformat-変換するためのツール mace4（1）モデル
SYNOPSIS
インターフォーマット [オプション] > -f 入力ファイル > 出力ファイル
インターフォーマット [オプション] >> 入力ファイル > 出力ファイル
DESCRIPTION
のモデル（構造） mace4（1）出力ファイルはさまざまな方法で変換できます。
プログラム インターフォーマット.
変換
変換はここにリストされています。
標準
操作ごとにXNUMX行
標準2
標準、正方形の二項演算（デフォルト）
ポータブル
Python、GAPなどによる解析に適したリストのリスト。
表形式
素敵なテーブルとして
生 標準に似ていますが、句読点はありません
調理 用語として、例えば、f（0,1）= 2
テックス LaTeX用にフォーマット
XML XML
OPTIONS
オプションの概要は以下に含まれています。
出力
リストされたものだけを出力します 操作.
ラップ 出力をリスト（解釈）で囲みます。
onworks.netサービスを使用してオンラインでinterpformatを使用する
