double_ext チュートリアル

Use this subsystem when you need logarithmic, trigonometric, or hyperbolic helpers specialized for Complex[Double].

推奨フロー

1. まずリポジトリ README と double_ext の API 文書を読む。
2. src/double_ext にあるコンストラクタまたは入口から始める。
3. 境界挙動へ依存する前に、既存のテストや例で意味論を確認する。

実践ガイド

• 内部ヘルパーではなく、文書化された入口を優先する。
• ランタイム・数値・証明状態の前提を下流コードに明示する。