[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] 20070915.01.tpd.patch
|
From: |
daly |
|
Subject: |
[Axiom-developer] 20070915.01.tpd.patch |
|
Date: |
Sat, 15 Sep 2007 11:41:02 -0500 |
This is a minor edit to fix regression test numbering in CartesianTensor.
The "of N" numbering is used on output to the .regress files and was not
properly included in this chunk.
=========================================================================
diff --git a/changelog b/changelog
index 04a20e2..d6c0bdd 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,4 @@
+20070915 tpd src/algebra/carten minor edit for regression cleanup
20070914 wxh src/hyper/hyper fix bad bracing of )hd change
20070914 tpd src/algebra/fraction.spad remove double )spool command
20070914 tpd src/algebra/kl.spad remove double )spool command
diff --git a/src/algebra/carten.spad.pamphlet b/src/algebra/carten.spad.pamphlet
index 85f7027..5dfedb0 100644
--- a/src/algebra/carten.spad.pamphlet
+++ b/src/algebra/carten.spad.pamphlet
@@ -108,7 +108,7 @@ GradedAlgebra(R: CommutativeRing, E: AbelianMonoid):
Category ==
)set message test on
)set message auto off
)clear all
---S 1
+--S 1 of 48
CT := CARTEN(i0 := 1, 2, Integer)
--R
--R
@@ -116,7 +116,7 @@ CT := CARTEN(i0 := 1, 2, Integer)
--R Type:
Domain
--E 1
---S 2
+--S 2 of 48
t0: CT := 8
--R
--R
@@ -124,7 +124,7 @@ t0: CT := 8
--R Type:
CartesianTensor(1,2,Integer)
--E 2
---S 3
+--S 3 of 48
rank t0
--R
--R
@@ -132,7 +132,7 @@ rank t0
--R Type:
NonNegativeInteger
--E 3
---S 4
+--S 4 of 48
v: DirectProduct(2, Integer) := directProduct [3,4]
--R
--R
@@ -140,7 +140,7 @@ v: DirectProduct(2, Integer) := directProduct [3,4]
--R Type:
DirectProduct(2,Integer)
--E 4
---S 5
+--S 5 of 48
Tv: CT := v
--R
--R
@@ -148,7 +148,7 @@ Tv: CT := v
--R Type:
CartesianTensor(1,2,Integer)
--E 5
---S 6
+--S 6 of 48
m: SquareMatrix(2, Integer) := matrix [ [1,2],[4,5] ]
--R
--R
@@ -158,7 +158,7 @@ m: SquareMatrix(2, Integer) := matrix [ [1,2],[4,5] ]
--R Type:
SquareMatrix(2,Integer)
--E 6
---S 7
+--S 7 of 48
Tm: CT := m
--R
--R
@@ -168,7 +168,7 @@ Tm: CT := m
--R Type:
CartesianTensor(1,2,Integer)
--E 7
---S 8
+--S 8 of 48
n: SquareMatrix(2, Integer) := matrix [ [2,3],[0,1] ]
--R
--R
@@ -178,7 +178,7 @@ n: SquareMatrix(2, Integer) := matrix [ [2,3],[0,1] ]
--R Type:
SquareMatrix(2,Integer)
--E 8
---S 9
+--S 9 of 48
Tn: CT := n
--R
--R
@@ -188,7 +188,7 @@ Tn: CT := n
--R Type:
CartesianTensor(1,2,Integer)
--E 9
---S 10
+--S 10 of 48
t1: CT := [2, 3]
--R
--R
@@ -196,7 +196,7 @@ t1: CT := [2, 3]
--R Type:
CartesianTensor(1,2,Integer)
--E 10
---S 11
+--S 11 of 48
rank t1
--R
--R
@@ -204,7 +204,7 @@ rank t1
--R Type:
PositiveInteger
--E 11
---S 12
+--S 12 of 48
t2: CT := [t1, t1]
--R
--R
@@ -214,7 +214,7 @@ t2: CT := [t1, t1]
--R Type:
CartesianTensor(1,2,Integer)
--E 12
---S 13
+--S 13 of 48
t3: CT := [t2, t2]
--R
--R
@@ -224,7 +224,7 @@ t3: CT := [t2, t2]
--R Type:
CartesianTensor(1,2,Integer)
--E 13
---S 14
+--S 14 of 48
tt: CT := [t3, t3]; tt := [tt, tt]
--R
--R
@@ -238,7 +238,7 @@ tt: CT := [t3, t3]; tt := [tt, tt]
--R Type:
CartesianTensor(1,2,Integer)
--E 14
---S 15
+--S 15 of 48
rank tt
--R
--R
@@ -246,7 +246,7 @@ rank tt
--R Type:
PositiveInteger
--E 15
---S 16
+--S 16 of 48
Tmn := product(Tm, Tn)
--R
--R
@@ -260,7 +260,7 @@ Tmn := product(Tm, Tn)
--R Type:
CartesianTensor(1,2,Integer)
--E 16
---S 17
+--S 17 of 48
Tmv := contract(Tm,2,Tv,1)
--R
--R
@@ -268,7 +268,7 @@ Tmv := contract(Tm,2,Tv,1)
--R Type:
CartesianTensor(1,2,Integer)
--E 17
---S 18
+--S 18 of 48
Tm*Tv
--R
--R
@@ -276,7 +276,7 @@ Tm*Tv
--R Type:
CartesianTensor(1,2,Integer)
--E 18
---S 19
+--S 19 of 48
Tmv = m * v
--R
--R
@@ -284,7 +284,7 @@ Tmv = m * v
--R Type: Equation
CartesianTensor(1,2,Integer)
--E 19
---S 20
+--S 20 of 48
t0()
--R
--R
@@ -292,7 +292,7 @@ t0()
--R Type:
PositiveInteger
--E 20
---S 21
+--S 21 of 48
t1(1+1)
--R
--R
@@ -300,7 +300,7 @@ t1(1+1)
--R Type:
PositiveInteger
--E 21
---S 22
+--S 22 of 48
t2(2,1)
--R
--R
@@ -308,7 +308,7 @@ t2(2,1)
--R Type:
PositiveInteger
--E 22
---S 23
+--S 23 of 48
t3(2,1,2)
--R
--R
@@ -316,7 +316,7 @@ t3(2,1,2)
--R Type:
PositiveInteger
--E 23
---S 24
+--S 24 of 48
Tmn(2,1,2,1)
--R
--R
@@ -324,7 +324,7 @@ Tmn(2,1,2,1)
--R Type:
NonNegativeInteger
--E 24
---S 25
+--S 25 of 48
t0[]
--R
--R
@@ -332,7 +332,7 @@ t0[]
--R Type:
PositiveInteger
--E 25
---S 26
+--S 26 of 48
t1[2]
--R
--R
@@ -340,7 +340,7 @@ t1[2]
--R Type:
PositiveInteger
--E 26
---S 27
+--S 27 of 48
t2[2,1]
--R
--R
@@ -348,7 +348,7 @@ t2[2,1]
--R Type:
PositiveInteger
--E 27
---S 28
+--S 28 of 48
t3[2,1,2]
--R
--R
@@ -356,7 +356,7 @@ t3[2,1,2]
--R Type:
PositiveInteger
--E 28
---S 29
+--S 29 of 48
Tmn[2,1,2,1]
--R
--R
@@ -364,7 +364,7 @@ Tmn[2,1,2,1]
--R Type:
NonNegativeInteger
--E 29
---S 30
+--S 30 of 48
cTmn := contract(Tmn,1,2)
--R
--R
@@ -374,7 +374,7 @@ cTmn := contract(Tmn,1,2)
--R Type:
CartesianTensor(1,2,Integer)
--E 30
---S 31
+--S 31 of 48
trace(m) * n
--R
--R
@@ -384,7 +384,7 @@ trace(m) * n
--R Type:
SquareMatrix(2,Integer)
--E 31
---S 32
+--S 32 of 48
contract(Tmn,1,2) = trace(m) * n
--R
--R
@@ -394,7 +394,7 @@ contract(Tmn,1,2) = trace(m) * n
--R Type: Equation
CartesianTensor(1,2,Integer)
--E 32
---S 33
+--S 33 of 48
contract(Tmn,1,3) = transpose(m) * n
--R
--R
@@ -404,7 +404,7 @@ contract(Tmn,1,3) = transpose(m) * n
--R Type: Equation
CartesianTensor(1,2,Integer)
--E 33
---S 34
+--S 34 of 48
contract(Tmn,1,4) = transpose(m) * transpose(n)
--R
--R
@@ -414,7 +414,7 @@ contract(Tmn,1,4) = transpose(m) * transpose(n)
--R Type: Equation
CartesianTensor(1,2,Integer)
--E 34
---S 35
+--S 35 of 48
contract(Tmn,2,3) = m * n
--R
--R
@@ -424,7 +424,7 @@ contract(Tmn,2,3) = m * n
--R Type: Equation
CartesianTensor(1,2,Integer)
--E 35
---S 36
+--S 36 of 48
contract(Tmn,2,4) = m * transpose(n)
--R
--R
@@ -434,7 +434,7 @@ contract(Tmn,2,4) = m * transpose(n)
--R Type: Equation
CartesianTensor(1,2,Integer)
--E 36
---S 37
+--S 37 of 48
contract(Tmn,3,4) = trace(n) * m
--R
--R
@@ -444,7 +444,7 @@ contract(Tmn,3,4) = trace(n) * m
--R Type: Equation
CartesianTensor(1,2,Integer)
--E 37
---S 38
+--S 38 of 48
tTmn := transpose(Tmn,1,3)
--R
--R
@@ -458,7 +458,7 @@ tTmn := transpose(Tmn,1,3)
--R Type:
CartesianTensor(1,2,Integer)
--E 38
---S 39
+--S 39 of 48
transpose Tmn
--R
--R
@@ -472,7 +472,7 @@ transpose Tmn
--R Type:
CartesianTensor(1,2,Integer)
--E 39
---S 40
+--S 40 of 48
transpose Tm = transpose m
--R
--R
@@ -482,7 +482,7 @@ transpose Tm = transpose m
--R Type: Equation
CartesianTensor(1,2,Integer)
--E 40
---S 41
+--S 41 of 48
rTmn := reindex(Tmn, [1,4,2,3])
--R
--R
@@ -496,7 +496,7 @@ rTmn := reindex(Tmn, [1,4,2,3])
--R Type:
CartesianTensor(1,2,Integer)
--E 41
---S 42
+--S 42 of 48
tt := transpose(Tm)*Tn - Tn*transpose(Tm)
--R
--R
@@ -506,7 +506,7 @@ tt := transpose(Tm)*Tn - Tn*transpose(Tm)
--R Type:
CartesianTensor(1,2,Integer)
--E 42
---S 43
+--S 43 of 48
Tv*(tt+Tn)
--R
--R
@@ -514,7 +514,7 @@ Tv*(tt+Tn)
--R Type:
CartesianTensor(1,2,Integer)
--E 43
---S 44
+--S 44 of 48
reindex(product(Tn,Tn),[4,3,2,1])+3*Tn*product(Tm,Tm)
--R
--R
@@ -528,7 +528,7 @@ reindex(product(Tn,Tn),[4,3,2,1])+3*Tn*product(Tm,Tm)
--R Type:
CartesianTensor(1,2,Integer)
--E 44
---S 45
+--S 45 of 48
delta: CT := kroneckerDelta()
--R
--R
@@ -538,7 +538,7 @@ delta: CT := kroneckerDelta()
--R Type:
CartesianTensor(1,2,Integer)
--E 45
---S 46
+--S 46 of 48
contract(Tmn, 2, delta, 1) = reindex(Tmn, [1,3,4,2])
--R
--R
@@ -552,7 +552,7 @@ contract(Tmn, 2, delta, 1) = reindex(Tmn, [1,3,4,2])
--R Type: Equation
CartesianTensor(1,2,Integer)
--E 46
---S 47
+--S 47 of 48
epsilon:CT := leviCivitaSymbol()
--R
--R
@@ -562,7 +562,7 @@ epsilon:CT := leviCivitaSymbol()
--R Type:
CartesianTensor(1,2,Integer)
--E 47
---S 48
+--S 48 of 48
contract(epsilon*Tm*epsilon, 1,2) = 2 * determinant m
--R
--R
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] 20070915.01.tpd.patch,
daly <=