package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Int_lit.UtilSource

Some Utils for arith

Sourcetype divisor = {
  1. prime : Z.t;
  2. power : int;
}
Sourceval is_prime : Z.t -> bool

Is the integer prime?

Sourceval prime_decomposition : Z.t -> divisor list

Decompose the number into a product of power-of-primes. Cheap if is_prime n was called before.

Sourceval primes_leq : Z.t -> Z.t Iter.t

Iter of prime numbers smaller than (or equal to) the given number