Calix

Calix

Calix is a software package written in Aldor to computed Gröbner and involutive bases for commutative and non-commutative polynomial rings and modules.

In fact, Calix implements a `critical pair/completion' algorithm that is highly adjustable by plugging in different domains for the coefficients, the terms, the (non-commutative) polynomials, the simplifiers, the critical elements.

Calix already provides several domains for Gröbner bases and involutive bases computations

with coefficients belonging to rational numbers, rational functions, or Galois fields
for ideals and modules
with commutative polynomials or Ore-type non-commutative polynomials
with sugar or normal strategy
with respect to several involutive divisions

Calix is able to compute the representation of the Gröbner bases polynomials with respect to the given ones.

This web page is under construction. For more information contact me personally via email.

September 1, 2009

Calix