Algorithms.CL.RegulatorClassical
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
reduce
bounded_reduce
bounded_step
bounded_step_delta
dot
dot'
star
compute_injl
fN
fN_d
fJN
fJN_d
order
order_with_projection
first_return_with_projection
first_return_with_proj_bdd
period
regulator
fundamental_unit
fundamental_solution
regulator_fixed_prec