MathAction SandBoxDemoXFreeAlgebra

login home contents what's new discussion bug reports help links subscribe changes refresh edit

SandBox

SandBoxDefineInteger ← ↑ → SandBoxDifferentialEquations

SandBoxDemoXFreeAlgebra
last edited 5 years ago by pagani

Topics

FrontPage
- SandBox
  - SandBoxDemoXFreeAlgebra <-- You are here.

fricas (1) ->

Category: XFreeAlgebra(vl : OrderedSet, R : Ring) : Category -- ++ Author: Michel Petitot petitot@lifl.fr -- ++ Date Created: 91 -- should be enough to impl TensorAlgebra(R-Module), R comm. ? -- see also SandBoxFreeProduct by B.P.
B:=OrderedVariableList [b[i] for i in 1..5]

\label{eq1}\hbox{\axiomType{OrderedVariableList}\ } \left({\left[{b_{1}}, \:{b_{2}}, \:{b_{3}}, \:{b_{4}}, \:{b_{5}}\right]}\right) (1)

Type: Type

fricas

R:=Expression Integer

\label{eq2}\hbox{\axiomType{Expression}\ } \left({\hbox{\axiomType{Integer}\ }}\right) (2)

Type: Type

fricas

X:=XDistributedPolynomial(B,R)

\label{eq3}\hbox{\axiomType{XDistributedPolynomial}\ } \left({{\hbox{\axiomType{OrderedVariableList}\ } \left({\left[{b_{1}}, \:{b_{2}}, \:{b_{3}}, \:{b_{4}}, \:{b_{5}}\right]}\right)}, \:{\hbox{\axiomType{Expression}\ } \left({\hbox{\axiomType{Integer}\ }}\right)}}\right) (3)

Type: Type

fricas

b:=[a::X for a in enumerate()$B]

\label{eq4}\left[{b_{1}}, \:{b_{2}}, \:{b_{3}}, \:{b_{4}}, \:{b_{5}}\right] (4)

Type: List(XDistributedPolynomial(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]),Expression(Integer)))

fricas

t0:=0$X

\label{eq5}0 (5)

Type: XDistributedPolynomial(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]),Expression(Integer))

fricas

t1:=1$X

\label{eq6}1 (6)

Type: XDistributedPolynomial(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]),Expression(Integer))

fricas

t2:=b.1*b.2

\label{eq7}{b_{1}}\ {b_{2}} (7)

Type: XDistributedPolynomial(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]),Expression(Integer))

fricas

t3:=b.3*t2 - t2*b.3

\label{eq8}{{b_{3}}\ {b_{1}}\ {b_{2}}}-{{b_{1}}\ {b_{2}}\ {b_{3}}} (8)

Type: XDistributedPolynomial(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]),Expression(Integer))

fricas

vl:=varList t3

\label{eq9}\left[{b_{3}}, \:{b_{2}}, \:{b_{1}}\right] (9)

Type: List(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]))

fricas

leadingMonomial t3

\label{eq10}-{{b_{1}}\ {b_{2}}\ {b_{3}}} (10)

Type: XDistributedPolynomial(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]),Expression(Integer))

fricas

reductum t3

\label{eq11}{b_{3}}\ {b_{1}}\ {b_{2}} (11)

Type: XDistributedPolynomial(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]),Expression(Integer))

fricas

degree t3

\label{eq12}3 (12)

Type: PositiveInteger?

fricas

t4:=x*t3+y^2*t2+z^3*t1

\label{eq13}{{z}^{3}}+{{{y}^{2}}\ {b_{1}}\ {b_{2}}}+{x \ {b_{3}}\ {b_{1}}\ {b_{2}}}-{x \ {b_{1}}\ {b_{2}}\ {b_{3}}} (13)

Type: XDistributedPolynomial(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]),Expression(Integer))

fricas

degree t4

\label{eq14}3 (14)

Type: PositiveInteger?

fricas

leadingMonomial t4

\label{eq15}-{x \ {b_{1}}\ {b_{2}}\ {b_{3}}} (15)

Type: XDistributedPolynomial(OrderedVariableList([b[1],b[2],b[3],b[4],b[5]]),Expression(Integer))

fricas

degree t4

\label{eq16}3 (16)

Type: PositiveInteger?

fricas

leadingCoefficient t4

\label{eq17}- x (17)

Type: Expression(Integer)

fricas

coefficients t4

\label{eq18}\left[ - x , \: x , \:{{y}^{2}}, \:{{z}^{3}}\right] (18)

Type: List(Expression(Integer))

fricas

X has XFreeAlgebra(B,R)

\label{eq19} \mbox{\rm true} (19)

Type: Boolean