package calcium

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Calcium.QQBAR`Source

Sourcetype t

Sourceval equal : t -> t -> bool

Sourceval compare : t -> t -> int

Sourceval debug_print : t -> unit

to stdout

Sourceval is_real : t -> bool

Sourceval is_one : t -> bool

Sourceval is_zero : t -> bool

Sourceval poly : t -> Flint.FMPZ_poly.t

Sourceval enclosure : t -> Arb.ACB.t

Sourceval from_enclosure : Flint.FMPZ_poly.t -> Arb.ACB.t -> t option

val from_roots : 
  ?unsorted:bool ->
  ?irreducible:bool ->
  Flint.FMPZ_poly.t ->
  t array

default optional value is false