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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
|
#!/usr/bin/env python
# Last changed: 2009-12-08
from ufltestcase import UflTestCase, main
from ufl import *
from ufl.geometry import domain2dim
all_cells = (interval, triangle, tetrahedron, quadrilateral, hexahedron)
# TODO: cover all valid element definitions
class ElementsTestCase(UflTestCase):
def test_scalar_galerkin(self):
for cell in all_cells:
for p in range(1,10):
for family in ("Lagrange", "CG", "Discontinuous Lagrange", "DG"):
element = FiniteElement(family, cell, p)
self.assertEqual(element.value_shape(), ())
self.assertEqual(element, eval(repr(element)))
def test_vector_galerkin(self):
for cell in all_cells:
dim = cell.d
#shape = () if dim == 1 else (dim,)
shape = (dim,)
for p in range(1,10):
for family in ("Lagrange", "CG", "Discontinuous Lagrange", "DG"):
element = VectorElement(family, cell, p)
self.assertEqual(element.value_shape(), shape)
self.assertEqual(element, eval(repr(element)))
for i in range(dim):
c = element.extract_component(i)
self.assertEqual(c[0], ())
def test_tensor_galerkin(self):
for cell in all_cells:
dim = cell.d
#shape = () if dim == 1 else (dim,dim)
shape = (dim,dim)
for p in range(1,10):
for family in ("Lagrange", "CG", "Discontinuous Lagrange", "DG"):
element = TensorElement(family, cell, p)
self.assertEqual(element.value_shape(), shape)
self.assertEqual(element, eval(repr(element)))
for i in range(dim):
for j in range(dim):
c = element.extract_component((i,j))
self.assertEqual(c[0], ())
def test_tensor_symmetry(self):
for cell in all_cells:
dim = cell.d
for p in range(1,10):
for s in (None, True, {(0,1): (1,0)}):
# Symmetry dict is invalid for interval cell
if isinstance(s,dict) and cell == interval:
continue
for family in ("Lagrange", "CG", "Discontinuous Lagrange", "DG"):
if isinstance(s, dict):
element = TensorElement(family, cell, p, shape=(dim,dim), symmetry=s)
else:
element = TensorElement(family, cell, p, symmetry=s)
self.assertEqual(element.value_shape(), (dim,dim))
self.assertEqual(element, eval(repr(element)))
for i in range(dim):
for j in range(dim):
c = element.extract_component((i,j))
self.assertEqual(c[0], ())
def test_mixed_tensor_symmetries(self):
from ufl.algorithms import expand_indices, expand_compounds
S = FiniteElement('CG', triangle, 1)
V = VectorElement('CG', triangle, 1)
T = TensorElement('CG', triangle, 1, symmetry=True)
# M has dimension 4+1, symmetries are 2->1
M = T*S
P = Coefficient(M)
M = inner(P, P)*dx
M2 = expand_indices(expand_compounds(M))
self.assertTrue('[1]' in str(M2))
self.assertTrue('[2]' not in str(M2))
# M has dimension 2+(1+4), symmetries are 5->4
M = V*(S*T)
P = Coefficient(M)
M = inner(P, P)*dx
M2 = expand_indices(expand_compounds(M))
self.assertTrue('[4]' in str(M2))
self.assertTrue('[5]' not in str(M2))
def test_bdm(self):
for cell in (triangle, tetrahedron):
dim = cell.d
element = FiniteElement("BDM", cell, 1)
self.assertEqual(element.value_shape(), (dim,))
self.assertEqual(element, eval(repr(element)))
def test_vector_bdm(self):
for cell in (triangle, tetrahedron):
dim = cell.d
element = VectorElement("BDM", cell, 1)
self.assertEqual(element.value_shape(), (dim,dim))
self.assertEqual(element, eval(repr(element)))
def test_mixed(self):
for cell in (triangle, tetrahedron):
dim = cell.d
velement = VectorElement("CG", cell, 2)
pelement = FiniteElement("CG", cell, 1)
TH1 = MixedElement(velement, pelement)
TH2 = velement * pelement
self.assertEqual(TH1.value_shape(), (dim+1,))
self.assertEqual(TH2.value_shape(), (dim+1,))
self.assertEqual(repr(TH1), repr(TH2))
self.assertEqual(TH1, eval(repr(TH2)))
self.assertEqual(TH2, eval(repr(TH1)))
def test_nested_mixed(self):
for cell in (triangle, tetrahedron):
dim = cell.d
velement = VectorElement("CG", cell, 2)
pelement = FiniteElement("CG", cell, 1)
TH1 = MixedElement((velement, pelement), pelement)
TH2 = velement * pelement * pelement
self.assertEqual(TH1.value_shape(), (dim+2,))
self.assertEqual(TH2.value_shape(), (dim+2,))
self.assertEqual(repr(TH1), repr(TH2))
self.assertEqual(TH1, eval(repr(TH2)))
self.assertEqual(TH2, eval(repr(TH1)))
def test_quadrature_scheme(self):
for cell in (triangle, tetrahedron):
for q in (None, 1, 2, 3):
element = FiniteElement("CG", cell, 1, quad_scheme=q)
self.assertEqual(element.quadrature_scheme(), q)
self.assertEqual(element, eval(repr(element)))
def test_invalid_cell(self):
from ufl.geometry import as_cell
for cell in (triangle, as_cell(None)):
element = FiniteElement("CG", cell, 1)
self.assertEqual(element, eval(repr(element)))
#element = VectorElement("CG", cell, 1) # invalid
def test_invalid_degree(self):
from ufl.geometry import as_cell
cell = triangle
for degree in (1, None):
element = FiniteElement("CG", cell, degree)
self.assertEqual(element, eval(repr(element)))
element = VectorElement("CG", cell, degree)
self.assertEqual(element, eval(repr(element)))
print repr(element)
if __name__ == "__main__":
main()
|