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 AlgNumberGen a

type AlgNumber

fst_Number

snd_Number

pretty_show_Number

floating_of_Number

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

Sample data

sample_CLReal

sample_Ideal

sample_IdealQ

sample_IdealRed

sample_IdealRedQ

sample_IdDist

sample_IdDistQ

sample_IdRedDist

sample_IdRedDistQ