Grobner (Calculemus)

Grobner Module

Namespace: Calculemus
Assembly: Calculemus.dll

Grobner bases.

Functions and values

Function or value	Description
`grobner basis pairs` Full Usage: `grobner basis pairs` Parameters: basis : `(bigint * int list) list list` pairs : `((bigint * int list) list * (bigint * int list) list) list` Returns: `(bigint * int list) list list`	basis : `(bigint * int list) list list` pairs : `((bigint * int list) list * (bigint * int list) list) list` Returns: `(bigint * int list) list list`
`grobner_basis vars pols` Full Usage: `grobner_basis vars pols` Parameters: vars : `string list` pols : `formula<fol> list` Returns: `term list`	vars : `string list` pols : `formula<fol> list` Returns: `term list`
`grobner_decide fm` Full Usage: `grobner_decide fm` Parameters: fm : `formula<fol>` Returns: `bool`	fm : `formula<fol>` Returns: `bool`
`grobner_trivial fms` Full Usage: `grobner_trivial fms` Parameters: fms : `formula<fol> list` Returns: `bool`	fms : `formula<fol> list` Returns: `bool`
`groebner basis` Full Usage: `groebner basis` Parameters: basis : `(bigint * int list) list list` Returns: `(bigint * int list) list list`	basis : `(bigint * int list) list list` Returns: `(bigint * int list) list list`
`mdiv` Full Usage: `mdiv` Returns: `BigInteger * int list -> bigint * int list -> BigInteger * int list`	Returns: `BigInteger * int list -> bigint * int list -> BigInteger * int list`
`mlcm (c1, m1) (c2, m2)` Full Usage: `mlcm (c1, m1) (c2, m2)` Parameters: c1 : `'a` m1 : `'b list` c2 : `'c` m2 : `'b list` Returns: `bigint * 'b list`	c1 : `'a` m1 : `'b list` c2 : `'c` m2 : `'b list` Returns: `bigint * 'b list`
`mmul (c1, m1) (c2, m2)` Full Usage: `mmul (c1, m1) (c2, m2)` Parameters: c1 : `BigInteger` m1 : `int list` c2 : `bigint` m2 : `int list` Returns: `bigint * int list`	c1 : `BigInteger` m1 : `int list` c2 : `bigint` m2 : `int list` Returns: `bigint * int list`
`morder_lt m1 m2` Full Usage: `morder_lt m1 m2` Parameters: m1 : `int list` m2 : `int list` Returns: `bool`	m1 : `int list` m2 : `int list` Returns: `bool`
`mpoly_add l1 l2` Full Usage: `mpoly_add l1 l2` Parameters: l1 : `(bigint * int list) list` l2 : `(bigint * int list) list` Returns: `(bigint * int list) list`	l1 : `(bigint * int list) list` l2 : `(bigint * int list) list` Returns: `(bigint * int list) list`
`mpoly_const vars c` Full Usage: `mpoly_const vars c` Parameters: vars : `'a list` c : `bigint` Returns: `(bigint * int list) list`	vars : `'a list` c : `bigint` Returns: `(bigint * int list) list`
`mpoly_div p q` Full Usage: `mpoly_div p q` Parameters: p : `(BigInteger * int list) list` q : `(BigInteger * int list) list` Returns: `(bigint * int list) list`	p : `(BigInteger * int list) list` q : `(BigInteger * int list) list` Returns: `(bigint * int list) list`
`mpoly_inv p` Full Usage: `mpoly_inv p` Parameters: p : `(BigInteger * int list) list` Returns: `(BigInteger * int list) list`	p : `(BigInteger * int list) list` Returns: `(BigInteger * int list) list`
`mpoly_mmul (arg1, arg2) pol` Full Usage: `mpoly_mmul (arg1, arg2) pol` Parameters: arg0 : `BigInteger` arg1 : `int list` pol : `(bigint * int list) list` Returns: `(bigint * int list) list`	arg0 : `BigInteger` arg1 : `int list` pol : `(bigint * int list) list` Returns: `(bigint * int list) list`
`mpoly_mul l1 l2` Full Usage: `mpoly_mul l1 l2` Parameters: l1 : `(BigInteger * int list) list` l2 : `(bigint * int list) list` Returns: `(bigint * int list) list`	l1 : `(BigInteger * int list) list` l2 : `(bigint * int list) list` Returns: `(bigint * int list) list`
`mpoly_neg` Full Usage: `mpoly_neg` Returns: `(bigint * int list) list -> (bigint * int list) list`	Returns: `(bigint * int list) list -> (bigint * int list) list`
`mpoly_pow vars l n` Full Usage: `mpoly_pow vars l n` Parameters: vars : `'a list` l : `(BigInteger * int list) list` n : `int` Returns: `(bigint * int list) list`	vars : `'a list` l : `(BigInteger * int list) list` n : `int` Returns: `(bigint * int list) list`
`mpoly_sub l1 l2` Full Usage: `mpoly_sub l1 l2` Parameters: l1 : `(bigint * int list) list` l2 : `(bigint * int list) list` Returns: `(bigint * int list) list`	l1 : `(bigint * int list) list` l2 : `(bigint * int list) list` Returns: `(bigint * int list) list`
`mpoly_var vars x` Full Usage: `mpoly_var vars x` Parameters: vars : `'a list` x : `'a` Returns: `(bigint * int list) list`	vars : `'a list` x : `'a` Returns: `(bigint * int list) list`
`mpolyatom vars fm` Full Usage: `mpolyatom vars fm` Parameters: vars : `string list` fm : `formula<fol>` Returns: `(bigint * int list) list`	vars : `string list` fm : `formula<fol>` Returns: `(bigint * int list) list`
`mpolynate vars tm` Full Usage: `mpolynate vars tm` Parameters: vars : `string list` tm : `term` Returns: `(bigint * int list) list`	vars : `string list` tm : `term` Returns: `(bigint * int list) list`
`rabinowitsch vars v p` Full Usage: `rabinowitsch vars v p` Parameters: vars : `'a list` v : `'a` p : `(bigint * int list) list` Returns: `(bigint * int list) list`	vars : `'a list` v : `'a` p : `(bigint * int list) list` Returns: `(bigint * int list) list`
`reduce pols pol` Full Usage: `reduce pols pol` Parameters: pols : `(bigint * int list) list list` pol : `(bigint * int list) list` Returns: `(bigint * int list) list`	pols : `(bigint * int list) list list` pol : `(bigint * int list) list` Returns: `(bigint * int list) list`
`reduce1 (arg1, arg2) pol` Full Usage: `reduce1 (arg1, arg2) pol` Parameters: arg0 : `BigInteger` arg1 : `int list` pol : `(bigint * int list) list` Returns: `(bigint * int list) list`	arg0 : `BigInteger` arg1 : `int list` pol : `(bigint * int list) list` Returns: `(bigint * int list) list`
`reduceb (arg1, arg2) pols` Full Usage: `reduceb (arg1, arg2) pols` Parameters: arg0 : `BigInteger` arg1 : `int list` pols : `(bigint * int list) list list` Returns: `(bigint * int list) list`	arg0 : `BigInteger` arg1 : `int list` pols : `(bigint * int list) list list` Returns: `(bigint * int list) list`
`spoly pol1 pol2` Full Usage: `spoly pol1 pol2` Parameters: pol1 : `(bigint * int list) list` pol2 : `(bigint * int list) list` Returns: `(bigint * int list) list`	pol1 : `(bigint * int list) list` pol2 : `(bigint * int list) list` Returns: `(bigint * int list) list`
`term_of_monomial vars (c, m)` Full Usage: `term_of_monomial vars (c, m)` Parameters: vars : `string list` c : `bigint` m : `int list` Returns: `term`	vars : `string list` c : `bigint` m : `int list` Returns: `term`
`term_of_poly vars pol` Full Usage: `term_of_poly vars pol` Parameters: vars : `string list` pol : `(bigint * int list) list` Returns: `term`	vars : `string list` pol : `(bigint * int list) list` Returns: `term`
`term_of_varpow vars (x, k)` Full Usage: `term_of_varpow vars (x, k)` Parameters: vars : `'a` x : `string` k : `int` Returns: `term`	vars : `'a` x : `string` k : `int` Returns: `term`
`term_of_varpows vars lis` Full Usage: `term_of_varpows vars lis` Parameters: vars : `string list` lis : `int list` Returns: `term`	vars : `string list` lis : `int list` Returns: `term`