問題タブ [rational-number]

このアークボール クラスを変更して、arcball.rollforward(PI/180); へのすべての呼び出しが行われるようにしました。行列を 1 度回転します。セットアップを試みたので、arcball.rollback() は蓄積された float のrotatebywithincludedfloaterror で呼び出されますが、float エラーなしで 360 度ロールバックするのと同じ程度のエラーが発生しました。これは、1000 回の完全な回転後にどれだけ離れているかです。これは、x 上の上の立方体の 1:1 の反射である必要があります。

ここに、テスト用の 1 * 360 度回転とフレームレートのループを備えた主な機能があります (複数回転の場合はフレームレートを 900 に設定して、永遠にかからないようにします)。

そしてアークボールクラス

浮動誤差マージンを追跡して、同じ度数を返す arcball.rollforward()

Numロジックに関する 1 つのライブラリ全体が Ocaml を使用して作成されたという理由で、Ocamlのライブラリの探索を続けます。

今日は、有理数の負数を作りたいと思います。から を取得-1/2し1/2ます。

aそうするために、 of 型が与えられた場合、次のようにRatio.ratioその負の値を計算できる (そして aratioではなく aを返すnum) ことができると思います。

ratio_of_num (minus_num (num_of_ratio a))

(関数: https://ocaml.org/releases/4.05/htmlman/libref/Num.html#TYPEnum )

今、私は結果を確認したいのですが、私はいつもこの解決策を得ます:Ratio.ratio = <abstr>

要点は、 を使用すると常にこの解決策が得られることに気付いたということratio_of_numです。例えば：

少し検索したところ、別の関数 ( ) が使用されているこの質問 ( OCaml トップレベルの出力フォーマットratio_of_int 2) が見つかりましたが、もはや可能ではないようです。多分それratioは別のライブラリです。

何か助けはありますか？

PS:ちなみに、num将来交換するために、でインストールしようとしてZarithいopamますが、できません。

私の問題は私が行うことopam install zarithであり、これが表示されます：

だから私はそうしますopam install gmp、そして私は得ます：

これは、試行を続ける方法についての手がかりを提供しません。これについても何か助けはありますか？

最初の質問でも2番目の質問でも、答えていただければ幸いです!!

以下に、以下の会話の結果として、質問に追加されたいくつかのエディションを投稿します。

編集 (必要な #require を追加して解決)

@ivg が提案したことを実行しましたが、まだ機能しません (別のopen Num方法で要求されるため、最初の を実行します)。

編集 2 (#require も必要)

utop の代わりに Ocaml も試しましたが、エラーはさらに悪化しています。

編集 3 (utop の代わりに Ocaml で動作)

編集 4 (utop で動作します。整数の場合、印刷すると結果が単純化されることに注意してください)