Algorithms.CL.Types

Type synonyms

type CLInt

type CLIntP

type CLRational

type CLReal

Algebraic number fields

Discriminants

bigD_of_d

d_of_bigD

is_valid_d

is_valid_bigD

all_small_ds

all_bigDs

Field elements

data AlgNumGen a

type AlgNum

fst_AlgNum

snd_AlgNum

pretty_show_AlgNum

floating_of_AlgNum

number_promote

conjugate

is_alg_int

is_unit

omega_of_bigD

Ideals

data IdealX x

type Ideal

type IdealQ

type IdealC

data IdealRedX x

type IdealRed

type IdealRedQ

type IdealRedC

type IdDist

type IdDistQ

type IdRedDist

type IdRedDistQ

Trivial access functions

d_of_Ideal

d_of_IdealRed

bigD_of_Ideal

bigD_of_IdealRed

delta

Assertions, coercions

tau

is_standard

is_reduced

is_really_reduced

forget_reduced

to_reduced

assert_reduced

assert_really_reduced

q_tau

q_is_reduced

q_is_really_reduced

q_forget_reduced

q_assert_reduced

q_assert_really_reduced

Bounds on coefficient sizes

length_for_ab

length_for_ml

n_of_bigD

precision_for_fN

fix_sizes_Ideal

fix_sizes_IdealRed