package coq-mod-red

  1. Overview
  2. No Docs
Efficient Reduction of Large Integers by Small Moduli

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. L
    Luc Rutten <>

Maintainers

  1. M
    matej.kosik@inria.fr

Sources

v8.5.0.tar.gz
md5=caba9cc89341dba2f041a70fbd5652a4

Description

Fast reduction of integers by moduli up to 2^(w-1), where w is a processor's word size.

Tags

keyword:algorithms keyword:performance keyword:computer arithmetic keyword:modular reduction keyword:optimization category:Mathematics/Arithmetic and Number Theory/Miscellaneous date:December 2007; Updated in April 2009

Published: 07 Jun 2016

Dependencies (2)

  1. coq >= "8.5" & < "8.6~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None