Functionsยง
- rotr_
ind - Computes the multilinear extension of the rotate right indicator at a point.
- sll_ind
- Computes the multilinear extension of the logical left shift indicator at a point.
- sra_ind
- Computes the multilinear extension of the arithmetic right shift indicator at a point.
- srl_ind
- Computes the multilinear extension of the logical right shift indicator at a point.