|
1
|
|
Editor: pagani
Time: 2020/01/30 18:28:27 GMT+0
|
Note:
|
changed:
-
\begin{axiom}
n:=5000 -- whatever PI
B:=OrderedVariableList [e[i] for i in 1..3]
e:=enumerate()$B
--List(Symbol) has OrderedSet
B has OrderedSet
R:=Expression Integer
R has CommutativeRing
M:=FreeModule(R, B)
TP:=TensorPower(n,R,B,M)
t1:=tensor([e.1,e.2,e.3,e.1,e.2])$TP
t2:=tensor([e.1,e.2,e.3,e.1])$TP
t3:=tensor([e.1,e.2,e.3,e.2])$TP
t4:=tensor([e.1,e.2,e.3])$TP
T:=x*t1+y^2*t2+z^3*t3-u*t4
support T
numberOfMonomials T
leadingTerm T
leadingCoefficient T
reductum T
\end{axiom}
fricas
n:=5000
- whatever PI
fricas
B:=OrderedVariableList [e[i] for i in 1..3]
Type: Type
fricas
e:=enumerate()$B
fricas
--List(Symbol) has OrderedSet
B has OrderedSet
Type: Boolean
fricas
R:=Expression Integer
Type: Type
fricas
R has CommutativeRing
Type: Boolean
fricas
M:=FreeModule(R, B)
Type: Type
fricas
TP:=TensorPower(n,R,B,M)
Type: Type
fricas
t1:=tensor([e.1,e.2,e.3,e.1,e.2])$TP
fricas
t2:=tensor([e.1,e.2,e.3,e.1])$TP
fricas
t3:=tensor([e.1,e.2,e.3,e.2])$TP
fricas
t4:=tensor([e.1,e.2,e.3])$TP
fricas
T:=x*t1+y^2*t2+z^3*t3-u*t4
fricas
support T
fricas
numberOfMonomials T
fricas
leadingTerm T
fricas
leadingCoefficient T
Type: Expression(Integer)
fricas
reductum T