package colibrilib

  1. Overview
  2. Docs

Module Colibrilib.QUtilsSource

Add some useful function to Q of zarith

Sourceval floor : Q.t -> Z.t

floor a return the greatest integer smaller or equal than a

Sourceval ceil : Q.t -> Z.t

ceil a return the smallest integer greater or equal than a

Sourceval 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

Sourceval 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

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

divisible a b test if a is divisible by b

Sourceval mult_cst_divisible : Q.t -> Q.t -> Q.t

mult_cst_divisible a b

Sourceval union_divisible : Q.t -> Q.t -> Q.t
Sourceval inter_divisible : Q.t -> Q.t -> Q.t