File: decode.mli

package info (click to toggle)
sks 1.1.6-14
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 2,296 kB
  • sloc: ml: 15,228; ansic: 1,069; sh: 358; makefile: 347
file content (7 lines) | stat: -rw-r--r-- 270 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
exception Low_mbar
exception Interpolation_failure
val interpolate :
  values:ZZp.zz array -> points:ZZp.zz array -> d:int -> Poly.t * Poly.t
val factor : Poly.t -> ZZp.Set.t
val reconcile :
  values:ZZp.zz array -> points:ZZp.zz array -> d:int -> ZZp.Set.t * ZZp.Set.t