Module sqr_mul 

Contains sqr_mul::generic_abs_square_and_multiply() and other functions for computing a power of an element in a generic monoid.

Functions

generic_abs_square_and_multiply

Uses the square-and-multiply technique to compute the reduction of power times base w.r.t. the given operation. The operation must be associative to provide correct results.

generic_pow_shortest_chain_tableunstable-enable

Computes the reduction of power times base w.r.t. the given operation. The operation must be associative to provide correct results.

try_generic_abs_square_and_multiplyunstable-enable

Uses the square-and-multiply technique to compute the reduction of power times base w.r.t. the given operation. The operation must be associative to provide correct results.