package calcium

You can search for identifiers within the package.

in-package search v0.2.0

package calcium

calcium
- Calcium
  - CA
    
    Repr
  - CTX

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

val pp : ctx:CTX.t -> Format.formatter -> t -> unit

val zero : ctx:CTX.t -> unit -> t

zero

val one : ctx:CTX.t -> unit -> t

one

module Repr : sig ... end

val get_acb_accurate_parts : ctx:CTX.t -> prec:int -> t -> Arb.ACB.t

val equal : ctx:CTX.t -> t -> t -> bool

val compare : ctx:CTX.t -> t -> t -> int

val hash : ctx:CTX.t -> t -> int

val sign : ctx:CTX.t -> t -> int

val le : ctx:CTX.t -> t -> t -> bool

val lt : ctx:CTX.t -> t -> t -> bool

val ge : ctx:CTX.t -> t -> t -> bool

val gt : ctx:CTX.t -> t -> t -> bool

val compare_z : ctx:CTX.t -> t -> Z.t -> int

val compare_q : ctx:CTX.t -> t -> Q.t -> int

val floor : ctx:CTX.t -> t -> Z.t

val ceil : ctx:CTX.t -> t -> Z.t

val truncate : ctx:CTX.t -> t -> Z.t

val to_string : ctx:CTX.t -> t -> string

val of_int : ctx:CTX.t -> int -> t

val of_z : ctx:CTX.t -> Z.t -> t

val of_q : ctx:CTX.t -> Q.t -> t

val to_q : ctx:CTX.t -> t -> Q.t option

val of_fmpz : ctx:CTX.t -> Flint.FMPZ.t -> t

val of_fmpq : ctx:CTX.t -> Flint.FMPQ.t -> t

val add : ctx:CTX.t -> t -> t -> t

val sub : ctx:CTX.t -> t -> t -> t

val mul : ctx:CTX.t -> t -> t -> t

val neg : ctx:CTX.t -> t -> t

val inv : ctx:CTX.t -> t -> t

val abs : ctx:CTX.t -> t -> t

val div : ctx:CTX.t -> t -> t -> t

val div_t : ctx:CTX.t -> t -> t -> Z.t

val div_e : ctx:CTX.t -> t -> t -> Z.t

val div_f : ctx:CTX.t -> t -> t -> Z.t

val mod_t : ctx:CTX.t -> t -> t -> t

val mod_e : ctx:CTX.t -> t -> t -> t

val mod_f : ctx:CTX.t -> t -> t -> t

val sqrt : ctx:CTX.t -> t -> t

val pow_int : ctx:CTX.t -> t -> int -> t

val pow : ctx:CTX.t -> t -> Q.t -> t