Interpolation (Calculemus)

Interpolation Module

Namespace: Calculemus
Assembly: Calculemus.dll

Constructive Craig/Robinson interpolation.

Functions and values

Function or value	Description
`cinterpolate p q` Full Usage: `cinterpolate p q` Parameters: p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`	p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`
`einterpolate p q` Full Usage: `einterpolate p q` Parameters: p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`	p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`
`interpolate p q` Full Usage: `interpolate p q` Parameters: p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`	p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`
`pinterpolate p q` Full Usage: `pinterpolate p q` Parameters: p : `formula<'a>` q : `formula<'a>` Returns: `formula<'a>`	p : `formula<'a>` q : `formula<'a>` Returns: `formula<'a>`
`topterms fns` Full Usage: `topterms fns` Parameters: fns : `(string * int) list` Returns: `formula<fol> -> term list`	fns : `(string * int) list` Returns: `formula<fol> -> term list`
`toptermt fns tm` Full Usage: `toptermt fns tm` Parameters: fns : `(string * int) list` tm : `term` Returns: `term list`	fns : `(string * int) list` tm : `term` Returns: `term list`
`uinterpolate p q` Full Usage: `uinterpolate p q` Parameters: p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`	p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`
`urinterpolate p q` Full Usage: `urinterpolate p q` Parameters: p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`	p : `formula<fol>` q : `formula<fol>` Returns: `formula<fol>`