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
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
|
#!/usr/bin/env python
__authors__ = "Martin Sandve Alnes"
__date__ = "2008-03-12 -- 2008-12-02"
# Modified by Anders Logg, 2008
from ufltestcase import UflTestCase, main
from ufl import *
from ufl.algorithms import *
class TestMeasure(UflTestCase):
def test_manually_constructed_measures(self):
# Since we can't write 'dx = dx[data]' in a non-global scope,
# because of corner cases in the python scope rules,
# it may be convenient to construct measures directly:
domain_data = ('Stokes', 'Darcy')
dx = Measure('dx')[domain_data]
ds = Measure('ds')[domain_data]
dS = Measure('dS')[domain_data]
# Possible PyDOLFIN syntax:
#ds = boundaries.dx(3) # return Measure('dx')[self](3)
def test_measures_with_domain_data(self):
# Configure measure with some arbitrary data object as domain_data
domain_data = ('Stokes', 'Darcy')
dX = dx[domain_data]
# Build form with this domain_data
element = FiniteElement("Lagrange", triangle, 1)
f = Coefficient(element)
a = f*dX(0) + f**2*dX(1)
# Check that we get an UFL error when using dX without domain id
self.assertRaises(UFLException, lambda: f*dX)
# Check that we get a Python error when using unsupported type
self.assertRaises(TypeError, lambda: "foo"*dX(1))
# Check that we get the right domain_data from the preprocessed form data
fd = a.compute_form_data()
self.assertIs(fd.domain_data['cell'], domain_data)
self.assertIs(fd.cell_domain_data, domain_data)
self.assertIsNone(fd.exterior_facet_domain_data)
# Check that integral_data list is consistent as well
f2 = f.reconstruct(count=0)
for itd in fd.integral_data:
t, i, itg, md = itd
self.assertEqual(t, 'cell')
self.assertEqual(md, {})
self.assertEqual(itg[0].integrand(), f2**(i+1))
self.assertIs(itg[0].measure().domain_data(), domain_data)
class TestIntegrals(UflTestCase):
def test_separated_dx(self):
"Tests automatic summation of integrands over same domain."
element = FiniteElement("Lagrange", triangle, 1)
v = TestFunction(element)
f = Coefficient(element)
a = f*v*dx(0) + 2*v*ds + 3*v*dx(0) + 7*v*ds + 3*v*dx(2) + 7*v*dx(2)
b = (f*v + 3*v)*dx(0) + (2*v + 7*v)*ds + (3*v + 7*v)*dx(2)
self.assertEqual(repr(a), repr(b))
def test_adding_zero(self):
element = FiniteElement("Lagrange", triangle, 1)
v = TestFunction(element)
a = v*dx
b = a + 0
self.assertEqual(id(a), id(b))
b = 0 + a
self.assertEqual(id(a), id(b))
b = sum([a, 2*a])
self.assertEqual(b, a+2*a)
class TestFormScaling(UflTestCase):
def test_scalar_mult_form(self):
R = FiniteElement("Real", triangle, 0)
element = FiniteElement("Lagrange", triangle, 1)
v = TestFunction(element)
f = Coefficient(element)
c = Coefficient(R)
# These should be acceptable:
self.assertEqual(0*(v*dx), (0*v)*dx)
self.assertEqual(3*(v*dx), (3*v)*dx)
self.assertEqual(3.14*(v*dx), (3.14*v)*dx)
self.assertEqual(c*(v*dx), (c*v)*dx)
self.assertEqual((c**c+c/3)*(v*dx), ((c**c+c/3)*v)*dx)
# These should not be acceptable:
self.assertRaises(TypeError, lambda: f*(v*dx))
self.assertRaises(TypeError, lambda: (f/2)*(v*dx))
self.assertRaises(TypeError, lambda: (c*f)*(v*dx))
def test_action_mult_form(self):
V = FiniteElement("CG", triangle, 1)
u = TrialFunction(V)
v = TrialFunction(V)
f = Coefficient(V)
a = u*v*dx
self.assertEqual(a*f, action(a,f))
self.assertRaises(TypeError, lambda: a*"foo")
class TestExampleForms(UflTestCase):
def test_source1(self):
element = FiniteElement("Lagrange", triangle, 1)
v = TestFunction(element)
f = Coefficient(element)
a = f*v*dx
def test_source2(self):
element = VectorElement("Lagrange", triangle, 1)
v = TestFunction(element)
f = Coefficient(element)
a = dot(f,v)*dx
def test_source3(self):
element = TensorElement("Lagrange", triangle, 1)
v = TestFunction(element)
f = Coefficient(element)
a = inner(f,v)*dx
def test_source4(self):
element = FiniteElement("Lagrange", triangle, 1)
v = TestFunction(element)
x = triangle.x
f = sin(x[0])
a = f*v*dx
def test_mass1(self):
element = FiniteElement("Lagrange", triangle, 1)
v = TestFunction(element)
u = TrialFunction(element)
a = u*v*dx
def test_mass2(self):
element = FiniteElement("Lagrange", triangle, 1)
v = TestFunction(element)
u = TrialFunction(element)
a = u*v*dx
def test_mass3(self):
element = VectorElement("Lagrange", triangle, 1)
v = TestFunction(element)
u = TrialFunction(element)
a = dot(u,v)*dx
def test_mass4(self):
element = TensorElement("Lagrange", triangle, 1)
v = TestFunction(element)
u = TrialFunction(element)
a = inner(u,v)*dx
def test_stiffness1(self):
element = FiniteElement("Lagrange", triangle, 1)
v = TestFunction(element)
u = TrialFunction(element)
a = dot(grad(u), grad(v)) * dx
def test_stiffness2(self):
element = FiniteElement("Lagrange", triangle, 1)
v = TestFunction(element)
u = TrialFunction(element)
a = inner(grad(u), grad(v)) * dx
def test_stiffness3(self):
element = VectorElement("Lagrange", triangle, 1)
v = TestFunction(element)
u = TrialFunction(element)
a = inner(grad(u), grad(v)) * dx
def test_nonnabla_stiffness_with_conductivity(self):
velement = VectorElement("Lagrange", triangle, 1)
telement = TensorElement("Lagrange", triangle, 1)
v = TestFunction(velement)
u = TrialFunction(velement)
M = Coefficient(telement)
a = inner(grad(u)*M.T, grad(v)) * dx
def test_nabla_stiffness_with_conductivity(self):
velement = VectorElement("Lagrange", triangle, 1)
telement = TensorElement("Lagrange", triangle, 1)
v = TestFunction(velement)
u = TrialFunction(velement)
M = Coefficient(telement)
a = inner(M*nabla_grad(u), nabla_grad(v)) * dx
def test_nonnabla_navier_stokes(self):
cell = triangle
velement = VectorElement("Lagrange", cell, 2)
pelement = FiniteElement("Lagrange", cell, 1)
TH = velement * pelement
v, q = TestFunctions(TH)
u, p = TrialFunctions(TH)
f = Coefficient(velement)
w = Coefficient(velement)
Re = Constant(cell)
dt = Constant(cell)
a = (dot(u, v) + dt*dot(grad(u)*w, v)
- dt*Re*inner(grad(u), grad(v))
+ dt*dot(grad(p), v))*dx
L = dot(f, v)*dx
b = dot(u, grad(q))*dx
def test_nabla_navier_stokes(self):
cell = triangle
velement = VectorElement("Lagrange", cell, 2)
pelement = FiniteElement("Lagrange", cell, 1)
TH = velement * pelement
v, q = TestFunctions(TH)
u, p = TrialFunctions(TH)
f = Coefficient(velement)
w = Coefficient(velement)
Re = Constant(cell)
dt = Constant(cell)
a = (dot(u, v) + dt*dot(dot(w,nabla_grad(u)), v)
- dt*Re*inner(grad(u), grad(v))
+ dt*dot(grad(p), v))*dx
L = dot(f, v)*dx
b = dot(u, grad(q))*dx
if __name__ == "__main__":
main()
|