Geom (Calculemus)

Geom Module

Namespace: Calculemus
Assembly: Calculemus.dll

Geometry theorem proving.

Functions and values

Function or value	Description
`coordinate` Full Usage: `coordinate` Returns: `formula<fol> -> formula<fol>`	Returns: `formula<fol> -> formula<fol>`
`coordinations` Full Usage: `coordinations` Returns: `(string * formula<fol>) list`	Returns: `(string * formula<fol>) list`
`invariant (x', y') (s, z)` Full Usage: `invariant (x', y') (s, z)` Parameters: x' : `term` y' : `term` s : `string` z : `formula<fol>` Returns: `formula<fol>`	x' : `term` y' : `term` s : `string` z : `formula<fol>` Returns: `formula<fol>`
`invariant_under_rotation (arg1, arg2)` Full Usage: `invariant_under_rotation (arg1, arg2)` Parameters: arg0 : `string` arg1 : `formula<fol>` Returns: `formula<fol>`	arg0 : `string` arg1 : `formula<fol>` Returns: `formula<fol>`
`invariant_under_scaling (arg1, arg2)` Full Usage: `invariant_under_scaling (arg1, arg2)` Parameters: arg0 : `string` arg1 : `formula<fol>` Returns: `formula<fol>`	arg0 : `string` arg1 : `formula<fol>` Returns: `formula<fol>`
`invariant_under_shearing` Full Usage: `invariant_under_shearing` Returns: `string * formula<fol> -> formula<fol>`	Returns: `string * formula<fol> -> formula<fol>`
`invariant_under_translation` Full Usage: `invariant_under_translation` Returns: `string * formula<fol> -> formula<fol>`	Returns: `string * formula<fol> -> formula<fol>`
`originate fm` Full Usage: `originate fm` Parameters: fm : `formula<fol>` Returns: `formula<fol>`	fm : `formula<fol>` Returns: `formula<fol>`
`pprove vars triang p degens` Full Usage: `pprove vars triang p degens` Parameters: vars : `string list` triang : `term list` p : `term` degens : `formula<fol> list` Returns: `formula<fol> list`	vars : `string list` triang : `term list` p : `term` degens : `formula<fol> list` Returns: `formula<fol> list`
`triangulate vars consts pols` Full Usage: `triangulate vars consts pols` Parameters: vars : `string list` consts : `term list` pols : `term list` Returns: `term list`	vars : `string list` consts : `term list` pols : `term list` Returns: `term list`
`wu fm vars zeros` Full Usage: `wu fm vars zeros` Parameters: fm : `formula<fol>` vars : `string list` zeros : `string list` Returns: `formula<fol> list`	fm : `formula<fol>` vars : `string list` zeros : `string list` Returns: `formula<fol> list`