cli-math-exercise

線形代数の演習問題を生成する CLI ツール

インストール

cargo build --release

使い方

対角化問題 (diag)

行列 A = PDP⁻¹ の形に対角化する問題を生成

# 3×3行列（デフォルト）
cli-math-exercise diag

# 4×4行列
cli-math-exercise diag -n 4

# 複素数固有値
cli-math-exercise diag -e complex

# 無理数固有値（√を含む）
cli-math-exercise diag -e irrational-root

ジョルダン標準形問題 (jordan)

行列 A = PJP⁻¹ の形にジョルダン標準形を求める問題を生成

cli-math-exercise jordan
cli-math-exercise jordan -n 4
cli-math-exercise jordan -e complex

直交対角化問題 (ortho)

対称行列 A = QDQᵀ の形に直交対角化する問題を生成

# 3×3行列（デフォルト）
cli-math-exercise ortho

# 2×2, 3×3, 4×4 がサポート
cli-math-exercise ortho -n 2
cli-math-exercise ortho -n 4

ユニタリ対角化問題 (unitary)

エルミート行列 A = UDU† の形にユニタリ対角化する問題を生成

# 2×2行列（デフォルト）
cli-math-exercise unitary

# 2×2, 3×3, 4×4 がサポート
cli-math-exercise unitary -n 3
cli-math-exercise unitary -n 4

オプション

オプション	短縮形	説明
--n	-n	行列のサイズ
--eigen-type	-e	固有値の種類

固有値の種類 (-e)

値	説明
single-digit	1 桁の整数（デフォルト）
double-digit	2 桁の整数
complex	複素数 (a ± bi)
irrational-root	無理数 (a ± √k)

依存関係

• Symbolica - シンボリック計算
• Typst - 数式レンダリング
• nalgebra - 数値線形代数
• clap - CLI 引数パーサー