ck/math ▲toc

fun ceil-log
fun divisible-count
fun floor-log
fun floor-sum

Math

.

fun ceil-log( n : intstd/core/types/int: V, base : intstd/core/types/int: V ) : exnstd/core/exn/exn: (E, V) -> V intstd/core/types/int: V

fun divisible-count( n : intstd/core/types/int: V, d : intstd/core/types/int: V ) : exnstd/core/exn/exn: (E, V) -> V intstd/core/types/int: V

fun floor-log( n : intstd/core/types/int: V, base : intstd/core/types/int: V ) : exnstd/core/exn/exn: (E, V) -> V intstd/core/types/int: V

fun floor-sum( n : intstd/core/types/int: V, a : intstd/core/types/int: V, b : intstd/core/types/int: V, d : intstd/core/types/int: V ) : intstd/core/types/int: V

The sum of floor((ai + b) / d) for all i = 0, …, n - 1. Assume that n >= 0 and d != 0.

private import std/core/typesstd/core/types, std/core/hndstd/core/hnd, std/core/exnstd/core/exn, std/core/boolstd/core/bool, std/core/orderstd/core/order, std/core/charstd/core/char, std/core/intstd/core/int, std/core/vectorstd/core/vector, std/core/stringstd/core/string, std/core/sslicestd/core/sslice, std/core/liststd/core/list, std/core/maybestd/core/maybe, std/core/maybe2std/core/maybe2, std/core/eitherstd/core/either, std/core/tuplestd/core/tuple, std/core/lazystd/core/lazy, std/core/showstd/core/show, std/core/debugstd/core/debug, std/core/delayedstd/core/delayed, std/core/consolestd/core/console, std/corestd/core, std/core/undivstd/core/undiv