xref: /libCEED/rust/libceed-sys/c-src/interface/ceed-operator.c (revision 713f43c3136a96a13935ed58fa5dd016f047cd4d)
1d7b241e6Sjeremylt // Copyright (c) 2017, Lawrence Livermore National Security, LLC. Produced at
2d7b241e6Sjeremylt // the Lawrence Livermore National Laboratory. LLNL-CODE-734707. All Rights
3d7b241e6Sjeremylt // reserved. See files LICENSE and NOTICE for details.
4d7b241e6Sjeremylt //
5d7b241e6Sjeremylt // This file is part of CEED, a collection of benchmarks, miniapps, software
6d7b241e6Sjeremylt // libraries and APIs for efficient high-order finite element and spectral
7d7b241e6Sjeremylt // element discretizations for exascale applications. For more information and
8d7b241e6Sjeremylt // source code availability see http://github.com/ceed.
9d7b241e6Sjeremylt //
10d7b241e6Sjeremylt // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC,
11d7b241e6Sjeremylt // a collaborative effort of two U.S. Department of Energy organizations (Office
12d7b241e6Sjeremylt // of Science and the National Nuclear Security Administration) responsible for
13d7b241e6Sjeremylt // the planning and preparation of a capable exascale ecosystem, including
14d7b241e6Sjeremylt // software, applications, hardware, advanced system engineering and early
15d7b241e6Sjeremylt // testbed platforms, in support of the nation's exascale computing imperative.
16d7b241e6Sjeremylt 
17d7b241e6Sjeremylt #include <ceed-impl.h>
18d863ab9bSjeremylt #include <ceed-backend.h>
19d7b241e6Sjeremylt #include <string.h>
203bd813ffSjeremylt #include <math.h>
21d7b241e6Sjeremylt 
22dfdf5a53Sjeremylt /// @file
23dfdf5a53Sjeremylt /// Implementation of public CeedOperator interfaces
24dfdf5a53Sjeremylt ///
25dfdf5a53Sjeremylt /// @addtogroup CeedOperator
26dfdf5a53Sjeremylt ///   @{
27d7b241e6Sjeremylt 
28d7b241e6Sjeremylt /**
290219ea01SJeremy L Thompson   @brief Create a CeedOperator and associate a CeedQFunction. A CeedBasis and
300219ea01SJeremy L Thompson            CeedElemRestriction can be associated with CeedQFunction fields with
310219ea01SJeremy L Thompson            \ref CeedOperatorSetField.
32d7b241e6Sjeremylt 
33b11c1e72Sjeremylt   @param ceed    A Ceed object where the CeedOperator will be created
34d7b241e6Sjeremylt   @param qf      QFunction defining the action of the operator at quadrature points
3534138859Sjeremylt   @param dqf     QFunction defining the action of the Jacobian of @a qf (or
3634138859Sjeremylt                    CEED_QFUNCTION_NONE)
37d7b241e6Sjeremylt   @param dqfT    QFunction defining the action of the transpose of the Jacobian
3834138859Sjeremylt                    of @a qf (or CEED_QFUNCTION_NONE)
39b11c1e72Sjeremylt   @param[out] op Address of the variable where the newly created
40b11c1e72Sjeremylt                      CeedOperator will be stored
41b11c1e72Sjeremylt 
42b11c1e72Sjeremylt   @return An error code: 0 - success, otherwise - failure
43dfdf5a53Sjeremylt 
44dfdf5a53Sjeremylt   @ref Basic
45d7b241e6Sjeremylt  */
46d7b241e6Sjeremylt int CeedOperatorCreate(Ceed ceed, CeedQFunction qf, CeedQFunction dqf,
47d7b241e6Sjeremylt                        CeedQFunction dqfT, CeedOperator *op) {
48d7b241e6Sjeremylt   int ierr;
49d7b241e6Sjeremylt 
505fe0d4faSjeremylt   if (!ceed->OperatorCreate) {
515fe0d4faSjeremylt     Ceed delegate;
52aefd8378Sjeremylt     ierr = CeedGetObjectDelegate(ceed, &delegate, "Operator"); CeedChk(ierr);
535fe0d4faSjeremylt 
545fe0d4faSjeremylt     if (!delegate)
55c042f62fSJeremy L Thompson       // LCOV_EXCL_START
565fe0d4faSjeremylt       return CeedError(ceed, 1, "Backend does not support OperatorCreate");
57c042f62fSJeremy L Thompson     // LCOV_EXCL_STOP
585fe0d4faSjeremylt 
595fe0d4faSjeremylt     ierr = CeedOperatorCreate(delegate, qf, dqf, dqfT, op); CeedChk(ierr);
605fe0d4faSjeremylt     return 0;
615fe0d4faSjeremylt   }
625fe0d4faSjeremylt 
63d7b241e6Sjeremylt   ierr = CeedCalloc(1, op); CeedChk(ierr);
64d7b241e6Sjeremylt   (*op)->ceed = ceed;
65d7b241e6Sjeremylt   ceed->refcount++;
66d7b241e6Sjeremylt   (*op)->refcount = 1;
67442e7f0bSjeremylt   if (qf == CEED_QFUNCTION_NONE)
68442e7f0bSjeremylt     // LCOV_EXCL_START
69442e7f0bSjeremylt     return CeedError(ceed, 1, "Operator must have a valid QFunction.");
70442e7f0bSjeremylt   // LCOV_EXCL_STOP
71d7b241e6Sjeremylt   (*op)->qf = qf;
72d7b241e6Sjeremylt   qf->refcount++;
73442e7f0bSjeremylt   if (dqf && dqf != CEED_QFUNCTION_NONE) {
74d7b241e6Sjeremylt     (*op)->dqf = dqf;
75442e7f0bSjeremylt     dqf->refcount++;
76442e7f0bSjeremylt   }
77442e7f0bSjeremylt   if (dqfT && dqfT != CEED_QFUNCTION_NONE) {
78d7b241e6Sjeremylt     (*op)->dqfT = dqfT;
79442e7f0bSjeremylt     dqfT->refcount++;
80442e7f0bSjeremylt   }
81fe2413ffSjeremylt   ierr = CeedCalloc(16, &(*op)->inputfields); CeedChk(ierr);
82fe2413ffSjeremylt   ierr = CeedCalloc(16, &(*op)->outputfields); CeedChk(ierr);
83d7b241e6Sjeremylt   ierr = ceed->OperatorCreate(*op); CeedChk(ierr);
84d7b241e6Sjeremylt   return 0;
85d7b241e6Sjeremylt }
86d7b241e6Sjeremylt 
87d7b241e6Sjeremylt /**
8852d6035fSJeremy L Thompson   @brief Create an operator that composes the action of several operators
8952d6035fSJeremy L Thompson 
9052d6035fSJeremy L Thompson   @param ceed    A Ceed object where the CeedOperator will be created
9152d6035fSJeremy L Thompson   @param[out] op Address of the variable where the newly created
9252d6035fSJeremy L Thompson                      Composite CeedOperator will be stored
9352d6035fSJeremy L Thompson 
9452d6035fSJeremy L Thompson   @return An error code: 0 - success, otherwise - failure
9552d6035fSJeremy L Thompson 
9652d6035fSJeremy L Thompson   @ref Basic
9752d6035fSJeremy L Thompson  */
9852d6035fSJeremy L Thompson int CeedCompositeOperatorCreate(Ceed ceed, CeedOperator *op) {
9952d6035fSJeremy L Thompson   int ierr;
10052d6035fSJeremy L Thompson 
10152d6035fSJeremy L Thompson   if (!ceed->CompositeOperatorCreate) {
10252d6035fSJeremy L Thompson     Ceed delegate;
103aefd8378Sjeremylt     ierr = CeedGetObjectDelegate(ceed, &delegate, "Operator"); CeedChk(ierr);
10452d6035fSJeremy L Thompson 
105250756a7Sjeremylt     if (delegate) {
10652d6035fSJeremy L Thompson       ierr = CeedCompositeOperatorCreate(delegate, op); CeedChk(ierr);
10752d6035fSJeremy L Thompson       return 0;
10852d6035fSJeremy L Thompson     }
109250756a7Sjeremylt   }
11052d6035fSJeremy L Thompson 
11152d6035fSJeremy L Thompson   ierr = CeedCalloc(1, op); CeedChk(ierr);
11252d6035fSJeremy L Thompson   (*op)->ceed = ceed;
11352d6035fSJeremy L Thompson   ceed->refcount++;
11452d6035fSJeremy L Thompson   (*op)->composite = true;
11552d6035fSJeremy L Thompson   ierr = CeedCalloc(16, &(*op)->suboperators); CeedChk(ierr);
116250756a7Sjeremylt 
117250756a7Sjeremylt   if (ceed->CompositeOperatorCreate) {
11852d6035fSJeremy L Thompson     ierr = ceed->CompositeOperatorCreate(*op); CeedChk(ierr);
119250756a7Sjeremylt   }
12052d6035fSJeremy L Thompson   return 0;
12152d6035fSJeremy L Thompson }
12252d6035fSJeremy L Thompson 
12352d6035fSJeremy L Thompson /**
124b11c1e72Sjeremylt   @brief Provide a field to a CeedOperator for use by its CeedQFunction
125d7b241e6Sjeremylt 
126d7b241e6Sjeremylt   This function is used to specify both active and passive fields to a
127d7b241e6Sjeremylt   CeedOperator.  For passive fields, a vector @arg v must be provided.  Passive
128d7b241e6Sjeremylt   fields can inputs or outputs (updated in-place when operator is applied).
129d7b241e6Sjeremylt 
130d7b241e6Sjeremylt   Active fields must be specified using this function, but their data (in a
131d7b241e6Sjeremylt   CeedVector) is passed in CeedOperatorApply().  There can be at most one active
132d7b241e6Sjeremylt   input and at most one active output.
133d7b241e6Sjeremylt 
1348c91a0c9SJeremy L Thompson   @param op         CeedOperator on which to provide the field
1358795c945Sjeremylt   @param fieldname  Name of the field (to be matched with the name used by
1368795c945Sjeremylt                       CeedQFunction)
137b11c1e72Sjeremylt   @param r          CeedElemRestriction
138b0e29e78Sjeremylt   @param lmode      CeedTransposeMode which specifies the ordering of the
139b0e29e78Sjeremylt                       components of the l-vector used by this CeedOperatorField,
140b0e29e78Sjeremylt                       CEED_NOTRANSPOSE indicates the component is the
141b0e29e78Sjeremylt                       outermost index and CEED_TRANSPOSE indicates the component
142b0e29e78Sjeremylt                       is the innermost index in ordering of the l-vector
143783c99b3SValeria Barra   @param b          CeedBasis in which the field resides or CEED_BASIS_COLLOCATED
144b11c1e72Sjeremylt                       if collocated with quadrature points
145b11c1e72Sjeremylt   @param v          CeedVector to be used by CeedOperator or CEED_VECTOR_ACTIVE
146b11c1e72Sjeremylt                       if field is active or CEED_VECTOR_NONE if using
1478c91a0c9SJeremy L Thompson                       CEED_EVAL_WEIGHT in the QFunction
148b11c1e72Sjeremylt 
149b11c1e72Sjeremylt   @return An error code: 0 - success, otherwise - failure
150dfdf5a53Sjeremylt 
151dfdf5a53Sjeremylt   @ref Basic
152b11c1e72Sjeremylt **/
153d7b241e6Sjeremylt int CeedOperatorSetField(CeedOperator op, const char *fieldname,
1544dccadb6Sjeremylt                          CeedElemRestriction r, CeedTransposeMode lmode,
1554dccadb6Sjeremylt                          CeedBasis b, CeedVector v) {
156d7b241e6Sjeremylt   int ierr;
15752d6035fSJeremy L Thompson   if (op->composite)
158c042f62fSJeremy L Thompson     // LCOV_EXCL_START
15952d6035fSJeremy L Thompson     return CeedError(op->ceed, 1, "Cannot add field to composite operator.");
160c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
1618b067b84SJed Brown   if (!r)
162c042f62fSJeremy L Thompson     // LCOV_EXCL_START
163c042f62fSJeremy L Thompson     return CeedError(op->ceed, 1,
164c042f62fSJeremy L Thompson                      "ElemRestriction r for field \"%s\" must be non-NULL.",
165c042f62fSJeremy L Thompson                      fieldname);
166c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
1678b067b84SJed Brown   if (!b)
168c042f62fSJeremy L Thompson     // LCOV_EXCL_START
169c042f62fSJeremy L Thompson     return CeedError(op->ceed, 1, "Basis b for field \"%s\" must be non-NULL.",
170c042f62fSJeremy L Thompson                      fieldname);
171c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
1728b067b84SJed Brown   if (!v)
173c042f62fSJeremy L Thompson     // LCOV_EXCL_START
174c042f62fSJeremy L Thompson     return CeedError(op->ceed, 1, "Vector v for field \"%s\" must be non-NULL.",
175c042f62fSJeremy L Thompson                      fieldname);
176c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
17752d6035fSJeremy L Thompson 
178d7b241e6Sjeremylt   CeedInt numelements;
179d7b241e6Sjeremylt   ierr = CeedElemRestrictionGetNumElements(r, &numelements); CeedChk(ierr);
1802cb0afc5Sjeremylt   if (op->hasrestriction && op->numelements != numelements)
181c042f62fSJeremy L Thompson     // LCOV_EXCL_START
182d7b241e6Sjeremylt     return CeedError(op->ceed, 1,
1831d102b48SJeremy L Thompson                      "ElemRestriction with %d elements incompatible with prior "
1841d102b48SJeremy L Thompson                      "%d elements", numelements, op->numelements);
185c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
186d7b241e6Sjeremylt   op->numelements = numelements;
1872cb0afc5Sjeremylt   op->hasrestriction = true; // Restriction set, but numelements may be 0
188d7b241e6Sjeremylt 
189783c99b3SValeria Barra   if (b != CEED_BASIS_COLLOCATED) {
190d7b241e6Sjeremylt     CeedInt numqpoints;
191d7b241e6Sjeremylt     ierr = CeedBasisGetNumQuadraturePoints(b, &numqpoints); CeedChk(ierr);
192d7b241e6Sjeremylt     if (op->numqpoints && op->numqpoints != numqpoints)
193c042f62fSJeremy L Thompson       // LCOV_EXCL_START
1941d102b48SJeremy L Thompson       return CeedError(op->ceed, 1, "Basis with %d quadrature points "
1951d102b48SJeremy L Thompson                        "incompatible with prior %d points", numqpoints,
1961d102b48SJeremy L Thompson                        op->numqpoints);
197c042f62fSJeremy L Thompson     // LCOV_EXCL_STOP
198d7b241e6Sjeremylt     op->numqpoints = numqpoints;
199d7b241e6Sjeremylt   }
200d1bcdac9Sjeremylt   CeedOperatorField *ofield;
201d7b241e6Sjeremylt   for (CeedInt i=0; i<op->qf->numinputfields; i++) {
202fe2413ffSjeremylt     if (!strcmp(fieldname, (*op->qf->inputfields[i]).fieldname)) {
203d7b241e6Sjeremylt       ofield = &op->inputfields[i];
204d7b241e6Sjeremylt       goto found;
205d7b241e6Sjeremylt     }
206d7b241e6Sjeremylt   }
207d7b241e6Sjeremylt   for (CeedInt i=0; i<op->qf->numoutputfields; i++) {
208fe2413ffSjeremylt     if (!strcmp(fieldname, (*op->qf->outputfields[i]).fieldname)) {
209d7b241e6Sjeremylt       ofield = &op->outputfields[i];
210d7b241e6Sjeremylt       goto found;
211d7b241e6Sjeremylt     }
212d7b241e6Sjeremylt   }
213c042f62fSJeremy L Thompson   // LCOV_EXCL_START
214d7b241e6Sjeremylt   return CeedError(op->ceed, 1, "QFunction has no knowledge of field '%s'",
215d7b241e6Sjeremylt                    fieldname);
216c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
217d7b241e6Sjeremylt found:
218fe2413ffSjeremylt   ierr = CeedCalloc(1, ofield); CeedChk(ierr);
219fe2413ffSjeremylt   (*ofield)->Erestrict = r;
22071352a93Sjeremylt   r->refcount += 1;
221fe2413ffSjeremylt   (*ofield)->lmode = lmode;
222fe2413ffSjeremylt   (*ofield)->basis = b;
22371352a93Sjeremylt   if (b != CEED_BASIS_COLLOCATED)
22471352a93Sjeremylt     b->refcount += 1;
225fe2413ffSjeremylt   (*ofield)->vec = v;
22671352a93Sjeremylt   if (v != CEED_VECTOR_ACTIVE && v != CEED_VECTOR_NONE)
22771352a93Sjeremylt     v->refcount += 1;
228d7b241e6Sjeremylt   op->nfields += 1;
229d7b241e6Sjeremylt   return 0;
230d7b241e6Sjeremylt }
231d7b241e6Sjeremylt 
232d7b241e6Sjeremylt /**
23352d6035fSJeremy L Thompson   @brief Add a sub-operator to a composite CeedOperator
234288c0443SJeremy L Thompson 
23534138859Sjeremylt   @param[out] compositeop Composite CeedOperator
23634138859Sjeremylt   @param      subop       Sub-operator CeedOperator
23752d6035fSJeremy L Thompson 
23852d6035fSJeremy L Thompson   @return An error code: 0 - success, otherwise - failure
23952d6035fSJeremy L Thompson 
24052d6035fSJeremy L Thompson   @ref Basic
24152d6035fSJeremy L Thompson  */
242692c2638Sjeremylt int CeedCompositeOperatorAddSub(CeedOperator compositeop, CeedOperator subop) {
24352d6035fSJeremy L Thompson   if (!compositeop->composite)
244c042f62fSJeremy L Thompson     // LCOV_EXCL_START
2451d102b48SJeremy L Thompson     return CeedError(compositeop->ceed, 1, "CeedOperator is not a composite "
2461d102b48SJeremy L Thompson                      "operator");
247c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
24852d6035fSJeremy L Thompson 
24952d6035fSJeremy L Thompson   if (compositeop->numsub == CEED_COMPOSITE_MAX)
250c042f62fSJeremy L Thompson     // LCOV_EXCL_START
2511d102b48SJeremy L Thompson     return CeedError(compositeop->ceed, 1, "Cannot add additional suboperators");
252c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
25352d6035fSJeremy L Thompson 
25452d6035fSJeremy L Thompson   compositeop->suboperators[compositeop->numsub] = subop;
25552d6035fSJeremy L Thompson   subop->refcount++;
25652d6035fSJeremy L Thompson   compositeop->numsub++;
25752d6035fSJeremy L Thompson   return 0;
25852d6035fSJeremy L Thompson }
25952d6035fSJeremy L Thompson 
26052d6035fSJeremy L Thompson /**
2615107b09fSJeremy L Thompson   @brief Duplicate a CeedOperator with a reference Ceed to fallback for advanced
2625107b09fSJeremy L Thompson            CeedOperator functionality
2635107b09fSJeremy L Thompson 
2645107b09fSJeremy L Thompson   @param op           CeedOperator to create fallback for
2655107b09fSJeremy L Thompson 
2665107b09fSJeremy L Thompson   @return An error code: 0 - success, otherwise - failure
2675107b09fSJeremy L Thompson 
2685107b09fSJeremy L Thompson   @ref Developer
2695107b09fSJeremy L Thompson **/
2705107b09fSJeremy L Thompson int CeedOperatorCreateFallback(CeedOperator op) {
2715107b09fSJeremy L Thompson   int ierr;
2725107b09fSJeremy L Thompson 
2735107b09fSJeremy L Thompson   // Fallback Ceed
2745107b09fSJeremy L Thompson   const char *resource, *fallbackresource;
2755107b09fSJeremy L Thompson   ierr = CeedGetResource(op->ceed, &resource); CeedChk(ierr);
2765107b09fSJeremy L Thompson   ierr = CeedGetOperatorFallbackResource(op->ceed, &fallbackresource);
2775107b09fSJeremy L Thompson   CeedChk(ierr);
2785107b09fSJeremy L Thompson   if (!strcmp(resource, fallbackresource))
2795107b09fSJeremy L Thompson     // LCOV_EXCL_START
2805107b09fSJeremy L Thompson     return CeedError(op->ceed, 1, "Backend %s cannot create an operator"
2815107b09fSJeremy L Thompson                      "fallback to resource %s", resource, fallbackresource);
2825107b09fSJeremy L Thompson   // LCOV_EXCL_STOP
2835107b09fSJeremy L Thompson 
2845107b09fSJeremy L Thompson   Ceed ceedref;
2855107b09fSJeremy L Thompson   ierr = CeedInit(fallbackresource, &ceedref); CeedChk(ierr);
2865107b09fSJeremy L Thompson   ceedref->opfallbackparent = op->ceed;
2875107b09fSJeremy L Thompson   op->ceed->opfallbackceed = ceedref;
2885107b09fSJeremy L Thompson 
2895107b09fSJeremy L Thompson   // Clone Op
2905107b09fSJeremy L Thompson   CeedOperator opref;
2915107b09fSJeremy L Thompson   ierr = CeedCalloc(1, &opref); CeedChk(ierr);
2925107b09fSJeremy L Thompson   memcpy(opref, op, sizeof(*opref)); CeedChk(ierr);
2935107b09fSJeremy L Thompson   opref->data = NULL;
2945107b09fSJeremy L Thompson   opref->setupdone = 0;
2955107b09fSJeremy L Thompson   opref->ceed = ceedref;
2965107b09fSJeremy L Thompson   ierr = ceedref->OperatorCreate(opref); CeedChk(ierr);
2975107b09fSJeremy L Thompson   op->opfallback = opref;
2985107b09fSJeremy L Thompson 
2995107b09fSJeremy L Thompson   // Clone QF
3005107b09fSJeremy L Thompson   CeedQFunction qfref;
3015107b09fSJeremy L Thompson   ierr = CeedCalloc(1, &qfref); CeedChk(ierr);
3025107b09fSJeremy L Thompson   memcpy(qfref, (op->qf), sizeof(*qfref)); CeedChk(ierr);
3035107b09fSJeremy L Thompson   qfref->data = NULL;
3045107b09fSJeremy L Thompson   qfref->ceed = ceedref;
3055107b09fSJeremy L Thompson   ierr = ceedref->QFunctionCreate(qfref); CeedChk(ierr);
3065107b09fSJeremy L Thompson   opref->qf = qfref;
3075107b09fSJeremy L Thompson   op->qffallback = qfref;
3085107b09fSJeremy L Thompson 
3095107b09fSJeremy L Thompson   return 0;
3105107b09fSJeremy L Thompson }
3115107b09fSJeremy L Thompson 
3125107b09fSJeremy L Thompson /**
313250756a7Sjeremylt   @brief Check if a CeedOperator is ready to be used.
314250756a7Sjeremylt 
315250756a7Sjeremylt   @param[in] ceed Ceed object for error handling
316250756a7Sjeremylt   @param[in] op   CeedOperator to check
317250756a7Sjeremylt 
318250756a7Sjeremylt   @return An error code: 0 - success, otherwise - failure
319250756a7Sjeremylt 
320250756a7Sjeremylt   @ref Basic
321250756a7Sjeremylt **/
322250756a7Sjeremylt static int CeedOperatorCheckReady(Ceed ceed, CeedOperator op) {
323250756a7Sjeremylt   CeedQFunction qf = op->qf;
324250756a7Sjeremylt 
325250756a7Sjeremylt   if (op->composite) {
326250756a7Sjeremylt     if (!op->numsub)
327250756a7Sjeremylt       // LCOV_EXCL_START
328250756a7Sjeremylt       return CeedError(ceed, 1, "No suboperators set");
329250756a7Sjeremylt     // LCOV_EXCL_STOP
330250756a7Sjeremylt   } else {
331250756a7Sjeremylt     if (op->nfields == 0)
332250756a7Sjeremylt       // LCOV_EXCL_START
333250756a7Sjeremylt       return CeedError(ceed, 1, "No operator fields set");
334250756a7Sjeremylt     // LCOV_EXCL_STOP
335250756a7Sjeremylt     if (op->nfields < qf->numinputfields + qf->numoutputfields)
336250756a7Sjeremylt       // LCOV_EXCL_START
337250756a7Sjeremylt       return CeedError(ceed, 1, "Not all operator fields set");
338250756a7Sjeremylt     // LCOV_EXCL_STOP
339250756a7Sjeremylt     if (!op->hasrestriction)
340250756a7Sjeremylt       // LCOV_EXCL_START
341250756a7Sjeremylt       return CeedError(ceed, 1,"At least one restriction required");
342250756a7Sjeremylt     // LCOV_EXCL_STOP
343250756a7Sjeremylt     if (op->numqpoints == 0)
344250756a7Sjeremylt       // LCOV_EXCL_START
345250756a7Sjeremylt       return CeedError(ceed, 1,"At least one non-collocated basis required");
346250756a7Sjeremylt     // LCOV_EXCL_STOP
347250756a7Sjeremylt   }
348250756a7Sjeremylt 
349250756a7Sjeremylt   return 0;
350250756a7Sjeremylt }
351250756a7Sjeremylt 
352250756a7Sjeremylt /**
3531d102b48SJeremy L Thompson   @brief Assemble a linear CeedQFunction associated with a CeedOperator
3541d102b48SJeremy L Thompson 
3551d102b48SJeremy L Thompson   This returns a CeedVector containing a matrix at each quadrature point
3561d102b48SJeremy L Thompson     providing the action of the CeedQFunction associated with the CeedOperator.
3571d102b48SJeremy L Thompson     The vector 'assembled' is of shape
3581d102b48SJeremy L Thompson       [num_elements, num_input_fields, num_output_fields, num_quad_points]
3591d102b48SJeremy L Thompson     and contains column-major matrices representing the action of the
3601d102b48SJeremy L Thompson     CeedQFunction for a corresponding quadrature point on an element. Inputs and
3611d102b48SJeremy L Thompson     outputs are in the order provided by the user when adding CeedOperator fields.
3621d102b48SJeremy L Thompson     For example, a QFunction with inputs 'u' and 'gradu' and outputs 'gradv' and
3631d102b48SJeremy L Thompson     'v', provided in that order, would result in an assembled QFunction that
3641d102b48SJeremy L Thompson     consists of (1 + dim) x (dim + 1) matrices at each quadrature point acting
3651d102b48SJeremy L Thompson     on the input [u, du_0, du_1] and producing the output [dv_0, dv_1, v].
3661d102b48SJeremy L Thompson 
3671d102b48SJeremy L Thompson   @param op             CeedOperator to assemble CeedQFunction
3681d102b48SJeremy L Thompson   @param[out] assembled CeedVector to store assembled CeedQFunction at
3691d102b48SJeremy L Thompson                           quadrature points
3701d102b48SJeremy L Thompson   @param[out] rstr      CeedElemRestriction for CeedVector containing assembled
3711d102b48SJeremy L Thompson                           CeedQFunction
3721d102b48SJeremy L Thompson   @param request        Address of CeedRequest for non-blocking completion, else
3731d102b48SJeremy L Thompson                           CEED_REQUEST_IMMEDIATE
3741d102b48SJeremy L Thompson 
3751d102b48SJeremy L Thompson   @return An error code: 0 - success, otherwise - failure
3761d102b48SJeremy L Thompson 
377b7ec98d8SJeremy L Thompson   @ref Basic
3781d102b48SJeremy L Thompson **/
3791d102b48SJeremy L Thompson int CeedOperatorAssembleLinearQFunction(CeedOperator op, CeedVector *assembled,
3807f823360Sjeremylt                                         CeedElemRestriction *rstr,
3817f823360Sjeremylt                                         CeedRequest *request) {
3821d102b48SJeremy L Thompson   int ierr;
3831d102b48SJeremy L Thompson   Ceed ceed = op->ceed;
384250756a7Sjeremylt   ierr = CeedOperatorCheckReady(ceed, op); CeedChk(ierr);
3851d102b48SJeremy L Thompson 
3867172caadSjeremylt   // Backend version
3875107b09fSJeremy L Thompson   if (op->AssembleLinearQFunction) {
3881d102b48SJeremy L Thompson     ierr = op->AssembleLinearQFunction(op, assembled, rstr, request);
3891d102b48SJeremy L Thompson     CeedChk(ierr);
3905107b09fSJeremy L Thompson   } else {
3915107b09fSJeremy L Thompson     // Fallback to reference Ceed
3925107b09fSJeremy L Thompson     if (!op->opfallback) {
3935107b09fSJeremy L Thompson       ierr = CeedOperatorCreateFallback(op); CeedChk(ierr);
3945107b09fSJeremy L Thompson     }
3955107b09fSJeremy L Thompson     // Assemble
3965107b09fSJeremy L Thompson     ierr = op->opfallback->AssembleLinearQFunction(op->opfallback, assembled,
3975107b09fSJeremy L Thompson            rstr, request); CeedChk(ierr);
3985107b09fSJeremy L Thompson   }
399250756a7Sjeremylt 
4001d102b48SJeremy L Thompson   return 0;
4011d102b48SJeremy L Thompson }
4021d102b48SJeremy L Thompson 
4031d102b48SJeremy L Thompson /**
404b7ec98d8SJeremy L Thompson   @brief Assemble the diagonal of a square linear Operator
405b7ec98d8SJeremy L Thompson 
406b7ec98d8SJeremy L Thompson   This returns a CeedVector containing the diagonal of a linear CeedOperator.
407b7ec98d8SJeremy L Thompson 
408b7ec98d8SJeremy L Thompson   @param op             CeedOperator to assemble CeedQFunction
409b7ec98d8SJeremy L Thompson   @param[out] assembled CeedVector to store assembled CeedOperator diagonal
410b7ec98d8SJeremy L Thompson   @param request        Address of CeedRequest for non-blocking completion, else
411b7ec98d8SJeremy L Thompson                           CEED_REQUEST_IMMEDIATE
412b7ec98d8SJeremy L Thompson 
413b7ec98d8SJeremy L Thompson   @return An error code: 0 - success, otherwise - failure
414b7ec98d8SJeremy L Thompson 
415b7ec98d8SJeremy L Thompson   @ref Basic
416b7ec98d8SJeremy L Thompson **/
4177f823360Sjeremylt int CeedOperatorAssembleLinearDiagonal(CeedOperator op, CeedVector *assembled,
4187f823360Sjeremylt                                        CeedRequest *request) {
419b7ec98d8SJeremy L Thompson   int ierr;
420b7ec98d8SJeremy L Thompson   Ceed ceed = op->ceed;
421250756a7Sjeremylt   ierr = CeedOperatorCheckReady(ceed, op); CeedChk(ierr);
422b7ec98d8SJeremy L Thompson 
423b7ec98d8SJeremy L Thompson   // Use backend version, if available
424b7ec98d8SJeremy L Thompson   if (op->AssembleLinearDiagonal) {
425b7ec98d8SJeremy L Thompson     ierr = op->AssembleLinearDiagonal(op, assembled, request); CeedChk(ierr);
4267172caadSjeremylt   } else {
4277172caadSjeremylt     // Fallback to reference Ceed
4287172caadSjeremylt     if (!op->opfallback) {
4297172caadSjeremylt       ierr = CeedOperatorCreateFallback(op); CeedChk(ierr);
430b7ec98d8SJeremy L Thompson     }
4317172caadSjeremylt     // Assemble
4327172caadSjeremylt     ierr = op->opfallback->AssembleLinearDiagonal(op->opfallback, assembled,
4337172caadSjeremylt            request); CeedChk(ierr);
434b7ec98d8SJeremy L Thompson   }
435b7ec98d8SJeremy L Thompson 
436b7ec98d8SJeremy L Thompson   return 0;
437b7ec98d8SJeremy L Thompson }
438b7ec98d8SJeremy L Thompson 
439b7ec98d8SJeremy L Thompson /**
4403bd813ffSjeremylt   @brief Build a FDM based approximate inverse for each element for a
4413bd813ffSjeremylt            CeedOperator
4423bd813ffSjeremylt 
4433bd813ffSjeremylt   This returns a CeedOperator and CeedVector to apply a Fast Diagonalization
4443bd813ffSjeremylt     Method based approximate inverse. This function obtains the simultaneous
4453bd813ffSjeremylt     diagonalization for the 1D mass and Laplacian operators,
4463bd813ffSjeremylt       M = V^T V, K = V^T S V.
4473bd813ffSjeremylt     The assembled QFunction is used to modify the eigenvalues from simultaneous
4483bd813ffSjeremylt     diagonalization and obtain an approximate inverse of the form
4493bd813ffSjeremylt       V^T S^hat V. The CeedOperator must be linear and non-composite. The
4503bd813ffSjeremylt     associated CeedQFunction must therefore also be linear.
4513bd813ffSjeremylt 
4523bd813ffSjeremylt   @param op             CeedOperator to create element inverses
4533bd813ffSjeremylt   @param[out] fdminv    CeedOperator to apply the action of a FDM based inverse
4543bd813ffSjeremylt                           for each element
4553bd813ffSjeremylt   @param[out] qdata     CeedVector to hold qdata for fdminv
4563bd813ffSjeremylt   @param request        Address of CeedRequest for non-blocking completion, else
4573bd813ffSjeremylt                           CEED_REQUEST_IMMEDIATE
4583bd813ffSjeremylt 
4593bd813ffSjeremylt   @return An error code: 0 - success, otherwise - failure
4603bd813ffSjeremylt 
4613bd813ffSjeremylt   @ref Advanced
4623bd813ffSjeremylt **/
4633bd813ffSjeremylt int CeedOperatorCreateFDMElementInverse(CeedOperator op, CeedOperator *fdminv,
4643bd813ffSjeremylt                                         CeedRequest *request) {
4653bd813ffSjeremylt   int ierr;
4663bd813ffSjeremylt   Ceed ceed = op->ceed;
467*713f43c3Sjeremylt   ierr = CeedOperatorCheckReady(ceed, op); CeedChk(ierr);
4683bd813ffSjeremylt 
469*713f43c3Sjeremylt   // Use backend version, if available
470*713f43c3Sjeremylt   if (op->CreateFDMElementInverse) {
471*713f43c3Sjeremylt     ierr = op->CreateFDMElementInverse(op, fdminv, request); CeedChk(ierr);
472*713f43c3Sjeremylt   } else {
473*713f43c3Sjeremylt     // Fallback to reference Ceed
474*713f43c3Sjeremylt     if (!op->opfallback) {
475*713f43c3Sjeremylt       ierr = CeedOperatorCreateFallback(op); CeedChk(ierr);
4763bd813ffSjeremylt     }
477*713f43c3Sjeremylt     // Assemble
478*713f43c3Sjeremylt     ierr = op->opfallback->CreateFDMElementInverse(op->opfallback, fdminv,
4793bd813ffSjeremylt            request); CeedChk(ierr);
4803bd813ffSjeremylt   }
4813bd813ffSjeremylt 
4823bd813ffSjeremylt   return 0;
4833bd813ffSjeremylt }
4843bd813ffSjeremylt 
4853bd813ffSjeremylt 
4863bd813ffSjeremylt /**
4873bd813ffSjeremylt   @brief Apply CeedOperator to a vector
488d7b241e6Sjeremylt 
489d7b241e6Sjeremylt   This computes the action of the operator on the specified (active) input,
490d7b241e6Sjeremylt   yielding its (active) output.  All inputs and outputs must be specified using
491d7b241e6Sjeremylt   CeedOperatorSetField().
492d7b241e6Sjeremylt 
493d7b241e6Sjeremylt   @param op        CeedOperator to apply
49434138859Sjeremylt   @param[in] in    CeedVector containing input state or CEED_VECTOR_NONE if
49534138859Sjeremylt                   there are no active inputs
496b11c1e72Sjeremylt   @param[out] out  CeedVector to store result of applying operator (must be
49734138859Sjeremylt                      distinct from @a in) or CEED_VECTOR_NONE if there are no
49834138859Sjeremylt                      active outputs
499d7b241e6Sjeremylt   @param request   Address of CeedRequest for non-blocking completion, else
500d7b241e6Sjeremylt                      CEED_REQUEST_IMMEDIATE
501b11c1e72Sjeremylt 
502b11c1e72Sjeremylt   @return An error code: 0 - success, otherwise - failure
503dfdf5a53Sjeremylt 
504dfdf5a53Sjeremylt   @ref Basic
505b11c1e72Sjeremylt **/
506692c2638Sjeremylt int CeedOperatorApply(CeedOperator op, CeedVector in, CeedVector out,
507692c2638Sjeremylt                       CeedRequest *request) {
508d7b241e6Sjeremylt   int ierr;
509d7b241e6Sjeremylt   Ceed ceed = op->ceed;
510250756a7Sjeremylt   ierr = CeedOperatorCheckReady(ceed, op); CeedChk(ierr);
511d7b241e6Sjeremylt 
512250756a7Sjeremylt   if (op->numelements)  {
513250756a7Sjeremylt     // Standard Operator
514cae8b89aSjeremylt     if (op->Apply) {
515250756a7Sjeremylt       ierr = op->Apply(op, in, out, request); CeedChk(ierr);
516cae8b89aSjeremylt     } else {
517cae8b89aSjeremylt       // Zero all output vectors
518250756a7Sjeremylt       CeedQFunction qf = op->qf;
519cae8b89aSjeremylt       for (CeedInt i=0; i<qf->numoutputfields; i++) {
520cae8b89aSjeremylt         CeedVector vec = op->outputfields[i]->vec;
521cae8b89aSjeremylt         if (vec == CEED_VECTOR_ACTIVE)
522cae8b89aSjeremylt           vec = out;
523cae8b89aSjeremylt         if (vec != CEED_VECTOR_NONE) {
524cae8b89aSjeremylt           ierr = CeedVectorSetValue(vec, 0.0); CeedChk(ierr);
525cae8b89aSjeremylt         }
526cae8b89aSjeremylt       }
527250756a7Sjeremylt       // Apply
528250756a7Sjeremylt       ierr = op->ApplyAdd(op, in, out, request); CeedChk(ierr);
529250756a7Sjeremylt     }
530250756a7Sjeremylt   } else if (op->composite) {
531250756a7Sjeremylt     // Composite Operator
532250756a7Sjeremylt     if (op->ApplyComposite) {
533250756a7Sjeremylt       ierr = op->ApplyComposite(op, in, out, request); CeedChk(ierr);
534250756a7Sjeremylt     } else {
535250756a7Sjeremylt       CeedInt numsub;
536250756a7Sjeremylt       ierr = CeedOperatorGetNumSub(op, &numsub); CeedChk(ierr);
537250756a7Sjeremylt       CeedOperator *suboperators;
538250756a7Sjeremylt       ierr = CeedOperatorGetSubList(op, &suboperators); CeedChk(ierr);
539250756a7Sjeremylt 
540250756a7Sjeremylt       // Zero all output vectors
541250756a7Sjeremylt       if (out != CEED_VECTOR_NONE) {
542cae8b89aSjeremylt         ierr = CeedVectorSetValue(out, 0.0); CeedChk(ierr);
543cae8b89aSjeremylt       }
544250756a7Sjeremylt       for (CeedInt i=0; i<numsub; i++) {
545250756a7Sjeremylt         for (CeedInt j=0; j<suboperators[i]->qf->numoutputfields; j++) {
546250756a7Sjeremylt           CeedVector vec = suboperators[i]->outputfields[j]->vec;
547250756a7Sjeremylt           if (vec != CEED_VECTOR_ACTIVE && vec != CEED_VECTOR_NONE) {
548250756a7Sjeremylt             ierr = CeedVectorSetValue(vec, 0.0); CeedChk(ierr);
549250756a7Sjeremylt           }
550250756a7Sjeremylt         }
551250756a7Sjeremylt       }
552250756a7Sjeremylt       // Apply
553250756a7Sjeremylt       for (CeedInt i=0; i<op->numsub; i++) {
554250756a7Sjeremylt         ierr = CeedOperatorApplyAdd(op->suboperators[i], in, out, request);
555cae8b89aSjeremylt         CeedChk(ierr);
556cae8b89aSjeremylt       }
557cae8b89aSjeremylt     }
558250756a7Sjeremylt   }
559250756a7Sjeremylt 
560cae8b89aSjeremylt   return 0;
561cae8b89aSjeremylt }
562cae8b89aSjeremylt 
563cae8b89aSjeremylt /**
564cae8b89aSjeremylt   @brief Apply CeedOperator to a vector and add result to output vector
565cae8b89aSjeremylt 
566cae8b89aSjeremylt   This computes the action of the operator on the specified (active) input,
567cae8b89aSjeremylt   yielding its (active) output.  All inputs and outputs must be specified using
568cae8b89aSjeremylt   CeedOperatorSetField().
569cae8b89aSjeremylt 
570cae8b89aSjeremylt   @param op        CeedOperator to apply
571cae8b89aSjeremylt   @param[in] in    CeedVector containing input state or NULL if there are no
572cae8b89aSjeremylt                      active inputs
573cae8b89aSjeremylt   @param[out] out  CeedVector to sum in result of applying operator (must be
574cae8b89aSjeremylt                      distinct from @a in) or NULL if there are no active outputs
575cae8b89aSjeremylt   @param request   Address of CeedRequest for non-blocking completion, else
576cae8b89aSjeremylt                      CEED_REQUEST_IMMEDIATE
577cae8b89aSjeremylt 
578cae8b89aSjeremylt   @return An error code: 0 - success, otherwise - failure
579cae8b89aSjeremylt 
580cae8b89aSjeremylt   @ref Basic
581cae8b89aSjeremylt **/
582cae8b89aSjeremylt int CeedOperatorApplyAdd(CeedOperator op, CeedVector in, CeedVector out,
583cae8b89aSjeremylt                          CeedRequest *request) {
584cae8b89aSjeremylt   int ierr;
585cae8b89aSjeremylt   Ceed ceed = op->ceed;
586250756a7Sjeremylt   ierr = CeedOperatorCheckReady(ceed, op); CeedChk(ierr);
587cae8b89aSjeremylt 
588250756a7Sjeremylt   if (op->numelements)  {
589250756a7Sjeremylt     // Standard Operator
590250756a7Sjeremylt     ierr = op->ApplyAdd(op, in, out, request); CeedChk(ierr);
591250756a7Sjeremylt   } else if (op->composite) {
592250756a7Sjeremylt     // Composite Operator
593250756a7Sjeremylt     if (op->ApplyAddComposite) {
594250756a7Sjeremylt       ierr = op->ApplyAddComposite(op, in, out, request); CeedChk(ierr);
595cae8b89aSjeremylt     } else {
596250756a7Sjeremylt       CeedInt numsub;
597250756a7Sjeremylt       ierr = CeedOperatorGetNumSub(op, &numsub); CeedChk(ierr);
598250756a7Sjeremylt       CeedOperator *suboperators;
599250756a7Sjeremylt       ierr = CeedOperatorGetSubList(op, &suboperators); CeedChk(ierr);
600250756a7Sjeremylt 
601250756a7Sjeremylt       for (CeedInt i=0; i<numsub; i++) {
602250756a7Sjeremylt         ierr = CeedOperatorApplyAdd(suboperators[i], in, out, request);
603cae8b89aSjeremylt         CeedChk(ierr);
6041d7d2407SJeremy L Thompson       }
605250756a7Sjeremylt     }
606250756a7Sjeremylt   }
607250756a7Sjeremylt 
608d7b241e6Sjeremylt   return 0;
609d7b241e6Sjeremylt }
610d7b241e6Sjeremylt 
611d7b241e6Sjeremylt /**
6124ce2993fSjeremylt   @brief Get the Ceed associated with a CeedOperator
6134ce2993fSjeremylt 
6144ce2993fSjeremylt   @param op              CeedOperator
6154ce2993fSjeremylt   @param[out] ceed       Variable to store Ceed
6164ce2993fSjeremylt 
6174ce2993fSjeremylt   @return An error code: 0 - success, otherwise - failure
6184ce2993fSjeremylt 
61923617272Sjeremylt   @ref Advanced
6204ce2993fSjeremylt **/
6214ce2993fSjeremylt 
6224ce2993fSjeremylt int CeedOperatorGetCeed(CeedOperator op, Ceed *ceed) {
6234ce2993fSjeremylt   *ceed = op->ceed;
6244ce2993fSjeremylt   return 0;
6254ce2993fSjeremylt }
6264ce2993fSjeremylt 
6274ce2993fSjeremylt /**
6284ce2993fSjeremylt   @brief Get the number of elements associated with a CeedOperator
6294ce2993fSjeremylt 
6304ce2993fSjeremylt   @param op              CeedOperator
6314ce2993fSjeremylt   @param[out] numelem    Variable to store number of elements
6324ce2993fSjeremylt 
6334ce2993fSjeremylt   @return An error code: 0 - success, otherwise - failure
6344ce2993fSjeremylt 
63523617272Sjeremylt   @ref Advanced
6364ce2993fSjeremylt **/
6374ce2993fSjeremylt 
6384ce2993fSjeremylt int CeedOperatorGetNumElements(CeedOperator op, CeedInt *numelem) {
63952d6035fSJeremy L Thompson   if (op->composite)
640c042f62fSJeremy L Thompson     // LCOV_EXCL_START
64152d6035fSJeremy L Thompson     return CeedError(op->ceed, 1, "Not defined for composite operator");
642c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
64352d6035fSJeremy L Thompson 
6444ce2993fSjeremylt   *numelem = op->numelements;
6454ce2993fSjeremylt   return 0;
6464ce2993fSjeremylt }
6474ce2993fSjeremylt 
6484ce2993fSjeremylt /**
6494ce2993fSjeremylt   @brief Get the number of quadrature points associated with a CeedOperator
6504ce2993fSjeremylt 
6514ce2993fSjeremylt   @param op              CeedOperator
6524ce2993fSjeremylt   @param[out] numqpts    Variable to store vector number of quadrature points
6534ce2993fSjeremylt 
6544ce2993fSjeremylt   @return An error code: 0 - success, otherwise - failure
6554ce2993fSjeremylt 
65623617272Sjeremylt   @ref Advanced
6574ce2993fSjeremylt **/
6584ce2993fSjeremylt 
6594ce2993fSjeremylt int CeedOperatorGetNumQuadraturePoints(CeedOperator op, CeedInt *numqpts) {
66052d6035fSJeremy L Thompson   if (op->composite)
661c042f62fSJeremy L Thompson     // LCOV_EXCL_START
66252d6035fSJeremy L Thompson     return CeedError(op->ceed, 1, "Not defined for composite operator");
663c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
66452d6035fSJeremy L Thompson 
6654ce2993fSjeremylt   *numqpts = op->numqpoints;
6664ce2993fSjeremylt   return 0;
6674ce2993fSjeremylt }
6684ce2993fSjeremylt 
6694ce2993fSjeremylt /**
6704ce2993fSjeremylt   @brief Get the number of arguments associated with a CeedOperator
6714ce2993fSjeremylt 
6724ce2993fSjeremylt   @param op              CeedOperator
6734ce2993fSjeremylt   @param[out] numargs    Variable to store vector number of arguments
6744ce2993fSjeremylt 
6754ce2993fSjeremylt   @return An error code: 0 - success, otherwise - failure
6764ce2993fSjeremylt 
67723617272Sjeremylt   @ref Advanced
6784ce2993fSjeremylt **/
6794ce2993fSjeremylt 
6804ce2993fSjeremylt int CeedOperatorGetNumArgs(CeedOperator op, CeedInt *numargs) {
68152d6035fSJeremy L Thompson   if (op->composite)
682c042f62fSJeremy L Thompson     // LCOV_EXCL_START
68352d6035fSJeremy L Thompson     return CeedError(op->ceed, 1, "Not defined for composite operators");
684c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
685c042f62fSJeremy L Thompson 
6864ce2993fSjeremylt   *numargs = op->nfields;
6874ce2993fSjeremylt   return 0;
6884ce2993fSjeremylt }
6894ce2993fSjeremylt 
6904ce2993fSjeremylt /**
6914ce2993fSjeremylt   @brief Get the setup status of a CeedOperator
6924ce2993fSjeremylt 
6934ce2993fSjeremylt   @param op             CeedOperator
694288c0443SJeremy L Thompson   @param[out] setupdone Variable to store setup status
6954ce2993fSjeremylt 
6964ce2993fSjeremylt   @return An error code: 0 - success, otherwise - failure
6974ce2993fSjeremylt 
69823617272Sjeremylt   @ref Advanced
6994ce2993fSjeremylt **/
7004ce2993fSjeremylt 
7014ce2993fSjeremylt int CeedOperatorGetSetupStatus(CeedOperator op, bool *setupdone) {
7024ce2993fSjeremylt   *setupdone = op->setupdone;
7034ce2993fSjeremylt   return 0;
7044ce2993fSjeremylt }
7054ce2993fSjeremylt 
7064ce2993fSjeremylt /**
7074ce2993fSjeremylt   @brief Get the QFunction associated with a CeedOperator
7084ce2993fSjeremylt 
7094ce2993fSjeremylt   @param op              CeedOperator
7108c91a0c9SJeremy L Thompson   @param[out] qf         Variable to store QFunction
7114ce2993fSjeremylt 
7124ce2993fSjeremylt   @return An error code: 0 - success, otherwise - failure
7134ce2993fSjeremylt 
71423617272Sjeremylt   @ref Advanced
7154ce2993fSjeremylt **/
7164ce2993fSjeremylt 
7174ce2993fSjeremylt int CeedOperatorGetQFunction(CeedOperator op, CeedQFunction *qf) {
71852d6035fSJeremy L Thompson   if (op->composite)
719c042f62fSJeremy L Thompson     // LCOV_EXCL_START
72052d6035fSJeremy L Thompson     return CeedError(op->ceed, 1, "Not defined for composite operator");
721c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
72252d6035fSJeremy L Thompson 
7234ce2993fSjeremylt   *qf = op->qf;
7244ce2993fSjeremylt   return 0;
7254ce2993fSjeremylt }
7264ce2993fSjeremylt 
7274ce2993fSjeremylt /**
72852d6035fSJeremy L Thompson   @brief Get the number of suboperators associated with a CeedOperator
72952d6035fSJeremy L Thompson 
73052d6035fSJeremy L Thompson   @param op              CeedOperator
73152d6035fSJeremy L Thompson   @param[out] numsub     Variable to store number of suboperators
73252d6035fSJeremy L Thompson 
73352d6035fSJeremy L Thompson   @return An error code: 0 - success, otherwise - failure
73452d6035fSJeremy L Thompson 
73552d6035fSJeremy L Thompson   @ref Advanced
73652d6035fSJeremy L Thompson **/
73752d6035fSJeremy L Thompson 
73852d6035fSJeremy L Thompson int CeedOperatorGetNumSub(CeedOperator op, CeedInt *numsub) {
739c042f62fSJeremy L Thompson   if (!op->composite)
740c042f62fSJeremy L Thompson     // LCOV_EXCL_START
741c042f62fSJeremy L Thompson     return CeedError(op->ceed, 1, "Not a composite operator");
742c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
74352d6035fSJeremy L Thompson 
74452d6035fSJeremy L Thompson   *numsub = op->numsub;
74552d6035fSJeremy L Thompson   return 0;
74652d6035fSJeremy L Thompson }
74752d6035fSJeremy L Thompson 
74852d6035fSJeremy L Thompson /**
74952d6035fSJeremy L Thompson   @brief Get the list of suboperators associated with a CeedOperator
75052d6035fSJeremy L Thompson 
75152d6035fSJeremy L Thompson   @param op                CeedOperator
75252d6035fSJeremy L Thompson   @param[out] suboperators Variable to store list of suboperators
75352d6035fSJeremy L Thompson 
75452d6035fSJeremy L Thompson   @return An error code: 0 - success, otherwise - failure
75552d6035fSJeremy L Thompson 
75652d6035fSJeremy L Thompson   @ref Advanced
75752d6035fSJeremy L Thompson **/
75852d6035fSJeremy L Thompson 
75952d6035fSJeremy L Thompson int CeedOperatorGetSubList(CeedOperator op, CeedOperator **suboperators) {
760c042f62fSJeremy L Thompson   if (!op->composite)
761c042f62fSJeremy L Thompson     // LCOV_EXCL_START
762c042f62fSJeremy L Thompson     return CeedError(op->ceed, 1, "Not a composite operator");
763c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
76452d6035fSJeremy L Thompson 
76552d6035fSJeremy L Thompson   *suboperators = op->suboperators;
76652d6035fSJeremy L Thompson   return 0;
76752d6035fSJeremy L Thompson }
76852d6035fSJeremy L Thompson 
76952d6035fSJeremy L Thompson /**
770fe2413ffSjeremylt   @brief Set the backend data of a CeedOperator
771fe2413ffSjeremylt 
772fe2413ffSjeremylt   @param[out] op         CeedOperator
773fe2413ffSjeremylt   @param data            Data to set
774fe2413ffSjeremylt 
775fe2413ffSjeremylt   @return An error code: 0 - success, otherwise - failure
776fe2413ffSjeremylt 
777fe2413ffSjeremylt   @ref Advanced
778fe2413ffSjeremylt **/
779fe2413ffSjeremylt 
780fe2413ffSjeremylt int CeedOperatorSetData(CeedOperator op, void **data) {
781fe2413ffSjeremylt   op->data = *data;
782fe2413ffSjeremylt   return 0;
783fe2413ffSjeremylt }
784fe2413ffSjeremylt 
785fe2413ffSjeremylt /**
7864ce2993fSjeremylt   @brief Get the backend data of a CeedOperator
7874ce2993fSjeremylt 
7884ce2993fSjeremylt   @param op              CeedOperator
7894ce2993fSjeremylt   @param[out] data       Variable to store data
7904ce2993fSjeremylt 
7914ce2993fSjeremylt   @return An error code: 0 - success, otherwise - failure
7924ce2993fSjeremylt 
79323617272Sjeremylt   @ref Advanced
7944ce2993fSjeremylt **/
7954ce2993fSjeremylt 
7964ce2993fSjeremylt int CeedOperatorGetData(CeedOperator op, void **data) {
7974ce2993fSjeremylt   *data = op->data;
7984ce2993fSjeremylt   return 0;
7994ce2993fSjeremylt }
8004ce2993fSjeremylt 
8014ce2993fSjeremylt /**
8024ce2993fSjeremylt   @brief Set the setup flag of a CeedOperator to True
8034ce2993fSjeremylt 
8044ce2993fSjeremylt   @param op              CeedOperator
8054ce2993fSjeremylt 
8064ce2993fSjeremylt   @return An error code: 0 - success, otherwise - failure
8074ce2993fSjeremylt 
80823617272Sjeremylt   @ref Advanced
8094ce2993fSjeremylt **/
8104ce2993fSjeremylt 
8114ce2993fSjeremylt int CeedOperatorSetSetupDone(CeedOperator op) {
8124ce2993fSjeremylt   op->setupdone = 1;
8134ce2993fSjeremylt   return 0;
8144ce2993fSjeremylt }
8154ce2993fSjeremylt 
8164ce2993fSjeremylt /**
8172ebaca42Sjeremylt   @brief View a field of a CeedOperator
8182ebaca42Sjeremylt 
8192ebaca42Sjeremylt   @param[in] field       Operator field to view
8202ebaca42Sjeremylt   @param[in] fieldnumber Number of field being viewed
8212ebaca42Sjeremylt   @param[in] stream      Stream to view to, e.g., stdout
8222ebaca42Sjeremylt 
8232ebaca42Sjeremylt   @return An error code: 0 - success, otherwise - failure
8242ebaca42Sjeremylt 
8252ebaca42Sjeremylt   @ref Utility
8262ebaca42Sjeremylt **/
8272ebaca42Sjeremylt static int CeedOperatorFieldView(CeedOperatorField field,
8282ebaca42Sjeremylt                                  CeedQFunctionField qffield,
8292da88da5Sjeremylt                                  CeedInt fieldnumber, bool sub, bool in,
8302da88da5Sjeremylt                                  FILE *stream) {
8312ebaca42Sjeremylt   const char *pre = sub ? "  " : "";
8322da88da5Sjeremylt   const char *inout = in ? "Input" : "Output";
8332ebaca42Sjeremylt 
8342da88da5Sjeremylt   fprintf(stream, "%s    %s Field [%d]:\n"
8352da88da5Sjeremylt           "%s      Name: \"%s\"\n"
8362da88da5Sjeremylt           "%s      Lmode: \"%s\"\n",
8372da88da5Sjeremylt           pre, inout, fieldnumber, pre, qffield->fieldname,
8382ebaca42Sjeremylt           pre, CeedTransposeModes[field->lmode]);
8392ebaca42Sjeremylt 
8402ebaca42Sjeremylt   if (field->basis == CEED_BASIS_COLLOCATED)
8412ebaca42Sjeremylt     fprintf(stream, "%s      Collocated basis\n", pre);
8422ebaca42Sjeremylt 
8432ebaca42Sjeremylt   if (field->vec == CEED_VECTOR_ACTIVE)
8442ebaca42Sjeremylt     fprintf(stream, "%s      Active vector\n", pre);
8452ebaca42Sjeremylt   else if (field->vec == CEED_VECTOR_NONE)
8462ebaca42Sjeremylt     fprintf(stream, "%s      No vector\n", pre);
8472ebaca42Sjeremylt 
8482ebaca42Sjeremylt   return 0;
8492ebaca42Sjeremylt }
8502ebaca42Sjeremylt 
8512ebaca42Sjeremylt /**
8522ebaca42Sjeremylt   @brief View a single CeedOperator
8532ebaca42Sjeremylt 
8542ebaca42Sjeremylt   @param[in] op     CeedOperator to view
8552ebaca42Sjeremylt   @param[in] stream Stream to write; typically stdout/stderr or a file
8562ebaca42Sjeremylt 
8572ebaca42Sjeremylt   @return Error code: 0 - success, otherwise - failure
8582ebaca42Sjeremylt 
8592ebaca42Sjeremylt   @ref Utility
8602ebaca42Sjeremylt **/
8612ebaca42Sjeremylt int CeedOperatorSingleView(CeedOperator op, bool sub, FILE *stream) {
8622ebaca42Sjeremylt   int ierr;
8632ebaca42Sjeremylt   const char *pre = sub ? "  " : "";
8642ebaca42Sjeremylt 
8652ebaca42Sjeremylt   CeedInt totalfields;
8662ebaca42Sjeremylt   ierr = CeedOperatorGetNumArgs(op, &totalfields); CeedChk(ierr);
8672da88da5Sjeremylt 
8682ebaca42Sjeremylt   fprintf(stream, "%s  %d Field%s\n", pre, totalfields, totalfields>1 ? "s" : "");
8692ebaca42Sjeremylt 
8702da88da5Sjeremylt   fprintf(stream, "%s  %d Input Field%s:\n", pre, op->qf->numinputfields,
8712ebaca42Sjeremylt           op->qf->numinputfields>1 ? "s" : "");
8722ebaca42Sjeremylt   for (CeedInt i=0; i<op->qf->numinputfields; i++) {
8732ebaca42Sjeremylt     ierr = CeedOperatorFieldView(op->inputfields[i], op->qf->inputfields[i],
8742da88da5Sjeremylt                                  i, sub, 1, stream); CeedChk(ierr);
8752ebaca42Sjeremylt   }
8762ebaca42Sjeremylt 
8772da88da5Sjeremylt   fprintf(stream, "%s  %d Output Field%s:\n", pre, op->qf->numoutputfields,
8782ebaca42Sjeremylt           op->qf->numoutputfields>1 ? "s" : "");
8792ebaca42Sjeremylt   for (CeedInt i=0; i<op->qf->numoutputfields; i++) {
8802ebaca42Sjeremylt     ierr = CeedOperatorFieldView(op->outputfields[i], op->qf->inputfields[i],
8812da88da5Sjeremylt                                  i, sub, 0, stream); CeedChk(ierr);
8822ebaca42Sjeremylt   }
8832ebaca42Sjeremylt 
8842ebaca42Sjeremylt   return 0;
8852ebaca42Sjeremylt }
8862ebaca42Sjeremylt 
8872ebaca42Sjeremylt /**
8882ebaca42Sjeremylt   @brief View a CeedOperator
8892ebaca42Sjeremylt 
8902ebaca42Sjeremylt   @param[in] op     CeedOperator to view
8912ebaca42Sjeremylt   @param[in] stream Stream to write; typically stdout/stderr or a file
8922ebaca42Sjeremylt 
8932ebaca42Sjeremylt   @return Error code: 0 - success, otherwise - failure
8942ebaca42Sjeremylt 
8952ebaca42Sjeremylt   @ref Utility
8962ebaca42Sjeremylt **/
8972ebaca42Sjeremylt int CeedOperatorView(CeedOperator op, FILE *stream) {
8982ebaca42Sjeremylt   int ierr;
8992ebaca42Sjeremylt 
9002ebaca42Sjeremylt   if (op->composite) {
9012ebaca42Sjeremylt     fprintf(stream, "Composite CeedOperator\n");
9022ebaca42Sjeremylt 
9032ebaca42Sjeremylt     for (CeedInt i=0; i<op->numsub; i++) {
9042da88da5Sjeremylt       fprintf(stream, "  SubOperator [%d]:\n", i);
9052ebaca42Sjeremylt       ierr = CeedOperatorSingleView(op->suboperators[i], 1, stream);
9062ebaca42Sjeremylt       CeedChk(ierr);
9072ebaca42Sjeremylt     }
9082ebaca42Sjeremylt   } else {
9092ebaca42Sjeremylt     fprintf(stream, "CeedOperator\n");
9102ebaca42Sjeremylt     ierr = CeedOperatorSingleView(op, 0, stream); CeedChk(ierr);
9112ebaca42Sjeremylt   }
9122ebaca42Sjeremylt 
9132ebaca42Sjeremylt   return 0;
9142ebaca42Sjeremylt }
9152ebaca42Sjeremylt 
9162ebaca42Sjeremylt /**
917d1bcdac9Sjeremylt   @brief Get the CeedOperatorFields of a CeedOperator
918d1bcdac9Sjeremylt 
919d1bcdac9Sjeremylt   @param op                 CeedOperator
920d1bcdac9Sjeremylt   @param[out] inputfields   Variable to store inputfields
921d1bcdac9Sjeremylt   @param[out] outputfields  Variable to store outputfields
922d1bcdac9Sjeremylt 
923d1bcdac9Sjeremylt   @return An error code: 0 - success, otherwise - failure
924d1bcdac9Sjeremylt 
925d1bcdac9Sjeremylt   @ref Advanced
926d1bcdac9Sjeremylt **/
927d1bcdac9Sjeremylt 
928692c2638Sjeremylt int CeedOperatorGetFields(CeedOperator op, CeedOperatorField **inputfields,
929d1bcdac9Sjeremylt                           CeedOperatorField **outputfields) {
93052d6035fSJeremy L Thompson   if (op->composite)
931c042f62fSJeremy L Thompson     // LCOV_EXCL_START
93252d6035fSJeremy L Thompson     return CeedError(op->ceed, 1, "Not defined for composite operator");
933c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
93452d6035fSJeremy L Thompson 
935d1bcdac9Sjeremylt   if (inputfields) *inputfields = op->inputfields;
936d1bcdac9Sjeremylt   if (outputfields) *outputfields = op->outputfields;
937d1bcdac9Sjeremylt   return 0;
938d1bcdac9Sjeremylt }
939d1bcdac9Sjeremylt 
940d1bcdac9Sjeremylt /**
9414dccadb6Sjeremylt   @brief Get the L vector CeedTransposeMode of a CeedOperatorField
9424dccadb6Sjeremylt 
9434dccadb6Sjeremylt   @param opfield         CeedOperatorField
9444dccadb6Sjeremylt   @param[out] lmode      Variable to store CeedTransposeMode
9454dccadb6Sjeremylt 
9464dccadb6Sjeremylt   @return An error code: 0 - success, otherwise - failure
9474dccadb6Sjeremylt 
9484dccadb6Sjeremylt   @ref Advanced
9494dccadb6Sjeremylt **/
9504dccadb6Sjeremylt 
9514dccadb6Sjeremylt int CeedOperatorFieldGetLMode(CeedOperatorField opfield,
9524dccadb6Sjeremylt                               CeedTransposeMode *lmode) {
953fe2413ffSjeremylt   *lmode = opfield->lmode;
9544dccadb6Sjeremylt   return 0;
9552b8e417aSjeremylt }
9562b8e417aSjeremylt 
9572b8e417aSjeremylt /**
958d1bcdac9Sjeremylt   @brief Get the CeedElemRestriction of a CeedOperatorField
959d1bcdac9Sjeremylt 
960d1bcdac9Sjeremylt   @param opfield         CeedOperatorField
961d1bcdac9Sjeremylt   @param[out] rstr       Variable to store CeedElemRestriction
962d1bcdac9Sjeremylt 
963d1bcdac9Sjeremylt   @return An error code: 0 - success, otherwise - failure
964d1bcdac9Sjeremylt 
965d1bcdac9Sjeremylt   @ref Advanced
966d1bcdac9Sjeremylt **/
967d1bcdac9Sjeremylt 
968d1bcdac9Sjeremylt int CeedOperatorFieldGetElemRestriction(CeedOperatorField opfield,
969d1bcdac9Sjeremylt                                         CeedElemRestriction *rstr) {
970fe2413ffSjeremylt   *rstr = opfield->Erestrict;
971d1bcdac9Sjeremylt   return 0;
972d1bcdac9Sjeremylt }
973d1bcdac9Sjeremylt 
974d1bcdac9Sjeremylt /**
975d1bcdac9Sjeremylt   @brief Get the CeedBasis of a CeedOperatorField
976d1bcdac9Sjeremylt 
977d1bcdac9Sjeremylt   @param opfield         CeedOperatorField
978d1bcdac9Sjeremylt   @param[out] basis      Variable to store CeedBasis
979d1bcdac9Sjeremylt 
980d1bcdac9Sjeremylt   @return An error code: 0 - success, otherwise - failure
981d1bcdac9Sjeremylt 
982d1bcdac9Sjeremylt   @ref Advanced
983d1bcdac9Sjeremylt **/
984d1bcdac9Sjeremylt 
985692c2638Sjeremylt int CeedOperatorFieldGetBasis(CeedOperatorField opfield, CeedBasis *basis) {
986fe2413ffSjeremylt   *basis = opfield->basis;
987d1bcdac9Sjeremylt   return 0;
988d1bcdac9Sjeremylt }
989d1bcdac9Sjeremylt 
990d1bcdac9Sjeremylt /**
991d1bcdac9Sjeremylt   @brief Get the CeedVector of a CeedOperatorField
992d1bcdac9Sjeremylt 
993d1bcdac9Sjeremylt   @param opfield         CeedOperatorField
994d1bcdac9Sjeremylt   @param[out] vec        Variable to store CeedVector
995d1bcdac9Sjeremylt 
996d1bcdac9Sjeremylt   @return An error code: 0 - success, otherwise - failure
997d1bcdac9Sjeremylt 
998d1bcdac9Sjeremylt   @ref Advanced
999d1bcdac9Sjeremylt **/
1000d1bcdac9Sjeremylt 
1001692c2638Sjeremylt int CeedOperatorFieldGetVector(CeedOperatorField opfield, CeedVector *vec) {
1002fe2413ffSjeremylt   *vec = opfield->vec;
1003d1bcdac9Sjeremylt   return 0;
1004d1bcdac9Sjeremylt }
1005d1bcdac9Sjeremylt 
1006d1bcdac9Sjeremylt /**
1007b11c1e72Sjeremylt   @brief Destroy a CeedOperator
1008d7b241e6Sjeremylt 
1009d7b241e6Sjeremylt   @param op CeedOperator to destroy
1010b11c1e72Sjeremylt 
1011b11c1e72Sjeremylt   @return An error code: 0 - success, otherwise - failure
1012dfdf5a53Sjeremylt 
1013dfdf5a53Sjeremylt   @ref Basic
1014b11c1e72Sjeremylt **/
1015d7b241e6Sjeremylt int CeedOperatorDestroy(CeedOperator *op) {
1016d7b241e6Sjeremylt   int ierr;
1017d7b241e6Sjeremylt 
1018d7b241e6Sjeremylt   if (!*op || --(*op)->refcount > 0) return 0;
1019d7b241e6Sjeremylt   if ((*op)->Destroy) {
1020d7b241e6Sjeremylt     ierr = (*op)->Destroy(*op); CeedChk(ierr);
1021d7b241e6Sjeremylt   }
1022fe2413ffSjeremylt   ierr = CeedDestroy(&(*op)->ceed); CeedChk(ierr);
1023fe2413ffSjeremylt   // Free fields
10241d102b48SJeremy L Thompson   for (int i=0; i<(*op)->nfields; i++)
102552d6035fSJeremy L Thompson     if ((*op)->inputfields[i]) {
102671352a93Sjeremylt       ierr = CeedElemRestrictionDestroy(&(*op)->inputfields[i]->Erestrict);
102771352a93Sjeremylt       CeedChk(ierr);
102871352a93Sjeremylt       if ((*op)->inputfields[i]->basis != CEED_BASIS_COLLOCATED) {
102971352a93Sjeremylt         ierr = CeedBasisDestroy(&(*op)->inputfields[i]->basis); CeedChk(ierr);
103071352a93Sjeremylt       }
103171352a93Sjeremylt       if ((*op)->inputfields[i]->vec != CEED_VECTOR_ACTIVE &&
103271352a93Sjeremylt           (*op)->inputfields[i]->vec != CEED_VECTOR_NONE ) {
103371352a93Sjeremylt         ierr = CeedVectorDestroy(&(*op)->inputfields[i]->vec); CeedChk(ierr);
103471352a93Sjeremylt       }
1035fe2413ffSjeremylt       ierr = CeedFree(&(*op)->inputfields[i]); CeedChk(ierr);
1036fe2413ffSjeremylt     }
10371d102b48SJeremy L Thompson   for (int i=0; i<(*op)->nfields; i++)
1038d0eb30a5Sjeremylt     if ((*op)->outputfields[i]) {
103971352a93Sjeremylt       ierr = CeedElemRestrictionDestroy(&(*op)->outputfields[i]->Erestrict);
104071352a93Sjeremylt       CeedChk(ierr);
104171352a93Sjeremylt       if ((*op)->outputfields[i]->basis != CEED_BASIS_COLLOCATED) {
104271352a93Sjeremylt         ierr = CeedBasisDestroy(&(*op)->outputfields[i]->basis); CeedChk(ierr);
104371352a93Sjeremylt       }
104471352a93Sjeremylt       if ((*op)->outputfields[i]->vec != CEED_VECTOR_ACTIVE &&
104571352a93Sjeremylt           (*op)->outputfields[i]->vec != CEED_VECTOR_NONE ) {
104671352a93Sjeremylt         ierr = CeedVectorDestroy(&(*op)->outputfields[i]->vec); CeedChk(ierr);
104771352a93Sjeremylt       }
1048fe2413ffSjeremylt       ierr = CeedFree(&(*op)->outputfields[i]); CeedChk(ierr);
1049fe2413ffSjeremylt     }
105052d6035fSJeremy L Thompson   // Destroy suboperators
10511d102b48SJeremy L Thompson   for (int i=0; i<(*op)->numsub; i++)
105252d6035fSJeremy L Thompson     if ((*op)->suboperators[i]) {
105352d6035fSJeremy L Thompson       ierr = CeedOperatorDestroy(&(*op)->suboperators[i]); CeedChk(ierr);
105452d6035fSJeremy L Thompson     }
1055d7b241e6Sjeremylt   ierr = CeedQFunctionDestroy(&(*op)->qf); CeedChk(ierr);
1056d7b241e6Sjeremylt   ierr = CeedQFunctionDestroy(&(*op)->dqf); CeedChk(ierr);
1057d7b241e6Sjeremylt   ierr = CeedQFunctionDestroy(&(*op)->dqfT); CeedChk(ierr);
1058fe2413ffSjeremylt 
10595107b09fSJeremy L Thompson   // Destroy fallback
10605107b09fSJeremy L Thompson   if ((*op)->opfallback) {
10615107b09fSJeremy L Thompson     ierr = (*op)->qffallback->Destroy((*op)->qffallback); CeedChk(ierr);
10625107b09fSJeremy L Thompson     ierr = CeedFree(&(*op)->qffallback); CeedChk(ierr);
10635107b09fSJeremy L Thompson     ierr = (*op)->opfallback->Destroy((*op)->opfallback); CeedChk(ierr);
10645107b09fSJeremy L Thompson     ierr = CeedFree(&(*op)->opfallback); CeedChk(ierr);
10655107b09fSJeremy L Thompson   }
10665107b09fSJeremy L Thompson 
1067fe2413ffSjeremylt   ierr = CeedFree(&(*op)->inputfields); CeedChk(ierr);
1068fe2413ffSjeremylt   ierr = CeedFree(&(*op)->outputfields); CeedChk(ierr);
106952d6035fSJeremy L Thompson   ierr = CeedFree(&(*op)->suboperators); CeedChk(ierr);
1070d7b241e6Sjeremylt   ierr = CeedFree(op); CeedChk(ierr);
1071d7b241e6Sjeremylt   return 0;
1072d7b241e6Sjeremylt }
1073d7b241e6Sjeremylt 
1074d7b241e6Sjeremylt /// @}
1075