xref: /petsc/src/dm/dt/space/impls/point/spacepoint.c (revision 63a3b9bc7a1f24f247904ccba9383635fe6abade)
120cf1dd8SToby Isaac #include <petsc/private/petscfeimpl.h> /*I "petscfe.h" I*/
220cf1dd8SToby Isaac #include <petsc/private/dtimpl.h> /*I "petscdt.h" I*/
320cf1dd8SToby Isaac 
429b5c115SMatthew G. Knepley static PetscErrorCode PetscSpacePointView_Ascii(PetscSpace sp, PetscViewer viewer)
520cf1dd8SToby Isaac {
620cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
720cf1dd8SToby Isaac   PetscViewerFormat format;
820cf1dd8SToby Isaac 
920cf1dd8SToby Isaac   PetscFunctionBegin;
109566063dSJacob Faibussowitsch   PetscCall(PetscViewerGetFormat(viewer, &format));
1120cf1dd8SToby Isaac   if (format == PETSC_VIEWER_ASCII_INFO_DETAIL) {
12*63a3b9bcSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "Point space in dimension %" PetscInt_FMT ":\n", sp->Nv));
139566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPushTab(viewer));
149566063dSJacob Faibussowitsch     PetscCall(PetscQuadratureView(pt->quad, viewer));
159566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPopTab(viewer));
1620cf1dd8SToby Isaac   } else {
17*63a3b9bcSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "Point space in dimension %" PetscInt_FMT " on %" PetscInt_FMT " points\n", sp->Nv, pt->quad->numPoints));
1820cf1dd8SToby Isaac   }
1920cf1dd8SToby Isaac   PetscFunctionReturn(0);
2020cf1dd8SToby Isaac }
2120cf1dd8SToby Isaac 
2229b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceView_Point(PetscSpace sp, PetscViewer viewer)
2320cf1dd8SToby Isaac {
2420cf1dd8SToby Isaac   PetscBool      iascii;
2520cf1dd8SToby Isaac 
2620cf1dd8SToby Isaac   PetscFunctionBegin;
2720cf1dd8SToby Isaac   PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1);
2820cf1dd8SToby Isaac   PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2);
299566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii));
309566063dSJacob Faibussowitsch   if (iascii) PetscCall(PetscSpacePointView_Ascii(sp, viewer));
3120cf1dd8SToby Isaac   PetscFunctionReturn(0);
3220cf1dd8SToby Isaac }
3320cf1dd8SToby Isaac 
3429b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceSetUp_Point(PetscSpace sp)
3520cf1dd8SToby Isaac {
3620cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
3720cf1dd8SToby Isaac 
3820cf1dd8SToby Isaac   PetscFunctionBegin;
3920cf1dd8SToby Isaac   if (!pt->quad->points && sp->degree >= 0) {
409566063dSJacob Faibussowitsch     PetscCall(PetscQuadratureDestroy(&pt->quad));
419566063dSJacob Faibussowitsch     PetscCall(PetscDTStroudConicalQuadrature(sp->Nv, sp->Nc, PetscMax(sp->degree + 1, 1), -1.0, 1.0, &pt->quad));
4220cf1dd8SToby Isaac   }
4320cf1dd8SToby Isaac   PetscFunctionReturn(0);
4420cf1dd8SToby Isaac }
4520cf1dd8SToby Isaac 
4629b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceDestroy_Point(PetscSpace sp)
4720cf1dd8SToby Isaac {
4820cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
4920cf1dd8SToby Isaac 
5020cf1dd8SToby Isaac   PetscFunctionBegin;
519566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureDestroy(&pt->quad));
529566063dSJacob Faibussowitsch   PetscCall(PetscFree(pt));
5320cf1dd8SToby Isaac   PetscFunctionReturn(0);
5420cf1dd8SToby Isaac }
5520cf1dd8SToby Isaac 
5629b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceGetDimension_Point(PetscSpace sp, PetscInt *dim)
5720cf1dd8SToby Isaac {
5820cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
5920cf1dd8SToby Isaac 
6020cf1dd8SToby Isaac   PetscFunctionBegin;
6120cf1dd8SToby Isaac   *dim = pt->quad->numPoints;
6220cf1dd8SToby Isaac   PetscFunctionReturn(0);
6320cf1dd8SToby Isaac }
6420cf1dd8SToby Isaac 
6529b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceEvaluate_Point(PetscSpace sp, PetscInt npoints, const PetscReal points[], PetscReal B[], PetscReal D[], PetscReal H[])
6620cf1dd8SToby Isaac {
6720cf1dd8SToby Isaac   PetscSpace_Point *pt  = (PetscSpace_Point *) sp->data;
6820cf1dd8SToby Isaac   PetscInt          dim = sp->Nv, pdim = pt->quad->numPoints, d, p, i, c;
6920cf1dd8SToby Isaac 
7020cf1dd8SToby Isaac   PetscFunctionBegin;
71*63a3b9bcSJacob Faibussowitsch   PetscCheck(npoints == pt->quad->numPoints,PETSC_COMM_SELF, PETSC_ERR_SUP, "Cannot evaluate Point space on %" PetscInt_FMT " points != %" PetscInt_FMT " size", npoints, pt->quad->numPoints);
729566063dSJacob Faibussowitsch   PetscCall(PetscArrayzero(B, npoints*pdim));
7320cf1dd8SToby Isaac   for (p = 0; p < npoints; ++p) {
7420cf1dd8SToby Isaac     for (i = 0; i < pdim; ++i) {
7520cf1dd8SToby Isaac       for (d = 0; d < dim; ++d) {
7620cf1dd8SToby Isaac         if (PetscAbsReal(points[p*dim+d] - pt->quad->points[p*dim+d]) > 1.0e-10) break;
7720cf1dd8SToby Isaac       }
7820cf1dd8SToby Isaac       if (d >= dim) {B[p*pdim+i] = 1.0; break;}
7920cf1dd8SToby Isaac     }
8020cf1dd8SToby Isaac   }
8120cf1dd8SToby Isaac   /* Replicate for other components */
8220cf1dd8SToby Isaac   for (c = 1; c < sp->Nc; ++c) {
8320cf1dd8SToby Isaac     for (p = 0; p < npoints; ++p) {
8420cf1dd8SToby Isaac       for (i = 0; i < pdim; ++i) {
8520cf1dd8SToby Isaac         B[(c*npoints + p)*pdim + i] = B[p*pdim + i];
8620cf1dd8SToby Isaac       }
8720cf1dd8SToby Isaac     }
8820cf1dd8SToby Isaac   }
899566063dSJacob Faibussowitsch   if (D) PetscCall(PetscArrayzero(D, npoints*pdim*dim));
909566063dSJacob Faibussowitsch   if (H) PetscCall(PetscArrayzero(H, npoints*pdim*dim*dim));
9120cf1dd8SToby Isaac   PetscFunctionReturn(0);
9220cf1dd8SToby Isaac }
9320cf1dd8SToby Isaac 
9429b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceInitialize_Point(PetscSpace sp)
9520cf1dd8SToby Isaac {
9620cf1dd8SToby Isaac   PetscFunctionBegin;
9720cf1dd8SToby Isaac   sp->ops->setfromoptions = NULL;
9820cf1dd8SToby Isaac   sp->ops->setup          = PetscSpaceSetUp_Point;
9920cf1dd8SToby Isaac   sp->ops->view           = PetscSpaceView_Point;
10020cf1dd8SToby Isaac   sp->ops->destroy        = PetscSpaceDestroy_Point;
10120cf1dd8SToby Isaac   sp->ops->getdimension   = PetscSpaceGetDimension_Point;
10220cf1dd8SToby Isaac   sp->ops->evaluate       = PetscSpaceEvaluate_Point;
10320cf1dd8SToby Isaac   PetscFunctionReturn(0);
10420cf1dd8SToby Isaac }
10520cf1dd8SToby Isaac 
10620cf1dd8SToby Isaac /*MC
10720cf1dd8SToby Isaac   PETSCSPACEPOINT = "point" - A PetscSpace object that encapsulates functions defined on a set of quadrature points.
10820cf1dd8SToby Isaac 
10920cf1dd8SToby Isaac   Level: intermediate
11020cf1dd8SToby Isaac 
11120cf1dd8SToby Isaac .seealso: PetscSpaceType, PetscSpaceCreate(), PetscSpaceSetType()
11220cf1dd8SToby Isaac M*/
11320cf1dd8SToby Isaac 
11420cf1dd8SToby Isaac PETSC_EXTERN PetscErrorCode PetscSpaceCreate_Point(PetscSpace sp)
11520cf1dd8SToby Isaac {
11620cf1dd8SToby Isaac   PetscSpace_Point *pt;
11720cf1dd8SToby Isaac 
11820cf1dd8SToby Isaac   PetscFunctionBegin;
11920cf1dd8SToby Isaac   PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1);
1209566063dSJacob Faibussowitsch   PetscCall(PetscNewLog(sp,&pt));
12120cf1dd8SToby Isaac   sp->data = pt;
12220cf1dd8SToby Isaac 
12320cf1dd8SToby Isaac   sp->Nv = 0;
12420cf1dd8SToby Isaac   sp->maxDegree = PETSC_MAX_INT;
1259566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureCreate(PETSC_COMM_SELF, &pt->quad));
1269566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureSetData(pt->quad, 0, 1, 0, NULL, NULL));
12720cf1dd8SToby Isaac 
1289566063dSJacob Faibussowitsch   PetscCall(PetscSpaceInitialize_Point(sp));
12920cf1dd8SToby Isaac   PetscFunctionReturn(0);
13020cf1dd8SToby Isaac }
13120cf1dd8SToby Isaac 
13220cf1dd8SToby Isaac /*@
13320cf1dd8SToby Isaac   PetscSpacePointSetPoints - Sets the evaluation points for the space to coincide with the points of a quadrature rule
13420cf1dd8SToby Isaac 
13520cf1dd8SToby Isaac   Logically collective
13620cf1dd8SToby Isaac 
13720cf1dd8SToby Isaac   Input Parameters:
13820cf1dd8SToby Isaac + sp - The PetscSpace
13920cf1dd8SToby Isaac - q  - The PetscQuadrature defining the points
14020cf1dd8SToby Isaac 
14120cf1dd8SToby Isaac   Level: intermediate
14220cf1dd8SToby Isaac 
14320cf1dd8SToby Isaac .seealso: PetscSpaceCreate(), PetscSpaceSetType()
14420cf1dd8SToby Isaac @*/
14520cf1dd8SToby Isaac PetscErrorCode PetscSpacePointSetPoints(PetscSpace sp, PetscQuadrature q)
14620cf1dd8SToby Isaac {
14720cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
14820cf1dd8SToby Isaac 
14920cf1dd8SToby Isaac   PetscFunctionBegin;
15020cf1dd8SToby Isaac   PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1);
151064a246eSJacob Faibussowitsch   PetscValidHeaderSpecific(q, PETSCQUADRATURE_CLASSID, 2);
1529566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureDestroy(&pt->quad));
1539566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureDuplicate(q, &pt->quad));
15420cf1dd8SToby Isaac   PetscFunctionReturn(0);
15520cf1dd8SToby Isaac }
15620cf1dd8SToby Isaac 
15720cf1dd8SToby Isaac /*@
15820cf1dd8SToby Isaac   PetscSpacePointGetPoints - Gets the evaluation points for the space as the points of a quadrature rule
15920cf1dd8SToby Isaac 
16020cf1dd8SToby Isaac   Logically collective
16120cf1dd8SToby Isaac 
16220cf1dd8SToby Isaac   Input Parameter:
16320cf1dd8SToby Isaac . sp - The PetscSpace
16420cf1dd8SToby Isaac 
16520cf1dd8SToby Isaac   Output Parameter:
16620cf1dd8SToby Isaac . q  - The PetscQuadrature defining the points
16720cf1dd8SToby Isaac 
16820cf1dd8SToby Isaac   Level: intermediate
16920cf1dd8SToby Isaac 
17020cf1dd8SToby Isaac .seealso: PetscSpaceCreate(), PetscSpaceSetType()
17120cf1dd8SToby Isaac @*/
17220cf1dd8SToby Isaac PetscErrorCode PetscSpacePointGetPoints(PetscSpace sp, PetscQuadrature *q)
17320cf1dd8SToby Isaac {
17420cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
17520cf1dd8SToby Isaac 
17620cf1dd8SToby Isaac   PetscFunctionBegin;
17720cf1dd8SToby Isaac   PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1);
17820cf1dd8SToby Isaac   PetscValidPointer(q, 2);
17920cf1dd8SToby Isaac   *q = pt->quad;
18020cf1dd8SToby Isaac   PetscFunctionReturn(0);
18120cf1dd8SToby Isaac }
182