login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
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




  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: