|
|
|
last edited 13 years ago by Bill Page |
Edit detail for NonCommutativeLaurentPolynomials revision 1 of 1
| 1 | ||
|
Editor: Bill Page
Time: 2011/03/29 17:32:49 GMT-7 |
||
| Note: example | ||
changed: - Consider a noncommutative group ring over commuting polynomials \begin{axiom} NPOLY:=MonoidRing(Polynomial(Fraction(Integer)),FreeGroup(Symbol)) \end{axiom} Generators \begin{axiom} x:NPOLY:='x::FreeGroup Symbol y:NPOLY:='y::FreeGroup Symbol x':NPOLY:=('x::FreeGroup Symbol)^(-1) y':NPOLY:=('y::FreeGroup Symbol)^(-1) a:POLY FRAC INT := 'a::Symbol \end{axiom} Example \begin{axiom} p:=x*y*x+y (p+3*a+1)*x' \end{axiom}
Consider a noncommutative group ring over commuting polynomials
fricas
NPOLY:=MonoidRing(Polynomial(Fraction(Integer)),FreeGroup(Symbol))
 | (1) |
Type: Type
Generators
fricas
x:NPOLY:='x::FreeGroup Symbol
 | (2) |
fricas
y:NPOLY:='y::FreeGroup Symbol
 | (3) |
fricas
x':NPOLY:=('x::FreeGroup Symbol)^(-1)
 | (4) |
fricas
y':NPOLY:=('y::FreeGroup Symbol)^(-1)
 | (5) |
fricas
a:POLY FRAC INT := 'a::Symbol
 | (6) |
Type: Polynomial(Fraction(Integer))
Example
fricas
p:=x*y*x+y
 | (7) |
fricas
(p+3*a+1)*x'
 | (8) |