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

Edit detail for SandBoxFrobeniusAlgebra revision 5 of 26

 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 Editor: Bill Page Time: 2011/02/11 20:41:35 GMT-8 Note: take 2

changed:
-the tensor 'Y' operates on their tensor product
the tensor 'Y' operates on their tensor product to yield a vector 'W'

changed:
-reindex(Yijk,[3,2,1])*Ui*Vj
Wk:=(reindex(Yijk,[3,2,1])*Ui)*Vj

changed:
-An n-dimensional algebra is represented by a tensor $Y=\{ {y^k}_{ji} \} \ i,j,k =1,2, ... n$ viewed as an operator with two inputs 'i,j' and output 'k'.
An n-dimensional algebra is represented by a tensor $Y=\{ {y^k}_{ji} \} \ i,j,k =1,2, ... n$ viewed as an operator with two inputs 'i,j' and one output 'k'.

removed:
-n:=2
-T:=CartesianTensor(1,n,EXPR INT)

removed:
-Ykji[1,1,2]
-Ykji[1,2,1]
-Ykji[2,1,1]

removed:
-Given two vectors 'U' and 'V'

changed:
-Ui:=unravel([script(u,[[],[i]]) for i in 1..n])$T -Vj:=unravel([script(v,[[],[i]]) for i in 1..n])$T
contract(contract(Ykji,3,product(Ui,Vj),1),2,3)
Wk:=(Ykji*Ui)*Vj

removed:
-the tensor 'Y' operates on their tensor product
-\begin{axiom}
-UVij:=product(Ui,Vj)
-UVij[1,2]
-UVij[2,1]
-YUV:=product(Ykji,UVij)
-YUV[1,1,1,1,2]
-YUV[1,1,1,2,1]
-YUV[1,1,2,1,1]
-YUV[1,2,1,1,1]
-YUV[2,1,1,1,1]
-contract(contract(YUV,3,4),2,3)
-contract(contract(Ykji,3,UVij,1),2,3)
-Ykji*Ui*Vj
-\end{axiom}


An n-dimensional algebra is represented by a tensor viewed as an operator with two inputs i,j and one output k.

axiom
n:=2
 (1)
Type: PositiveInteger?
axiom
T:=CartesianTensor(1,n,EXPR INT)
 (2)
Type: Domain
axiom
Yijk:=unravel(concat concat
[[[script(y,[[i,j],[k]])
for k in 1..n]
for j in 1..n]
for i in 1..n]
)$T  (3) Type: CartesianTensor?(1,2,Expression(Integer)) axiom reindex(Yijk,[3,1,2])  (4) Type: CartesianTensor?(1,2,Expression(Integer)) axiom Yijk[1,1,2]  (5) Type: Expression(Integer) axiom Yijk[1,2,1]  (6) Type: Expression(Integer) axiom Yijk[2,1,1]  (7) Type: Expression(Integer) Given two vectors U and V axiom Ui:=unravel([script(u,[[],[i]]) for i in 1..n])$T
 (8)
Type: CartesianTensor?(1,2,Expression(Integer))
axiom
Vj:=unravel([script(v,[[],[i]]) for i in
1..n])$T  (9) Type: CartesianTensor?(1,2,Expression(Integer)) the tensor Y operates on their tensor product to yield a vector W axiom UVij:=product(Ui,Vj)  (10) Type: CartesianTensor?(1,2,Expression(Integer)) axiom UVij[1,2]  (11) Type: Expression(Integer) axiom UVij[2,1]  (12) Type: Expression(Integer) axiom YUV:=product(Yijk,UVij)  (13) Type: CartesianTensor?(1,2,Expression(Integer)) axiom YUV[1,1,1,1,2]  (14) Type: Expression(Integer) axiom YUV[1,1,1,2,1]  (15) Type: Expression(Integer) axiom YUV[1,1,2,1,1]  (16) Type: Expression(Integer) axiom YUV[1,2,1,1,1]  (17) Type: Expression(Integer) axiom YUV[2,1,1,1,1]  (18) Type: Expression(Integer) axiom contract(contract(YUV,1,4),1,3)  (19) Type: CartesianTensor?(1,2,Expression(Integer)) axiom contract(contract(Yijk,1,UVij,1),1,3)  (20) Type: CartesianTensor?(1,2,Expression(Integer)) axiom Wk:=(reindex(Yijk,[3,2,1])*Ui)*Vj  (21) Type: CartesianTensor?(1,2,Expression(Integer)) Take 2 An n-dimensional algebra is represented by a tensor viewed as an operator with two inputs i,j and one output k. axiom Ykji:=unravel(concat concat [[[script(y,[[i,j],[k]]) for i in 1..n] for j in 1..n] for k in 1..n] )$T
 (22)
Type: CartesianTensor?(1,2,Expression(Integer))

axiom
contract(contract(Ykji,3,product(Ui,Vj),1),2,3)
 (23)
Type: CartesianTensor?(1,2,Expression(Integer))
axiom
Wk:=(Ykji*Ui)*Vj
 (24)
Type: CartesianTensor?(1,2,Expression(Integer))