Special computer algebra system for the computation in commutative and
non-commutative rings and modules. The central method is Buchberger's
algorithm and its generalizations to non-commutative rings, in
particular to free k-algebras and algebras of solvable type. Among the
implemented applications there are syzygy computations and basic ideal
operations. Felix provides a complete programming language which in
standard mode is interpreted but also on-line compiler and linker are
included.