waLLLnutFHE16 Docs

Division operation

SDIV_POW2

Signed division by powers of two with C-style rounding.

Signature

Raw symbolsFHE16_SDIV_POW2
Exampleint32_t* out = FHE16_SDIV_POW2(a, 3);

Caller

Signed division by powers of two with C-style rounding.

Circuit Path

Homomorphic pathSign-derived bias plus FHE16_ADD, then shift toward zero.

Input, Output, Ownership

OutputSigned quotient ciphertext.
OwnershipReturned ciphertext is caller-owned.
Implementation baselineFHE16Ver6/include/soAPI/soAPI.hpp and FHE16Ver6/src/soAPI/soAPI.cpp

C Example

int32_t* out = FHE16_SDIV_POW2(a, 3);
FHE16_Free(out);