animageo

AnimaGeoは、GeoGebraの幾何学的な作図を高品質な図やアニメーションに変換するツールです。.ggbファイルを解析し、要素間の依存関係グラフを再構築し、manimを介してレンダリングし、静的なベクター形式（SVG、PDF、EPS、TikZ、インタラクティブなJSXGraph）またはアニメーション動画（MP4、GIF、WebM、PNG）にエクスポートします。 主な機能には、点、線、線分、半直線、ベクトル、多角形、角度、円、弧、扇形、円錐曲線、陽関数、陰関数曲線、カスタムツールマクロをサポートする忠実なGeoGebraインポートが含まれます。Python DSLを使用すると、GeoGebraファイルなしで直接作図を構築でき、477の型特化ディスパッチシグネチャに支えられた100のコマンドファクトリを備えています。スタイリングシステムはJSONを使用し、階層的なデフォルト、型ごと/名前ごとのオーバーレイ、設定可能なインポートポリシーを提供します。自動ラベル配置は、静的、キーフレーム、フレームごとの動的モードを備えた重複回避ソルバーを使用します。アニメーション機能には、要素の表示/非表示、ValueTrackersによる自由変数の駆動、JSONキーフレームシーケンスが含まれます。エクスポート先には、Cairo経由のSVG/PDF/EPS、LaTeX用のネイティブセマンティックTikZ、Webランタイムを備えたインタラクティブなJSXGraph、manim経由のMP4/GIF/WebM/PNGが含まれます。このパッケージはAIエージェントに優しく、`animageo --ai-guide`でアクセスできる自己完結型の使用ガイドを同梱しています。 インストールはpip（`pip install --upgrade animageo`）で行い、Python 3.11以上が必要です。コマンドラインインターフェースは、形式、サイズ、スタイル、キーフレームなどに関するさまざまなオプションをサポートしています。Python統合により、GGBファイルの読み込み、DSLコードによる拡張、要素の再スタイリング、静的画像のエクスポート、シーンのアニメーション化が可能です。キーフレームアニメーションv2は、ジオメトリ/値トラック、スタイルトラック、入場/退場エフェクトを伴う可視性、イージング、カメラのパン/ズーム、イベントをサポートしています。スタイルシステムには、プリセット、デフォルト、オーバーレイ、レンダリング、インポートのセクションが含まれ、ピクセル不変の値を持ちます。広範なドキュメントでは、クイックスタート、アーキテクチャ、API、キーフレーム、DSL、スタイル、インポートポリシー、エクスポート形式などについて説明しています。このプロジェクトはApache-2.0の下でライセンスされています。