Algorithms.QLS.CircLiftingImport

Utility function

grepn

Lifting of ordering operators.

template_symb_slash_symb_equal_

template_symb_oangle_

template_symb_oangle_symb_equal_

template_symb_cangle_

template_symb_cangle_symb_equal_

Lifting of arithmetic operators

template_symb_minus_

template_symb_plus_

template_symb_star_

template_negate

template_abs

template_mod

Operations on QDouble

template_symb_slash_

local_pi

template_local_pi

Relation between QDouble and QSignedInt.

template_floor

template_ceiling

template_fromIntegral

Dealing with parameters.

template_rational

template_integer

getIntFromParam

template_getIntFromParam

paramZero

template_paramZero

paramTen

template_paramTen

paramSucc

template_paramSucc

paramPred

template_paramPred

paramMinus

template_paramMinus

Miscellaneous operations.

template_length

take_half

template_take_half

template_symb_dollar_

template_zip3

template_symb_obracket_symb_cbracket_