MathAction noncommutative Groebner bases

Topics

FrontPage
- FriCAS
  - FriCASAdvantages
    - noncommutative Groebner bases <-- You are here.
- FriCAS Library
  - FriCAS Library Examples
    - NoncommutativePolynomials
      - noncommutative Groebner bases <-- You are here.

FriCAS can compute Groebner bases for noncommutative polynomial rings of solvable type (of category SolvableSkewPolynomialCategory?). Below we give example using partial differential operators:

fricas

(1) -> Pdo := PartialDifferentialOperator(Polynomial(Integer), Symbol)

$\label{eq1}\hbox{\axiomType{PartialDifferentialOperator}\ } (\hbox{\axiomType{Polynomial}\ } (\hbox{\axiomType{Integer}\ }) , \hbox{\axiomType{Symbol}\ })$

(1)

Type: Type

fricas

xx := D(x)$Pdo + y*D(z)$Pdo

$\label{eq2}{y \ {D_{z}}}+{D_{x}}$

(2)

Type: PartialDifferentialOperator?(Polynomial(Integer),Symbol)

fricas

yy := D(y)$Pdo - x*D(z)$Pdo

$\label{eq3}-{x \ {D_{z}}}+{D_{y}}$

(3)

Type: PartialDifferentialOperator?(Polynomial(Integer),Symbol)

fricas

L := xx*xx + yy*yy

$\label{eq4}{{\left({{y}^{2}}+{{x}^{2}}\right)}\ {{D_{z}}^{2}}}+{{\left(-{2 \ x \ {D_{y}}}+{2 \ y \ {D_{x}}}\right)}\ {D_{z}}}+{{D_{y}}^{2}}+{{D_{x}}^{2}}$

(4)

Type: PartialDifferentialOperator?(Polynomial(Integer),Symbol)

fricas

gPak := NGroebnerPackage(Polynomial(Integer), IndexedExponents(Symbol), Pdo)

$\label{eq5}\hbox{\axiomType{NGroebnerPackage}\ } (\hbox{\axiomType{Polynomial}\ } (\hbox{\axiomType{Integer}\ }) , \hbox{\axiomType{IndexedExponents}\ } (\hbox{\axiomType{Symbol}\ }) , \hbox{\axiomType{PartialDifferentialOperator}\ } (\hbox{\axiomType{Polynomial}\ } (\hbox{\axiomType{Integer}\ }) , \hbox{\axiomType{Symbol}\ }))$

(5)

Type: Type

fricas

groebner([L, xx])$gPak

$\label{eq6}\left[{{y \ {D_{z}}}+{D_{x}}}, \:{{D_{y}}^{2}}, \:{{y \ {D_{x}}\ {D_{y}}}-{D_{x}}}, \:{{D_{x}}^{2}}\right]$

(6)

Type: List(PartialDifferentialOperator?(Polynomial(Integer),Symbol))

Subject: Be Bold !!

	( 14 subscribers )