xref: /libCEED/python/ceed_operator.py (revision 0c9255df9a623adc0ceb99aeefa7722cb6624eb3)
1f2d2bf5dSjeremylt# Copyright (c) 2017, Lawrence Livermore National Security, LLC. Produced at
2f2d2bf5dSjeremylt# the Lawrence Livermore National Laboratory. LLNL-CODE-734707. All Rights
3f2d2bf5dSjeremylt# reserved. See files LICENSE and NOTICE for details.
4f2d2bf5dSjeremylt#
5f2d2bf5dSjeremylt# This file is part of CEED, a collection of benchmarks, miniapps, software
6f2d2bf5dSjeremylt# libraries and APIs for efficient high-order finite element and spectral
7f2d2bf5dSjeremylt# element discretizations for exascale applications. For more information and
8f2d2bf5dSjeremylt# source code availability see http://github.com/ceed.
9f2d2bf5dSjeremylt#
10f2d2bf5dSjeremylt# The CEED research is supported by the Exascale Computing Project 17-SC-20-SC,
11f2d2bf5dSjeremylt# a collaborative effort of two U.S. Department of Energy organizations (Office
12f2d2bf5dSjeremylt# of Science and the National Nuclear Security Administration) responsible for
13f2d2bf5dSjeremylt# the planning and preparation of a capable exascale ecosystem, including
14f2d2bf5dSjeremylt# software, applications, hardware, advanced system engineering and early
15f2d2bf5dSjeremylt# testbed platforms, in support of the nation's exascale computing imperative.
16f2d2bf5dSjeremylt
17f2d2bf5dSjeremyltfrom _ceed_cffi import ffi, lib
18f2d2bf5dSjeremyltimport tempfile
19f2d2bf5dSjeremyltfrom abc import ABC
20f2d2bf5dSjeremyltfrom .ceed_constants import REQUEST_IMMEDIATE, REQUEST_ORDERED, NOTRANSPOSE
21f2d2bf5dSjeremylt
22f2d2bf5dSjeremylt# ------------------------------------------------------------------------------
237a7b0fa3SJed Brown
247a7b0fa3SJed Brown
25f2d2bf5dSjeremyltclass _OperatorBase(ABC):
26f2d2bf5dSjeremylt    """Ceed Operator: composed FE-type operations on vectors."""
27f2d2bf5dSjeremylt
28f2d2bf5dSjeremylt    # Attributes
29f2d2bf5dSjeremylt    _ceed = ffi.NULL
30f2d2bf5dSjeremylt    _pointer = ffi.NULL
31f2d2bf5dSjeremylt
32f2d2bf5dSjeremylt    # Destructor
33f2d2bf5dSjeremylt    def __del__(self):
34f2d2bf5dSjeremylt        # libCEED call
35f2d2bf5dSjeremylt        lib.CeedOperatorDestroy(self._pointer)
36f2d2bf5dSjeremylt
37f2d2bf5dSjeremylt    # Representation
38f2d2bf5dSjeremylt    def __repr__(self):
39f2d2bf5dSjeremylt        return "<CeedOperator instance at " + hex(id(self)) + ">"
40f2d2bf5dSjeremylt
41f2d2bf5dSjeremylt    # String conversion for print() to stdout
42f2d2bf5dSjeremylt    def __str__(self):
43f2d2bf5dSjeremylt        """View an Operator via print()."""
44f2d2bf5dSjeremylt
45f2d2bf5dSjeremylt        # libCEED call
46f2d2bf5dSjeremylt        with tempfile.NamedTemporaryFile() as key_file:
47f2d2bf5dSjeremylt            with open(key_file.name, 'r+') as stream_file:
48f2d2bf5dSjeremylt                stream = ffi.cast("FILE *", stream_file)
49f2d2bf5dSjeremylt
50f2d2bf5dSjeremylt                lib.CeedOperatorView(self._pointer[0], stream)
51f2d2bf5dSjeremylt
52f2d2bf5dSjeremylt                stream_file.seek(0)
53f2d2bf5dSjeremylt                out_string = stream_file.read()
54f2d2bf5dSjeremylt
55f2d2bf5dSjeremylt        return out_string
56f2d2bf5dSjeremylt
576397b31bSJeremy L Thompson    # Assemble linear diagonal
586397b31bSJeremy L Thompson    def linear_assemble_diagonal(self, d, request=REQUEST_IMMEDIATE):
596397b31bSJeremy L Thompson        """Assemble the diagonal of a square linear Operator
606397b31bSJeremy L Thompson
616397b31bSJeremy L Thompson           Args:
626397b31bSJeremy L Thompson             d: Vector to store assembled Operator diagonal
636397b31bSJeremy L Thompson             **request: Ceed request, default CEED_REQUEST_IMMEDIATE"""
646397b31bSJeremy L Thompson
656397b31bSJeremy L Thompson        # libCEED call
666397b31bSJeremy L Thompson        lib.CeedOperatorLinearAssembleDiagonal(self._pointer[0],
676397b31bSJeremy L Thompson                                               d._pointer[0], request)
686397b31bSJeremy L Thompson
696397b31bSJeremy L Thompson    # Assemble add linear diagonal
706397b31bSJeremy L Thompson    def linear_assemble_add_diagonal(self, d, request=REQUEST_IMMEDIATE):
716397b31bSJeremy L Thompson        """Sum the diagonal of a square linear Operator into a Vector
726397b31bSJeremy L Thompson
736397b31bSJeremy L Thompson           Args:
746397b31bSJeremy L Thompson             d: Vector to store assembled Operator diagonal
756397b31bSJeremy L Thompson             **request: Ceed request, default CEED_REQUEST_IMMEDIATE"""
766397b31bSJeremy L Thompson
776397b31bSJeremy L Thompson        # libCEED call
786397b31bSJeremy L Thompson        lib.CeedOperatorLinearAssembleAddDiagonal(self._pointer[0],
796397b31bSJeremy L Thompson                                                  d._pointer[0], request)
806397b31bSJeremy L Thompson
816397b31bSJeremy L Thompson    # Assemble linear point block diagonal
82*0c9255dfSJeremy L Thompson    def linear_assemble_point_block_diagonal(
83*0c9255dfSJeremy L Thompson            self, d, request=REQUEST_IMMEDIATE):
84*0c9255dfSJeremy L Thompson        """Assemble the point block diagonal of a square linear Operator
856397b31bSJeremy L Thompson
866397b31bSJeremy L Thompson           Args:
876397b31bSJeremy L Thompson             d: Vector to store assembled Operator point block diagonal,
886397b31bSJeremy L Thompson                  provided in row-major form with an ncomp*ncomp block
896397b31bSJeremy L Thompson                  at each node
906397b31bSJeremy L Thompson             **request: Ceed request, default CEED_REQUEST_IMMEDIATE"""
916397b31bSJeremy L Thompson
926397b31bSJeremy L Thompson        # libCEED call
936397b31bSJeremy L Thompson        lib.CeedOperatorLinearAssemblePointBlockDiagonal(self._pointer[0],
946397b31bSJeremy L Thompson                                                         d._pointer[0], request)
956397b31bSJeremy L Thompson
966397b31bSJeremy L Thompson    # Assemble linear point block diagonal
97*0c9255dfSJeremy L Thompson    def linear_assemble_add_point_block_diagonal(
98*0c9255dfSJeremy L Thompson            self, d, request=REQUEST_IMMEDIATE):
99*0c9255dfSJeremy L Thompson        """Sum the point block diagonal of a square linear Operator into a Vector
1006397b31bSJeremy L Thompson
1016397b31bSJeremy L Thompson           Args:
1026397b31bSJeremy L Thompson             d: Vector to store assembled Operator point block diagonal,
1036397b31bSJeremy L Thompson                  provided in row-major form with an ncomp*ncomp block
1046397b31bSJeremy L Thompson                  at each node
1056397b31bSJeremy L Thompson             **request: Ceed request, default CEED_REQUEST_IMMEDIATE"""
1066397b31bSJeremy L Thompson
1076397b31bSJeremy L Thompson        # libCEED call
1086397b31bSJeremy L Thompson        lib.CeedOperatorLinearAssembleAddPointBlockDiagonal(self._pointer[0],
1096397b31bSJeremy L Thompson                                                            d._pointer[0], request)
1106397b31bSJeremy L Thompson
111f2d2bf5dSjeremylt    # Apply CeedOperator
112f2d2bf5dSjeremylt    def apply(self, u, v, request=REQUEST_IMMEDIATE):
113f2d2bf5dSjeremylt        """Apply Operator to a vector.
114f2d2bf5dSjeremylt
115f2d2bf5dSjeremylt           Args:
116f2d2bf5dSjeremylt             u: Vector containing input state or CEED_VECTOR_NONE if there are no
117f2d2bf5dSjeremylt                  active inputs
118f2d2bf5dSjeremylt             v: Vector to store result of applying operator (must be distinct from u)
119f2d2bf5dSjeremylt                  or CEED_VECTOR_NONE if there are no active outputs
120f2d2bf5dSjeremylt             **request: Ceed request, default CEED_REQUEST_IMMEDIATE"""
121f2d2bf5dSjeremylt
122f2d2bf5dSjeremylt        # libCEED call
123f2d2bf5dSjeremylt        lib.CeedOperatorApply(self._pointer[0], u._pointer[0], v._pointer[0],
124f2d2bf5dSjeremylt                              request)
125f2d2bf5dSjeremylt
126f2d2bf5dSjeremylt    # Apply CeedOperator
127f2d2bf5dSjeremylt    def apply_add(self, u, v, request=REQUEST_IMMEDIATE):
128f2d2bf5dSjeremylt        """Apply Operator to a vector and add result to output vector.
129f2d2bf5dSjeremylt
130f2d2bf5dSjeremylt           Args:
131f2d2bf5dSjeremylt             u: Vector containing input state or CEED_VECTOR_NONE if there are no
132f2d2bf5dSjeremylt                  active inputs
133f2d2bf5dSjeremylt             v: Vector to sum in result of applying operator (must be distinct from u)
134f2d2bf5dSjeremylt                  or CEED_VECTOR_NONE if there are no active outputs
135f2d2bf5dSjeremylt             **request: Ceed request, default CEED_REQUEST_IMMEDIATE"""
136f2d2bf5dSjeremylt
137f2d2bf5dSjeremylt        # libCEED call
138f2d2bf5dSjeremylt        lib.CeedOperatorApplyAdd(self._pointer[0], u._pointer[0], v._pointer[0],
139f2d2bf5dSjeremylt                                 request)
140f2d2bf5dSjeremylt
141f2d2bf5dSjeremylt# ------------------------------------------------------------------------------
1427a7b0fa3SJed Brown
1437a7b0fa3SJed Brown
144f2d2bf5dSjeremyltclass Operator(_OperatorBase):
145f2d2bf5dSjeremylt    """Ceed Operator: composed FE-type operations on vectors."""
146f2d2bf5dSjeremylt
147f2d2bf5dSjeremylt    # Constructor
148f2d2bf5dSjeremylt    def __init__(self, ceed, qf, dqf=None, dqfT=None):
149f2d2bf5dSjeremylt        # CeedOperator object
150f2d2bf5dSjeremylt        self._pointer = ffi.new("CeedOperator *")
151f2d2bf5dSjeremylt
152f2d2bf5dSjeremylt        # Reference to Ceed
153f2d2bf5dSjeremylt        self._ceed = ceed
154f2d2bf5dSjeremylt
155f2d2bf5dSjeremylt        # libCEED call
156f2d2bf5dSjeremylt        lib.CeedOperatorCreate(self._ceed._pointer[0], qf._pointer[0],
157f2d2bf5dSjeremylt                               dqf._pointer[0] if dqf else ffi.NULL,
158f2d2bf5dSjeremylt                               dqfT._pointer[0] if dqfT else ffi.NULL,
159f2d2bf5dSjeremylt                               self._pointer)
160f2d2bf5dSjeremylt
161f2d2bf5dSjeremylt    # Add field to CeedOperator
162a8d32208Sjeremylt    def set_field(self, fieldname, restriction, basis, vector):
163f2d2bf5dSjeremylt        """Provide a field to an Operator for use by its QFunction.
164f2d2bf5dSjeremylt
165f2d2bf5dSjeremylt           Args:
166f2d2bf5dSjeremylt             fieldname: name of the field (to be matched with the same name used
167f2d2bf5dSjeremylt                          by QFunction)
168f2d2bf5dSjeremylt             restriction: ElemRestriction
169f2d2bf5dSjeremylt             basis: Basis in which the field resides or CEED_BASIS_COLLOCATED
170f2d2bf5dSjeremylt                      if collocated with quadrature points
171f2d2bf5dSjeremylt             vector: Vector to be used by Operator or CEED_VECTOR_ACTIVE
172f2d2bf5dSjeremylt                       if field is active or CEED_VECTOR_NONE if using
173a8d32208Sjeremylt                       CEED_EVAL_WEIGHT in the QFunction"""
174f2d2bf5dSjeremylt
175f2d2bf5dSjeremylt        # libCEED call
176f2d2bf5dSjeremylt        fieldnameAscii = ffi.new("char[]", fieldname.encode('ascii'))
177f2d2bf5dSjeremylt        lib.CeedOperatorSetField(self._pointer[0], fieldnameAscii,
178a8d32208Sjeremylt                                 restriction._pointer[0], basis._pointer[0],
179f2d2bf5dSjeremylt                                 vector._pointer[0])
180f2d2bf5dSjeremylt
181f2d2bf5dSjeremylt# ------------------------------------------------------------------------------
1827a7b0fa3SJed Brown
1837a7b0fa3SJed Brown
184f2d2bf5dSjeremyltclass CompositeOperator(_OperatorBase):
185f2d2bf5dSjeremylt    """Ceed Composite Operator: composition of multiple Operators."""
186f2d2bf5dSjeremylt
187f2d2bf5dSjeremylt    # Constructor
188f2d2bf5dSjeremylt    def __init__(self, ceed):
189f2d2bf5dSjeremylt        # CeedOperator object
190f2d2bf5dSjeremylt        self._pointer = ffi.new("CeedOperator *")
191f2d2bf5dSjeremylt
192f2d2bf5dSjeremylt        # Reference to Ceed
193f2d2bf5dSjeremylt        self._ceed = ceed
194f2d2bf5dSjeremylt        # libCEED call
195f2d2bf5dSjeremylt        lib.CeedCompositeOperatorCreate(self._ceed._pointer[0], self._pointer)
196f2d2bf5dSjeremylt
197f2d2bf5dSjeremylt    # Add sub operators
198f2d2bf5dSjeremylt    def add_sub(self, subop):
199f2d2bf5dSjeremylt        """Add a sub-operator to a composite CeedOperator.
200f2d2bf5dSjeremylt
201f2d2bf5dSjeremylt           Args:
202f2d2bf5dSjeremylt             subop: sub-operator Operator"""
203f2d2bf5dSjeremylt
204f2d2bf5dSjeremylt        # libCEED call
205f2d2bf5dSjeremylt        lib.CeedCompositeOperatorAddSub(self._pointer[0], subop._pointer[0])
206f2d2bf5dSjeremylt
207f2d2bf5dSjeremylt# ------------------------------------------------------------------------------
208