主側
熱帯曲線
有界辺半直線
ドラッグで移動 · ホイールで拡大縮小 · 特徴を選択
OBSERVATION CHAMBER / ACTIVE
熱帯曲線の釣り合い観測盤
max-plus多項式の整数係数高さを編集し、熱帯曲線の頂点・辺・半直線、重み付き釣り合い、双対Newton細分を観察します。
tropical
稼働中
係数の高さ
正確な構築を開始できます。
釣り合い待機中
- 頂点
- —
- 有界辺 / 半直線
- — / —
- 双対セル
- —
- 選択した特徴
- 未計算
- 選択頂点の Σw·u
- 未計算
双対側
Newton細分
双対セル係数
格子点を選ぶと高さを編集できます
選択した特徴未計算曲線を構築してから特徴を選択してください。
確定した特徴はありません。
正確な特徴一覧
頂点・有界辺・半直線
曲線を構築すると、すべての正確な特徴が表示されます。
正確なデータ・双対性・実行管理の詳細
正確な頂点
未計算
上側面と双対セル
未計算
不変量の検査
- 状態
- 未計算
確定した入力
- 入力改訂
- 0
- 実行番号
- 0
- 入力ハッシュ
- —
- 計算時間
- —
- 規約
- max-plus
- 来歴
- ローカルの正確な計算核。外部実行環境なし
出力
レポート
模型の範囲: 次数5以下、台21項以下、整数高さ、正確なBigInt有理数判定、有限の描画範囲を扱います。観測用の装置であり、形式的証明や工学設計の道具ではありません。
観測ガイド
触って観測すること
max-plus多項式を編集し、重み付き熱帯曲線が双対な正則上側Newton細分と並んで現れる様子を観察します。
- 熱帯直線から始め、整数の高さを変えて「曲線を構築」を実行します。キャンバスまたは全件の特徴一覧から頂点・有界辺・半直線を選びます。
- 二次元模型で、次数5以下、台21項以下、100桁までの整数高さを扱います。
- 位相、重み、原始方向、双対性、釣り合いは正確なBigInt有理数で判定し、Number座標は有限の描画だけに使います。
- 半直線は数学的には無限で、表示時だけ切り取ります。出力や配置の失敗は確定した「釣り合い: はい」を変更しません。
有限の複雑度上限があり、曖昧または過大な入力は理由を示して停止します。形式的証明、汎用CAS、暗号、工学設計のためのシステムではありません。
ブラウザ内で完結し、アップロードや登録は不要です。
システム注記
F(x,y)=max_(i,j)(h_ij+i·x+j·y) とし、少なくとも2項が同時に最大となる軌跡を熱帯曲線とします。指数点を(i,j,h_ij)へ持ち上げた正則上側Newton細分は曲線と双対で、頂点は上側2セル、曲線の辺は双対辺、半直線は境界辺に対応します。双対な指数差(Δi,Δj)の重みはgcd(|Δi|,|Δj|)で、その重みで割って外向きにそろえたものが原始方向uです。確定した全頂点でΣ weight·u=(0,0)を正確に検査します。すべての高さへ同じ定数を加えても曲線は変わらず、h′_ij=h_ij+a·i+b·j+cでは曲線が(−a,−b)だけ平行移動します。
観測ポリシー
このラボはブラウザ内で動作します。係数高さ、正確な計算、レポート、画像を外部へ送信しません。