module Fractions:
Field of fractions over an euclidean domain.
| Parameters: |
|
typet =R.t * R.t
val gcd : R.t -> R.t -> R.tGreatest common divisor.
val canonize : t -> t
val eq : t -> t -> bool
val add : t -> t -> t
val zero : t
val neg : t -> t
val mul : t -> t -> t
val one : t
val inv : t -> t
val to_string : t -> string