Algorithms.CL.RegulatorClassical

Basic operations on ideals

unit_ideal

unit_idealRed

c_of_ideal

gamma_of_ideal

rho

rho_inv

rho_red

rho_inv_red

rho_d

rho_inv_d

rho_num

rho_red_num

Ideal reductions (bounded)

reduce

bounded_reduce

bounded_step

bounded_step_delta

Products of ideals

dot

dot'

star

The function fN, and variants

compute_injl

fN

fN_d

fJN

fJN_d

Classical period-finding

Auxiliary functions

order

order_with_projection

first_return_with_projection

first_return_with_proj_bdd

period

Haskell native arithmetic

regulator

fundamental_unit

fundamental_solution

Fixed-precision arithmetic

regulator_fixed_prec