# Category:ApCoCoA-1:Package weyl

In the previous version of the ApCoCoA, one can use Groebner basis computation in commutative polynomial rings. However, Groebner basis can also be computed in non-commutative algebras. One such computation for Groebner basis in Weyl algebras was implemented in CoCoALib. Weyl package is designed to use this implementation and other operations in Weyl algebra.

The dimensional Weyl algebra over a field , is a non-commutative free associative algebra modulo the following commutation relations:

for

and

where . Thus in .

may be considered as a ring of differential operators with polynomial coefficients
in and denotes the differentiation with respect to . According to the
commutation relation, elements of can be represented as a -linear combination
of monomials . The element in this form is then called in **Normal Form**.

In Weyl package, we represent such monomial as x[1]^i[1]*...*x[n]^i[n]*y[1]^j[1]*...*y[n]^j[n] like in the case of commutative polynomial. That is, Weyl Polynomials of that are in Normal Form are given as polynomials in ApCoCoA. However, Weyl polynomials that are not in Normal form should be first converted into Normal form using the function Weyl.WNormalForm(L). Where L is a list of Lists. See below for description of the use of this function.

Addition and subtraction can be done by +, -, but because of the non-commutativity of multiplication is performed by calling the function Weyl.WMul(). Hence in Weyl package, one can work with Weyl algebra using commutative polynomial rings in 2n indeterminates over the field or where is a prime number.

**Note:**

1) Due to commutativity of ApCoCoA, yx=xy. So for every function in the package, it is not possible to check if the input polynomial F is in normal form or not. Thus if any of the monomial in F is of the form y^A*x^B then 1st use WNormalForm(L) to convert F into its normal form (here L is a list of lists representing monomials in F).

2) To make all functions in Weyl package different from functions in other packages of ApCoCoA, each function name in Weyl package starts with letter 'W'. For example, WNormalForm(), WGB(), etc.

## Pages in category "ApCoCoA-1:Package weyl"

The following 22 pages are in this category, out of 22 total.

### W

- ApCoCoA-1:Weyl.AnnFs
- ApCoCoA-1:Weyl.BFs
- ApCoCoA-1:Weyl.CharI
- ApCoCoA-1:Weyl.InIw
- ApCoCoA-1:Weyl.Inw
- ApCoCoA-1:Weyl.IsHolonomic
- ApCoCoA-1:Weyl.TwoWGB
- ApCoCoA-1:Weyl.WDim
- ApCoCoA-1:Weyl.WeylMul
- ApCoCoA-1:Weyl.WGB
- ApCoCoA-1:Weyl.WLT
- ApCoCoA-1:Weyl.WMul
- ApCoCoA-1:Weyl.WMulByMonom
- ApCoCoA-1:Weyl.WMult
- ApCoCoA-1:Weyl.WNormalRemainder
- ApCoCoA-1:Weyl.WNR
- ApCoCoA-1:Weyl.WPower
- ApCoCoA-1:Weyl.WRedGB
- ApCoCoA-1:Weyl.WRGB
- ApCoCoA-1:Weyl.WRGBS
- ApCoCoA-1:Weyl.WSPoly
- ApCoCoA-1:Weyl.WStandardForm