xref: /petsc/src/dm/dt/space/impls/point/spacepoint.c (revision 1baa6e3354bfe224b33a0c158f482508792a8a6e)
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) {
1263a3b9bcSJacob 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));
16*1baa6e33SBarry Smith   } else PetscCall(PetscViewerASCIIPrintf(viewer, "Point space in dimension %" PetscInt_FMT " on %" PetscInt_FMT " points\n", sp->Nv, pt->quad->numPoints));
1720cf1dd8SToby Isaac   PetscFunctionReturn(0);
1820cf1dd8SToby Isaac }
1920cf1dd8SToby Isaac 
2029b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceView_Point(PetscSpace sp, PetscViewer viewer)
2120cf1dd8SToby Isaac {
2220cf1dd8SToby Isaac   PetscBool      iascii;
2320cf1dd8SToby Isaac 
2420cf1dd8SToby Isaac   PetscFunctionBegin;
2520cf1dd8SToby Isaac   PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1);
2620cf1dd8SToby Isaac   PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2);
279566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii));
289566063dSJacob Faibussowitsch   if (iascii) PetscCall(PetscSpacePointView_Ascii(sp, viewer));
2920cf1dd8SToby Isaac   PetscFunctionReturn(0);
3020cf1dd8SToby Isaac }
3120cf1dd8SToby Isaac 
3229b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceSetUp_Point(PetscSpace sp)
3320cf1dd8SToby Isaac {
3420cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
3520cf1dd8SToby Isaac 
3620cf1dd8SToby Isaac   PetscFunctionBegin;
3720cf1dd8SToby Isaac   if (!pt->quad->points && sp->degree >= 0) {
389566063dSJacob Faibussowitsch     PetscCall(PetscQuadratureDestroy(&pt->quad));
399566063dSJacob Faibussowitsch     PetscCall(PetscDTStroudConicalQuadrature(sp->Nv, sp->Nc, PetscMax(sp->degree + 1, 1), -1.0, 1.0, &pt->quad));
4020cf1dd8SToby Isaac   }
4120cf1dd8SToby Isaac   PetscFunctionReturn(0);
4220cf1dd8SToby Isaac }
4320cf1dd8SToby Isaac 
4429b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceDestroy_Point(PetscSpace sp)
4520cf1dd8SToby Isaac {
4620cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
4720cf1dd8SToby Isaac 
4820cf1dd8SToby Isaac   PetscFunctionBegin;
499566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureDestroy(&pt->quad));
509566063dSJacob Faibussowitsch   PetscCall(PetscFree(pt));
5120cf1dd8SToby Isaac   PetscFunctionReturn(0);
5220cf1dd8SToby Isaac }
5320cf1dd8SToby Isaac 
5429b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceGetDimension_Point(PetscSpace sp, PetscInt *dim)
5520cf1dd8SToby Isaac {
5620cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
5720cf1dd8SToby Isaac 
5820cf1dd8SToby Isaac   PetscFunctionBegin;
5920cf1dd8SToby Isaac   *dim = pt->quad->numPoints;
6020cf1dd8SToby Isaac   PetscFunctionReturn(0);
6120cf1dd8SToby Isaac }
6220cf1dd8SToby Isaac 
6329b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceEvaluate_Point(PetscSpace sp, PetscInt npoints, const PetscReal points[], PetscReal B[], PetscReal D[], PetscReal H[])
6420cf1dd8SToby Isaac {
6520cf1dd8SToby Isaac   PetscSpace_Point *pt  = (PetscSpace_Point *) sp->data;
6620cf1dd8SToby Isaac   PetscInt          dim = sp->Nv, pdim = pt->quad->numPoints, d, p, i, c;
6720cf1dd8SToby Isaac 
6820cf1dd8SToby Isaac   PetscFunctionBegin;
6963a3b9bcSJacob 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);
709566063dSJacob Faibussowitsch   PetscCall(PetscArrayzero(B, npoints*pdim));
7120cf1dd8SToby Isaac   for (p = 0; p < npoints; ++p) {
7220cf1dd8SToby Isaac     for (i = 0; i < pdim; ++i) {
7320cf1dd8SToby Isaac       for (d = 0; d < dim; ++d) {
7420cf1dd8SToby Isaac         if (PetscAbsReal(points[p*dim+d] - pt->quad->points[p*dim+d]) > 1.0e-10) break;
7520cf1dd8SToby Isaac       }
7620cf1dd8SToby Isaac       if (d >= dim) {B[p*pdim+i] = 1.0; break;}
7720cf1dd8SToby Isaac     }
7820cf1dd8SToby Isaac   }
7920cf1dd8SToby Isaac   /* Replicate for other components */
8020cf1dd8SToby Isaac   for (c = 1; c < sp->Nc; ++c) {
8120cf1dd8SToby Isaac     for (p = 0; p < npoints; ++p) {
8220cf1dd8SToby Isaac       for (i = 0; i < pdim; ++i) {
8320cf1dd8SToby Isaac         B[(c*npoints + p)*pdim + i] = B[p*pdim + i];
8420cf1dd8SToby Isaac       }
8520cf1dd8SToby Isaac     }
8620cf1dd8SToby Isaac   }
879566063dSJacob Faibussowitsch   if (D) PetscCall(PetscArrayzero(D, npoints*pdim*dim));
889566063dSJacob Faibussowitsch   if (H) PetscCall(PetscArrayzero(H, npoints*pdim*dim*dim));
8920cf1dd8SToby Isaac   PetscFunctionReturn(0);
9020cf1dd8SToby Isaac }
9120cf1dd8SToby Isaac 
9229b5c115SMatthew G. Knepley static PetscErrorCode PetscSpaceInitialize_Point(PetscSpace sp)
9320cf1dd8SToby Isaac {
9420cf1dd8SToby Isaac   PetscFunctionBegin;
9520cf1dd8SToby Isaac   sp->ops->setfromoptions = NULL;
9620cf1dd8SToby Isaac   sp->ops->setup          = PetscSpaceSetUp_Point;
9720cf1dd8SToby Isaac   sp->ops->view           = PetscSpaceView_Point;
9820cf1dd8SToby Isaac   sp->ops->destroy        = PetscSpaceDestroy_Point;
9920cf1dd8SToby Isaac   sp->ops->getdimension   = PetscSpaceGetDimension_Point;
10020cf1dd8SToby Isaac   sp->ops->evaluate       = PetscSpaceEvaluate_Point;
10120cf1dd8SToby Isaac   PetscFunctionReturn(0);
10220cf1dd8SToby Isaac }
10320cf1dd8SToby Isaac 
10420cf1dd8SToby Isaac /*MC
10520cf1dd8SToby Isaac   PETSCSPACEPOINT = "point" - A PetscSpace object that encapsulates functions defined on a set of quadrature points.
10620cf1dd8SToby Isaac 
10720cf1dd8SToby Isaac   Level: intermediate
10820cf1dd8SToby Isaac 
109db781477SPatrick Sanan .seealso: `PetscSpaceType`, `PetscSpaceCreate()`, `PetscSpaceSetType()`
11020cf1dd8SToby Isaac M*/
11120cf1dd8SToby Isaac 
11220cf1dd8SToby Isaac PETSC_EXTERN PetscErrorCode PetscSpaceCreate_Point(PetscSpace sp)
11320cf1dd8SToby Isaac {
11420cf1dd8SToby Isaac   PetscSpace_Point *pt;
11520cf1dd8SToby Isaac 
11620cf1dd8SToby Isaac   PetscFunctionBegin;
11720cf1dd8SToby Isaac   PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1);
1189566063dSJacob Faibussowitsch   PetscCall(PetscNewLog(sp,&pt));
11920cf1dd8SToby Isaac   sp->data = pt;
12020cf1dd8SToby Isaac 
12120cf1dd8SToby Isaac   sp->Nv = 0;
12220cf1dd8SToby Isaac   sp->maxDegree = PETSC_MAX_INT;
1239566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureCreate(PETSC_COMM_SELF, &pt->quad));
1249566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureSetData(pt->quad, 0, 1, 0, NULL, NULL));
12520cf1dd8SToby Isaac 
1269566063dSJacob Faibussowitsch   PetscCall(PetscSpaceInitialize_Point(sp));
12720cf1dd8SToby Isaac   PetscFunctionReturn(0);
12820cf1dd8SToby Isaac }
12920cf1dd8SToby Isaac 
13020cf1dd8SToby Isaac /*@
13120cf1dd8SToby Isaac   PetscSpacePointSetPoints - Sets the evaluation points for the space to coincide with the points of a quadrature rule
13220cf1dd8SToby Isaac 
13320cf1dd8SToby Isaac   Logically collective
13420cf1dd8SToby Isaac 
13520cf1dd8SToby Isaac   Input Parameters:
13620cf1dd8SToby Isaac + sp - The PetscSpace
13720cf1dd8SToby Isaac - q  - The PetscQuadrature defining the points
13820cf1dd8SToby Isaac 
13920cf1dd8SToby Isaac   Level: intermediate
14020cf1dd8SToby Isaac 
141db781477SPatrick Sanan .seealso: `PetscSpaceCreate()`, `PetscSpaceSetType()`
14220cf1dd8SToby Isaac @*/
14320cf1dd8SToby Isaac PetscErrorCode PetscSpacePointSetPoints(PetscSpace sp, PetscQuadrature q)
14420cf1dd8SToby Isaac {
14520cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
14620cf1dd8SToby Isaac 
14720cf1dd8SToby Isaac   PetscFunctionBegin;
14820cf1dd8SToby Isaac   PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1);
149064a246eSJacob Faibussowitsch   PetscValidHeaderSpecific(q, PETSCQUADRATURE_CLASSID, 2);
1509566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureDestroy(&pt->quad));
1519566063dSJacob Faibussowitsch   PetscCall(PetscQuadratureDuplicate(q, &pt->quad));
15220cf1dd8SToby Isaac   PetscFunctionReturn(0);
15320cf1dd8SToby Isaac }
15420cf1dd8SToby Isaac 
15520cf1dd8SToby Isaac /*@
15620cf1dd8SToby Isaac   PetscSpacePointGetPoints - Gets the evaluation points for the space as the points of a quadrature rule
15720cf1dd8SToby Isaac 
15820cf1dd8SToby Isaac   Logically collective
15920cf1dd8SToby Isaac 
16020cf1dd8SToby Isaac   Input Parameter:
16120cf1dd8SToby Isaac . sp - The PetscSpace
16220cf1dd8SToby Isaac 
16320cf1dd8SToby Isaac   Output Parameter:
16420cf1dd8SToby Isaac . q  - The PetscQuadrature defining the points
16520cf1dd8SToby Isaac 
16620cf1dd8SToby Isaac   Level: intermediate
16720cf1dd8SToby Isaac 
168db781477SPatrick Sanan .seealso: `PetscSpaceCreate()`, `PetscSpaceSetType()`
16920cf1dd8SToby Isaac @*/
17020cf1dd8SToby Isaac PetscErrorCode PetscSpacePointGetPoints(PetscSpace sp, PetscQuadrature *q)
17120cf1dd8SToby Isaac {
17220cf1dd8SToby Isaac   PetscSpace_Point *pt = (PetscSpace_Point *) sp->data;
17320cf1dd8SToby Isaac 
17420cf1dd8SToby Isaac   PetscFunctionBegin;
17520cf1dd8SToby Isaac   PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1);
17620cf1dd8SToby Isaac   PetscValidPointer(q, 2);
17720cf1dd8SToby Isaac   *q = pt->quad;
17820cf1dd8SToby Isaac   PetscFunctionReturn(0);
17920cf1dd8SToby Isaac }
180