package polynomial

All checked builds pass
  1. Overview
  2. Docs
Polynomials over finite fields

Install 

dune-project
 Dependency

gitlab.com Readme Changelog Edit opam file Versions (2)

Authors

  1. D
    Danny Willems <be.danny.willems@gmail.com>

Maintainers

  1. D
    Danny Willems <be.danny.willems@gmail.com>

Sources

ocaml-polynomial-0.4.0.tar.gz
md5=0ec793314441a5a1106cdf57d1e09304
sha512=1b474604c31c152d0539f912c08fac0c41d61da0ffd27270f37d7121e851ac9cc4f03ca3bb061da266039189a92d4fb50eb0d366ade5814b62cfa03289310515

Description

Polynomials over finite fields

Added to opam-repository:

README

ocaml-polynomial

Play with polynomial

Examples

Let's have an example with fields

opam switch create . 4.09.1
opam install . -y --with-test --deps-only
opam install . -y
opam install utop
dune utop
#require "ff";
module F379 = Ff.MakeFp(struct let prime_order = Z.of_int 379 end);;
module Poly379 = Polynomial.Make(F379);;
let points =
  [ (F379.of_string "2", F379.of_string "3");
    (F379.of_string "0", F379.of_string "1") ]
in
let interpolated_polynomial = Poly.lagrange_interpolation points in
assert (
  Poly.equal
    (Poly.of_coefficients
       [ (F379.of_string "1", 1);
         (F379.of_string "1", 0) ])
    interpolated_polynomial )

JavaScript compatibility

This library can be transpiled in JavaScript using js_of_ocaml. An example is provided in js/test_js.ml, with the corresponding dune file.

How to help

Install merlin and ocamlformat.0.15.0

opam install merlin ocamlformat.0.15.0

Install

opam install polynomial

Coverage

opam install bisect_ppx -y
dune runtest --instrument-with bisect_ppx --force
bisect-ppx-report html

Dependencies (3)

  1. ff-sig >= "0.6.1" & < "0.7.0"
  2. zarith >= "1.9.1" & < "2.0.0"
  3. dune >= "2.7"

Dev Dependencies (6)

  1. zarith_stubs_js with-test
  2. js_of_ocaml-ppx with-test
  3. js_of_ocaml with-test
  4. bisect_ppx with-test & >= "2.5.0"
  5. ff with-test & >= "0.6.1" & < "0.7.0"
  6. alcotest with-test

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

Results of building polynomial with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.4.0 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure