Algorithms.CL.RegulatorClassical

Basic operations on ideals

unit_ideal

unit_idealRed

cOfIdeal

gammaOfIdeal

rho

rhoInv

rho_red

rhoInv_red

rho_d

rhoInv_d

rho_num

rho_red_num

Ideal reductions (bounded)

reduce

boundedReduce

boundedStep

boundedStepDelta

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