Module Scalar.Q

module Q: S  with type t = Q.t

include Scalar.M

val minus_one : t

More conversion functions.

val of_int : int -> t

More arithmetic operations.

val neg : t -> t

val inv : t -> t

val equal : t -> t -> bool

val leq : t -> t -> bool

val geq : t -> t -> bool

val lt : t -> t -> bool

val gt : t -> t -> bool

val sign : t -> int

Returns -1, 0 or 1 when its argument is respectively < 0, 0 or > 0.

Prefix and infix operators.

val (~-) : t -> t

val (+) : t -> t -> t

val (-) : t -> t -> t

val ( * ) : t -> t -> t

val (/) : t -> t -> t

val (=) : t -> t -> bool

val (<>) : t -> t -> bool

val (<=) : t -> t -> bool

val (>=) : t -> t -> bool

val (<) : t -> t -> bool

val (>) : t -> t -> bool