-
Notifications
You must be signed in to change notification settings - Fork 1
/
test_kronecker.py
50 lines (40 loc) · 1.72 KB
/
test_kronecker.py
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
from sympy import Symbol
from symla.kronecker import FiniteVectorSpace
from symla.kronecker import Matrix
from symla.kronecker import Kron
# ====================================================================
def test_kronecker_1():
V = FiniteVectorSpace('V')
a, b, c, d = [Matrix(i, V, V) for i in ['a', 'b', 'c', 'd']]
alpha, beta, gamma = [Symbol(i) for i in ['alpha', 'beta', 'gamma']]
# .....................................
# Kron can be called without evaluation
assert(not(Kron(a, b+c, evaluate=False) == Kron(a,b) + Kron(a,c)))
# Distributivity
assert(Kron(a, b+c) == Kron(a,b) + Kron(a,c))
assert(Kron(a+b, c) == Kron(a,c) + Kron(b,c))
assert(Kron(a, beta*b) == beta * Kron(a,b))
assert(Kron(alpha*a, b) == alpha * Kron(a,b))
assert(Kron(alpha*a, beta*b) == alpha * beta * Kron(a,b))
assert(Kron(alpha*a,beta*b+gamma*c) == alpha*beta*Kron(a, b) + alpha*gamma*Kron(a, c) )
assert(Kron(alpha*a+beta*b,gamma*c) == alpha*gamma*Kron(a, c) + beta*gamma*Kron(b, c) )
# Mixed Product
assert(Kron(alpha*a, beta*b*c) == alpha*beta*Kron(a, b*c))
# Associativity
assert(Kron(a, Kron(b,c)) == Kron(a,b,c))
assert(Kron(Kron(a,b), c) == Kron(a,b,c))
assert(Kron(Kron(a+b,d), Kron(b,c)) == Kron(a, d, b, c) + Kron(b, d, b, c))
# .....................................
#######################################
if __name__ == '__main__':
test_kronecker_1()
# .....................................
# # TODO not working
# expr = Kron(a+d*a, beta*b*c)
# print(expr)
# print('')
# # TODO not working
# expr = Kron(alpha*a,Kron(b, gamma*c) + Kron(beta*b,d))
# print(expr)
# print('')
# .....................................