Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

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

# This file is part of the pyMOR project (http://www.pymor.org). 

# Copyright Holders: Rene Milk, Stephan Rave, Felix Schindler 

# License: BSD 2-Clause License (http://opensource.org/licenses/BSD-2-Clause) 

 

from __future__ import absolute_import, division, print_function 

 

from collections import defaultdict 

 

import numpy as np 

 

from pymor.grids.interfaces import AffineGridInterface 

from pymor.grids.referenceelements import triangle 

 

 

class GmshParseError(Exception): 

    pass 

 

 

def parse_gmsh_file(f): 

 

    allowed_sections = ['Nodes', 'Elements', 'PhysicalName', 'Periodic', 'NodeData', 

                        'ElementData', 'ElementNodeData'] 

 

    supported_sections = ['Nodes', 'Elements'] 

 

    try: 

 

        l = next(f).strip() 

        if l != '$MeshFormat': 

            raise GmshParseError('expected $MeshFormat, got {}'.format(l)) 

 

        l = next(f).strip() 

        header = l.split(' ') 

        if len(header) != 3: 

            raise GmshParseError('header {} has {} fields, expected 3'.format(l, len(header))) 

 

        if header[0] != '2.2': 

            raise GmshParseError('wrong file format version: got {}, expected 2.2'.format(header[0])) 

 

        try: 

            file_type = int(header[1]) 

        except ValueError: 

            raise GmshParseError('malformed header: expected integer, got {}'.format(header[1])) 

 

        if file_type != 0: 

            raise GmshParseError('wrong file type: only ASCII gmsh files are supported') 

 

        try: 

            data_size = int(header[2])    # NOQA 

        except ValueError: 

            raise GmshParseError('malformed header: expected integer, got {}'.format(header[2])) 

 

        l = next(f).strip() 

        if l != '$EndMeshFormat': 

            raise GmshParseError('expected $EndMeshFormat, got {}'.format(l)) 

 

    except StopIteration: 

        raise GmshParseError('unexcpected end of file') 

 

    in_section = False 

    sections = defaultdict(list) 

 

    for l in f: 

        l = l.strip() 

        if l == '': 

            continue 

        if not in_section: 

            if not l.startswith('$'): 

                raise GmshParseError('expected section naem, got {}'.format(l)) 

            section = l[1:] 

            if section not in allowed_sections: 

                raise GmshParseError('unknown section type: {}'.format(section)) 

            if section not in supported_sections: 

                raise GmshParseError('unsopported section type: {}'.format(section)) 

            if section in sections: 

                raise GmshParseError('only one {} section allowed'.format(section)) 

            in_section = True 

        elif l.startswith('$'): 

            if l != '$End' + section: 

                raise GmshParseError('expected $End{}, got {}'.format(section, l)) 

            in_section = False 

        else: 

            sections[section].append(l) 

 

    if in_section: 

        raise GmshParseError('file ended while in section {}'.format(section)) 

 

    # now we parse each section ... 

 

    def parse_nodes(nodes): 

        try: 

            num_nodes = int(nodes[0]) 

        except ValueError: 

            raise GmshParseError('first line of nodes sections is not a number: {}'.format(nodes[0])) 

        if len(nodes) != num_nodes + 1: 

            raise GmshParseError('number-of-nodes field does not match number of lines in nodes section') 

 

        nodes = [n.split(' ') for n in nodes[1:]] 

        if not all(len(n) == 4 for n in nodes): 

            raise GmshParseError('malformed nodes section') 

 

        try: 

            nodes = [(int(a), (float(b), float(c), float(d))) for a, b, c, d in nodes] 

        except ValueError: 

            raise GmshParseError('malformed nodes section') 

 

        return nodes 

 

    def parse_elements(elements): 

        try: 

            num_elements = int(elements[0]) 

        except ValueError: 

            raise GmshParseError('first line of elements sections is not a number: {}'.format(elements[0])) 

        if len(elements) != num_elements + 1: 

            raise GmshParseError('number-of-elements field does not match number of lines in elements section') 

 

        elements = [e.split(' ') for e in elements[1:]] 

        try: 

            elements = [tuple(int(f) for f in e) for e in elements] 

        except ValueError: 

            raise GmshParseError('malformed elements section') 

 

        element_types = {1: 'line', 2: 'triangle'} 

        element_nodes = {'line': 2, 'triangle': 3} 

 

        def parse_line(fields): 

            if fields[1] not in element_types: 

                raise GmshParseError('element type {} not supported'.format(fields[0])) 

            element_type = element_types[fields[1]] 

            num_nodes = element_nodes[element_type] 

            num_tags = fields[2] 

            if len(fields) != num_nodes + num_tags + 3: 

                raise GmshParseError('malformed elements section') 

            return element_type, (fields[0], tuple(fields[3:3 + num_tags]), fields[3 + num_tags:]) 

 

        elements_by_type = defaultdict(list) 

        for e in elements: 

            t, l = parse_line(e) 

            elements_by_type[t].append(l) 

 

        return elements_by_type 

 

    parser_map = {'Nodes': parse_nodes, 'Elements': parse_elements} 

 

    for k, v in sections.iteritems(): 

        sections[k] = parser_map[k](v) 

 

    return sections 

 

 

class GmshGrid(AffineGridInterface): 

 

    dim = 2 

    dim_outer = 2 

    reference_element = triangle 

 

    def __init__(self, gmsh_file): 

        self.logger.info('Parsing gmsh file ...') 

        sections = parse_gmsh_file(gmsh_file) 

 

        self.logger.info('Checking is grid is a 2d triangular grid ...') 

        assert {'Nodes', 'Elements'} <= set(sections.keys()) 

        assert set(sections['Elements'].keys()) <= {'line', 'triangle'} 

        assert 'triangle' in sections['Elements'] 

        assert all(n[1][2] == 0 for n in sections['Nodes']) 

 

        self.logger.info('Creating entity maps ...') 

        node_ids = {} 

        for i, n in enumerate(sections['Nodes']): 

            node_ids[n[0]] = i 

        line_ids = {} 

        if 'line' in sections['Elements']: 

            for i, l in enumerate(sections['Elements']['line']): 

                    line_ids[l[0]] = i 

        triangle_ids = {} 

        for i, t in enumerate(sections['Elements']['triangle']): 

            triangle_ids[t[0]] = i 

 

        self.logger.info('Building grid topology ...') 

 

        # the lines dict will hold the indices of lines defined by pairs of points 

        lines = {} 

        if 'line' in sections['Elements']: 

            for i, l in enumerate(sections['Elements']['line']): 

                lines[frozenset(l[2])] = i 

 

        codim1_subentities = np.empty((len(sections['Elements']['triangle']), 3), dtype=np.int32) 

        codim2_subentities = np.empty_like(codim1_subentities) 

        for i, t in enumerate(sections['Elements']['triangle']): 

            nodes = t[2] 

            codim2_subentities[i] = [node_ids[nodes[0]], node_ids[nodes[1]], node_ids[nodes[2]]] 

 

            edges = (frozenset(t[2][1:3]), frozenset((t[2][2], t[2][0])), frozenset((t[2][0:2]))) 

            for e in edges: 

                if e not in lines: 

                    lines[e] = len(lines) 

            codim1_subentities[i] = [lines[edges[0]], lines[edges[1]], lines[edges[2]]] 

 

        self.logger.info('Calculating embeddings ...') 

        codim2_centers = np.array([n[1][0:2] for n in sections['Nodes']]) 

        SEC = codim2_centers[codim2_subentities] 

        SHIFTS = SEC[:, 0, :] 

        TRANS = SEC[:, 1:, :] - SHIFTS[:, np.newaxis, :] 

        TRANS = TRANS.swapaxes(1, 2) 

 

        self.__embeddings = (TRANS, SHIFTS) 

        self.__subentities = (np.arange(len(codim1_subentities), dtype=np.int32).reshape(-1, 1), 

                              codim1_subentities, codim2_subentities) 

        self.__sizes = (len(codim1_subentities), len(lines), len(codim2_centers)) 

 

    def __str__(self): 

        return 'GmshGrid with {} vertices, {} lines, {} triangles'.format(*self.__sizes) 

 

    def size(self, codim=0): 

        assert 0 <= codim <= 2, 'Invalid codimension' 

        return self.__sizes[codim] 

 

    def subentities(self, codim=0, subentity_codim=None): 

        assert 0 <= codim <= 2, 'Invalid codimension' 

        if subentity_codim is None: 

            subentity_codim = codim + 1 

        assert codim <= subentity_codim <= self.dim, 'Invalid subentity codimensoin' 

        if codim == 0: 

            return self.__subentities[subentity_codim] 

        else: 

            return super(GmshGrid, self).subentities(codim, subentity_codim) 

 

    def embeddings(self, codim=0): 

        if codim == 0: 

            return self.__embeddings 

        else: 

            return super(GmshGrid, self).embeddings(codim) 

 

    @staticmethod 

    def test_instances(): 

        import os.path 

        return (GmshGrid(open(os.path.join(os.path.dirname(__file__), '../../../../testdata/gmsh_1.msh'))),)