FHElium

Appearance

fhelium.compile.passes.lowering._driver ​

Register default CKKS lowerings and transform complete Programs.

DEFAULT_CKKS_LOWERINGS ​

constant View source

python
DEFAULT_CKKS_LOWERINGS = CkksLoweringRegistry((*ARITHMETIC_LOWERINGS, *REPRESENTATION_LOWERINGS, *KEY_SWITCH_LOWERINGS))

lower_ckks_program ​

function View source

python
def lower_ckks_program(compilation, config: CkksConfig | None, *, registry: CkksLoweringRegistry=DEFAULT_CKKS_LOWERINGS, selections: Mapping[str, str] | None=None, preserve: Collection[str]=()) -> _LoweringResult: ...

Apply selected CKKS lowerings while preserving other mixed-level IR.