package colibrilib

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Add some useful function to Q of zarith

val floor : Q.t -> Z.t

floor a return the greatest integer smaller or equal than a

val ceil : Q.t -> Z.t

ceil a return the smallest integer greater or equal than a

val divisible_down_to : Q.t -> Q.t -> Q.t

divisible_down_to a m return the greatest multiple of m smaller or equal than a

val divisible_up_to : Q.t -> Q.t -> Q.t

divisible_down_to a m return the smallest multiple of m greater or equal than a

val divisible : Q.t -> Q.t -> bool

divisible a b test if a is divisible by b

val mult_cst_divisible : Q.t -> Q.t -> Q.t

mult_cst_divisible a b

val union_divisible : Q.t -> Q.t -> Q.t

val inter_divisible : Q.t -> Q.t -> Q.t