1 #include <petsc/private/petscfeimpl.h> /*I "petscfe.h" I*/ 2 3 static PetscErrorCode PetscSpaceTensorCreateSubspace(PetscSpace space, PetscInt Nvs, PetscSpace *subspace) 4 { 5 PetscInt degree; 6 const char *prefix; 7 PetscErrorCode ierr; 8 9 PetscFunctionBegin; 10 ierr = PetscSpaceGetDegree(space, °ree, NULL);CHKERRQ(ierr); 11 ierr = PetscObjectGetOptionsPrefix((PetscObject)space, &prefix);CHKERRQ(ierr); 12 ierr = PetscSpaceCreate(PetscObjectComm((PetscObject)space), subspace);CHKERRQ(ierr); 13 ierr = PetscSpaceSetType(*subspace, PETSCSPACEPOLYNOMIAL);CHKERRQ(ierr); 14 ierr = PetscSpaceSetNumVariables(*subspace, Nvs);CHKERRQ(ierr); 15 ierr = PetscSpaceSetNumComponents(*subspace, 1);CHKERRQ(ierr); 16 ierr = PetscSpaceSetDegree(*subspace, degree, PETSC_DETERMINE);CHKERRQ(ierr); 17 ierr = PetscObjectSetOptionsPrefix((PetscObject)*subspace, prefix);CHKERRQ(ierr); 18 ierr = PetscObjectAppendOptionsPrefix((PetscObject)*subspace, "subspace_");CHKERRQ(ierr); 19 PetscFunctionReturn(0); 20 } 21 22 static PetscErrorCode PetscSpaceSetFromOptions_Tensor(PetscOptionItems *PetscOptionsObject,PetscSpace sp) 23 { 24 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) sp->data; 25 PetscInt Ns, Nc, i, Nv, deg; 26 PetscBool uniform = PETSC_TRUE; 27 PetscErrorCode ierr; 28 29 PetscFunctionBegin; 30 ierr = PetscSpaceGetNumVariables(sp, &Nv);CHKERRQ(ierr); 31 if (!Nv) PetscFunctionReturn(0); 32 ierr = PetscSpaceGetNumComponents(sp, &Nc);CHKERRQ(ierr); 33 ierr = PetscSpaceTensorGetNumSubspaces(sp, &Ns);CHKERRQ(ierr); 34 ierr = PetscSpaceGetDegree(sp, °, NULL);CHKERRQ(ierr); 35 if (Ns > 1) { 36 PetscSpace s0; 37 38 ierr = PetscSpaceTensorGetSubspace(sp, 0, &s0);CHKERRQ(ierr); 39 for (i = 1; i < Ns; i++) { 40 PetscSpace si; 41 42 ierr = PetscSpaceTensorGetSubspace(sp, i, &si);CHKERRQ(ierr); 43 if (si != s0) {uniform = PETSC_FALSE; break;} 44 } 45 } 46 Ns = (Ns == PETSC_DEFAULT) ? PetscMax(Nv,1) : Ns; 47 ierr = PetscOptionsHead(PetscOptionsObject,"PetscSpace tensor options");CHKERRQ(ierr); 48 ierr = PetscOptionsInt("-petscspace_tensor_spaces", "The number of subspaces", "PetscSpaceTensorSetNumSubspaces", Ns, &Ns, NULL);CHKERRQ(ierr); 49 ierr = PetscOptionsBool("-petscspace_tensor_uniform", "Subspaces are identical", "PetscSpaceTensorSetFromOptions", uniform, &uniform, NULL);CHKERRQ(ierr); 50 ierr = PetscOptionsTail();CHKERRQ(ierr); 51 if (Ns < 0 || (Nv > 0 && Ns == 0)) SETERRQ1(PetscObjectComm((PetscObject)sp),PETSC_ERR_ARG_OUTOFRANGE,"Cannot have a tensor space made up of %D spaces\n",Ns); 52 if (Nv > 0 && Ns > Nv) SETERRQ2(PetscObjectComm((PetscObject)sp),PETSC_ERR_ARG_OUTOFRANGE,"Cannot have a tensor space with %D subspaces over %D variables\n", Ns, Nv); 53 if (Ns != tens->numTensSpaces) {ierr = PetscSpaceTensorSetNumSubspaces(sp, Ns);CHKERRQ(ierr);} 54 if (uniform) { 55 PetscInt Nvs = Nv / Ns; 56 PetscSpace subspace; 57 58 if (Nv % Ns) SETERRQ2(PetscObjectComm((PetscObject)sp),PETSC_ERR_ARG_WRONG,"Cannot use %D uniform subspaces for %D variable space\n", Ns, Nv); 59 ierr = PetscSpaceTensorGetSubspace(sp, 0, &subspace);CHKERRQ(ierr); 60 if (!subspace) {ierr = PetscSpaceTensorCreateSubspace(sp, Nvs, &subspace);CHKERRQ(ierr);} 61 else {ierr = PetscObjectReference((PetscObject)subspace);CHKERRQ(ierr);} 62 ierr = PetscSpaceSetFromOptions(subspace);CHKERRQ(ierr); 63 for (i = 0; i < Ns; i++) {ierr = PetscSpaceTensorSetSubspace(sp, i, subspace);CHKERRQ(ierr);} 64 ierr = PetscSpaceDestroy(&subspace);CHKERRQ(ierr); 65 } else { 66 for (i = 0; i < Ns; i++) { 67 PetscSpace subspace; 68 69 ierr = PetscSpaceTensorGetSubspace(sp, i, &subspace);CHKERRQ(ierr); 70 if (!subspace) { 71 char tprefix[128]; 72 73 ierr = PetscSpaceTensorCreateSubspace(sp, 1, &subspace);CHKERRQ(ierr); 74 ierr = PetscSNPrintf(tprefix, 128, "%d_",(int)i);CHKERRQ(ierr); 75 ierr = PetscObjectAppendOptionsPrefix((PetscObject)subspace, tprefix);CHKERRQ(ierr); 76 } else { 77 ierr = PetscObjectReference((PetscObject)subspace);CHKERRQ(ierr); 78 } 79 ierr = PetscSpaceSetFromOptions(subspace);CHKERRQ(ierr); 80 ierr = PetscSpaceTensorSetSubspace(sp, i, subspace);CHKERRQ(ierr); 81 ierr = PetscSpaceDestroy(&subspace);CHKERRQ(ierr); 82 } 83 } 84 PetscFunctionReturn(0); 85 } 86 87 static PetscErrorCode PetscSpaceTensorView_Ascii(PetscSpace sp, PetscViewer viewer) 88 { 89 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) sp->data; 90 PetscBool uniform = PETSC_TRUE; 91 PetscInt Ns = tens->numTensSpaces, i, n; 92 PetscErrorCode ierr; 93 94 PetscFunctionBegin; 95 for (i = 1; i < Ns; i++) { 96 if (tens->tensspaces[i] != tens->tensspaces[0]) {uniform = PETSC_FALSE; break;} 97 } 98 if (uniform) {ierr = PetscViewerASCIIPrintf(viewer, "Tensor space of %D subspaces (all identical)\n", Ns);CHKERRQ(ierr); 99 } else {ierr = PetscViewerASCIIPrintf(viewer, "Tensor space of %D subspaces\n", Ns);CHKERRQ(ierr);} 100 n = uniform ? 1 : Ns; 101 ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr); 102 for (i = 0; i < n; i++) { 103 ierr = PetscSpaceView(tens->tensspaces[i], viewer);CHKERRQ(ierr); 104 } 105 ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr); 106 PetscFunctionReturn(0); 107 } 108 109 static PetscErrorCode PetscSpaceView_Tensor(PetscSpace sp, PetscViewer viewer) 110 { 111 PetscBool iascii; 112 PetscErrorCode ierr; 113 114 PetscFunctionBegin; 115 PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1); 116 PetscValidHeaderSpecific(viewer, PETSC_VIEWER_CLASSID, 2); 117 ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr); 118 if (iascii) {ierr = PetscSpaceTensorView_Ascii(sp, viewer);CHKERRQ(ierr);} 119 PetscFunctionReturn(0); 120 } 121 122 static PetscErrorCode PetscSpaceSetUp_Tensor(PetscSpace sp) 123 { 124 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) sp->data; 125 PetscInt Nv, Ns, i; 126 PetscBool uniform = PETSC_TRUE; 127 PetscInt deg, maxDeg; 128 PetscErrorCode ierr; 129 130 PetscFunctionBegin; 131 if (tens->setupCalled) PetscFunctionReturn(0); 132 ierr = PetscSpaceGetNumVariables(sp, &Nv);CHKERRQ(ierr); 133 ierr = PetscSpaceTensorGetNumSubspaces(sp, &Ns);CHKERRQ(ierr); 134 if (Ns == PETSC_DEFAULT) { 135 Ns = Nv; 136 ierr = PetscSpaceTensorSetNumSubspaces(sp, Ns);CHKERRQ(ierr); 137 } 138 if (!Ns) { 139 if (Nv) SETERRQ(PetscObjectComm((PetscObject)sp), PETSC_ERR_ARG_OUTOFRANGE, "Cannot have zero subspaces"); 140 } else { 141 PetscSpace s0; 142 143 if (Nv > 0 && Ns > Nv) SETERRQ2(PetscObjectComm((PetscObject)sp),PETSC_ERR_ARG_OUTOFRANGE,"Cannot have a tensor space with %D subspaces over %D variables\n", Ns, Nv); 144 ierr = PetscSpaceTensorGetSubspace(sp, 0, &s0);CHKERRQ(ierr); 145 for (i = 1; i < Ns; i++) { 146 PetscSpace si; 147 148 ierr = PetscSpaceTensorGetSubspace(sp, i, &si);CHKERRQ(ierr); 149 if (si != s0) {uniform = PETSC_FALSE; break;} 150 } 151 if (uniform) { 152 PetscInt Nvs = Nv / Ns; 153 154 if (Nv % Ns) SETERRQ2(PetscObjectComm((PetscObject)sp),PETSC_ERR_ARG_WRONG,"Cannot use %D uniform subspaces for %D variable space\n", Ns, Nv); 155 if (!s0) {ierr = PetscSpaceTensorCreateSubspace(sp, Nvs, &s0);CHKERRQ(ierr);} 156 else {ierr = PetscObjectReference((PetscObject) s0);CHKERRQ(ierr);} 157 ierr = PetscSpaceSetUp(s0);CHKERRQ(ierr); 158 for (i = 0; i < Ns; i++) {ierr = PetscSpaceTensorSetSubspace(sp, i, s0);CHKERRQ(ierr);} 159 ierr = PetscSpaceDestroy(&s0);CHKERRQ(ierr); 160 } else { 161 for (i = 0 ; i < Ns; i++) { 162 PetscSpace si; 163 164 ierr = PetscSpaceTensorGetSubspace(sp, i, &si);CHKERRQ(ierr); 165 if (!si) {ierr = PetscSpaceTensorCreateSubspace(sp, 1, &si);CHKERRQ(ierr);} 166 else {ierr = PetscObjectReference((PetscObject) si);CHKERRQ(ierr);} 167 ierr = PetscSpaceSetUp(si);CHKERRQ(ierr); 168 ierr = PetscSpaceTensorSetSubspace(sp, i, si);CHKERRQ(ierr); 169 ierr = PetscSpaceDestroy(&si);CHKERRQ(ierr); 170 } 171 } 172 } 173 deg = PETSC_MAX_INT; 174 maxDeg = 0; 175 for (i = 0; i < Ns; i++) { 176 PetscSpace si; 177 PetscInt iDeg, iMaxDeg; 178 179 ierr = PetscSpaceTensorGetSubspace(sp, i, &si);CHKERRQ(ierr); 180 ierr = PetscSpaceGetDegree(si, &iDeg, &iMaxDeg);CHKERRQ(ierr); 181 deg = PetscMin(deg, iDeg); 182 maxDeg += iMaxDeg; 183 } 184 sp->degree = deg; 185 sp->maxDegree = maxDeg; 186 tens->uniform = uniform; 187 tens->setupCalled = PETSC_TRUE; 188 PetscFunctionReturn(0); 189 } 190 191 static PetscErrorCode PetscSpaceDestroy_Tensor(PetscSpace sp) 192 { 193 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) sp->data; 194 PetscInt Ns, i; 195 PetscErrorCode ierr; 196 197 PetscFunctionBegin; 198 Ns = tens->numTensSpaces; 199 if (tens->heightsubspaces) { 200 PetscInt d; 201 202 /* sp->Nv is the spatial dimension, so it is equal to the number 203 * of subspaces on higher co-dimension points */ 204 for (d = 0; d < sp->Nv; ++d) { 205 ierr = PetscSpaceDestroy(&tens->heightsubspaces[d]);CHKERRQ(ierr); 206 } 207 } 208 ierr = PetscFree(tens->heightsubspaces);CHKERRQ(ierr); 209 for (i = 0; i < Ns; i++) {ierr = PetscSpaceDestroy(&tens->tensspaces[i]);CHKERRQ(ierr);} 210 ierr = PetscObjectComposeFunction((PetscObject) sp, "PetscSpaceTensorSetSubspace_C", NULL);CHKERRQ(ierr); 211 ierr = PetscObjectComposeFunction((PetscObject) sp, "PetscSpaceTensorGetSubspace_C", NULL);CHKERRQ(ierr); 212 ierr = PetscObjectComposeFunction((PetscObject) sp, "PetscSpaceTensorSetNumSubspaces_C", NULL);CHKERRQ(ierr); 213 ierr = PetscObjectComposeFunction((PetscObject) sp, "PetscSpaceTensorGetNumSubspaces_C", NULL);CHKERRQ(ierr); 214 ierr = PetscFree(tens->tensspaces);CHKERRQ(ierr); 215 ierr = PetscFree(tens);CHKERRQ(ierr); 216 PetscFunctionReturn(0); 217 } 218 219 static PetscErrorCode PetscSpaceGetDimension_Tensor(PetscSpace sp, PetscInt *dim) 220 { 221 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) sp->data; 222 PetscInt i, Ns, Nc, d; 223 PetscErrorCode ierr; 224 225 PetscFunctionBegin; 226 ierr = PetscSpaceSetUp(sp);CHKERRQ(ierr); 227 Ns = tens->numTensSpaces; 228 Nc = sp->Nc; 229 d = 1; 230 for (i = 0; i < Ns; i++) { 231 PetscInt id; 232 233 ierr = PetscSpaceGetDimension(tens->tensspaces[i], &id);CHKERRQ(ierr); 234 d *= id; 235 } 236 d *= Nc; 237 *dim = d; 238 PetscFunctionReturn(0); 239 } 240 241 static PetscErrorCode PetscSpaceEvaluate_Tensor(PetscSpace sp, PetscInt npoints, const PetscReal points[], PetscReal B[], PetscReal D[], PetscReal H[]) 242 { 243 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) sp->data; 244 DM dm = sp->dm; 245 PetscInt Nc = sp->Nc; 246 PetscInt Nv = sp->Nv; 247 PetscInt Ns; 248 PetscReal *lpoints, *sB = NULL, *sD = NULL, *sH = NULL; 249 PetscInt c, pdim, d, e, der, der2, i, l, si, p, s, step; 250 PetscErrorCode ierr; 251 252 PetscFunctionBegin; 253 if (!tens->setupCalled) {ierr = PetscSpaceSetUp(sp);CHKERRQ(ierr);} 254 Ns = tens->numTensSpaces; 255 ierr = PetscSpaceGetDimension(sp,&pdim);CHKERRQ(ierr); 256 pdim /= Nc; 257 ierr = DMGetWorkArray(dm, npoints*Nv, MPIU_REAL, &lpoints);CHKERRQ(ierr); 258 if (B || D || H) {ierr = DMGetWorkArray(dm, npoints*pdim, MPIU_REAL, &sB);CHKERRQ(ierr);} 259 if (D || H) {ierr = DMGetWorkArray(dm, npoints*pdim*Nv, MPIU_REAL, &sD);CHKERRQ(ierr);} 260 if (H) {ierr = DMGetWorkArray(dm, npoints*pdim*Nv*Nv, MPIU_REAL, &sH);CHKERRQ(ierr);} 261 if (B) { 262 for (i = 0; i < npoints*pdim*Nc*Nc; i++) B[i] = 0.; 263 for (i = 0; i < npoints*pdim; i++) B[i * Nc*Nc] = 1.; 264 } 265 if (D) { 266 for (i = 0; i < npoints*pdim*Nc*Nc*Nv; i++) D[i] = 0.; 267 for (i = 0; i < npoints*pdim; i++) { 268 for (l = 0; l < Nv; l++) { 269 D[i * Nc*Nc*Nv + l] = 1.; 270 } 271 } 272 } 273 if (H) { 274 for (i = 0; i < npoints*pdim*Nc*Nc*Nv*Nv; i++) D[i] = 0.; 275 for (i = 0; i < npoints*pdim; i++) { 276 for (l = 0; l < Nv*Nv; l++) { 277 H[i * Nc*Nc*Nv*Nv + l] = 1.; 278 } 279 } 280 } 281 for (s = 0, d = 0, step = 1; s < Ns; s++) { 282 PetscInt sNv, spdim; 283 PetscInt skip, j, k; 284 285 ierr = PetscSpaceGetNumVariables(tens->tensspaces[s], &sNv);CHKERRQ(ierr); 286 ierr = PetscSpaceGetDimension(tens->tensspaces[s], &spdim);CHKERRQ(ierr); 287 if ((pdim % step) || (pdim % spdim)) SETERRQ6(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Bad tensor loop: Nv %d, Ns %D, pdim %D, s %D, step %D, spdim %D", Nv, Ns, pdim, s, step, spdim); 288 skip = pdim / (step * spdim); 289 for (p = 0; p < npoints; ++p) { 290 for (i = 0; i < sNv; i++) { 291 lpoints[p * sNv + i] = points[p*Nv + d + i]; 292 } 293 } 294 ierr = PetscSpaceEvaluate(tens->tensspaces[s], npoints, lpoints, sB, sD, sH);CHKERRQ(ierr); 295 if (B) { 296 for (p = 0; p < npoints; p++) { 297 for (k = 0; k < skip; k++) { 298 for (si = 0; si < spdim; si++) { 299 for (j = 0; j < step; j++) { 300 i = (k * spdim + si) * step + j; 301 B[(pdim * p + i) * Nc * Nc] *= sB[spdim * p + si]; 302 } 303 } 304 } 305 } 306 } 307 if (D) { 308 for (p = 0; p < npoints; p++) { 309 for (k = 0; k < skip; k++) { 310 for (si = 0; si < spdim; si++) { 311 for (j = 0; j < step; j++) { 312 i = (k * spdim + si) * step + j; 313 for (der = 0; der < Nv; der++) { 314 if (der >= d && der < d + sNv) { 315 D[(pdim * p + i) * Nc*Nc*Nv + der] *= sD[(spdim * p + si) * sNv + der - d]; 316 } else { 317 D[(pdim * p + i) * Nc*Nc*Nv + der] *= sB[spdim * p + si]; 318 } 319 } 320 } 321 } 322 } 323 } 324 } 325 if (H) { 326 for (p = 0; p < npoints; p++) { 327 for (k = 0; k < skip; k++) { 328 for (si = 0; si < spdim; si++) { 329 for (j = 0; j < step; j++) { 330 i = (k * spdim + si) * step + j; 331 for (der = 0; der < Nv; der++) { 332 for (der2 = 0; der2 < Nv; der2++) { 333 if (der >= d && der < d + sNv && der2 >= d && der2 < d + sNv) { 334 H[((pdim * p + i) * Nc*Nc*Nv + der) * Nv + der2] *= sH[((spdim * p + si) * sNv + der - d) * sNv + der2 - d]; 335 } else if (der >= d && der < d + sNv) { 336 H[((pdim * p + i) * Nc*Nc*Nv + der) * Nv + der2] *= sD[(spdim * p + si) * sNv + der - d]; 337 } else if (der2 >= d && der2 < d + sNv) { 338 H[((pdim * p + i) * Nc*Nc*Nv + der) * Nv + der2] *= sD[(spdim * p + si) * sNv + der2 - d]; 339 } else { 340 H[((pdim * p + i) * Nc*Nc*Nv + der) * Nv + der2] *= sB[spdim * p + si]; 341 } 342 } 343 } 344 } 345 } 346 } 347 } 348 } 349 d += sNv; 350 step *= spdim; 351 } 352 if (B && Nc > 1) { 353 /* Make direct sum basis for multicomponent space */ 354 for (p = 0; p < npoints; ++p) { 355 for (i = 0; i < pdim; ++i) { 356 for (c = 1; c < Nc; ++c) { 357 B[(p*pdim*Nc + i*Nc + c)*Nc + c] = B[(p*pdim + i)*Nc*Nc]; 358 } 359 } 360 } 361 } 362 if (D && Nc > 1) { 363 /* Make direct sum basis for multicomponent space */ 364 for (p = 0; p < npoints; ++p) { 365 for (i = 0; i < pdim; ++i) { 366 for (c = 1; c < Nc; ++c) { 367 for (d = 0; d < Nv; ++d) { 368 D[((p*pdim*Nc + i*Nc + c)*Nc + c)*Nv + d] = D[(p*pdim + i)*Nc*Nc*Nv + d]; 369 } 370 } 371 } 372 } 373 } 374 if (H && Nc > 1) { 375 /* Make direct sum basis for multicomponent space */ 376 for (p = 0; p < npoints; ++p) { 377 for (i = 0; i < pdim; ++i) { 378 for (c = 1; c < Nc; ++c) { 379 for (d = 0; d < Nv; ++d) { 380 for (e = 0; e < Nv; ++e) { 381 H[(((p*pdim*Nc + i*Nc + c)*Nc + c)*Nv + d)*Nv + e] = H[((p*pdim + i)*Nc*Nc*Nv + d)*Nv + e]; 382 } 383 } 384 } 385 } 386 } 387 } 388 if (H) {ierr = DMRestoreWorkArray(dm, npoints*pdim*Nv*Nv, MPIU_REAL, &sH);CHKERRQ(ierr);} 389 if (D || H) {ierr = DMRestoreWorkArray(dm, npoints*pdim*Nv, MPIU_REAL, &sD);CHKERRQ(ierr);} 390 if (B || D || H) {ierr = DMRestoreWorkArray(dm, npoints*pdim, MPIU_REAL, &sB);CHKERRQ(ierr);} 391 ierr = DMRestoreWorkArray(dm, npoints*Nv, MPIU_REAL, &lpoints);CHKERRQ(ierr); 392 PetscFunctionReturn(0); 393 } 394 395 PetscErrorCode PetscSpaceTensorSetNumSubspaces(PetscSpace sp, PetscInt numTensSpaces) 396 { 397 PetscErrorCode ierr; 398 399 PetscFunctionBegin; 400 PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1); 401 ierr = PetscTryMethod(sp,"PetscSpaceTensorSetNumSubspaces_C",(PetscSpace,PetscInt),(sp,numTensSpaces));CHKERRQ(ierr); 402 PetscFunctionReturn(0); 403 } 404 405 PetscErrorCode PetscSpaceTensorGetNumSubspaces(PetscSpace sp, PetscInt *numTensSpaces) 406 { 407 PetscErrorCode ierr; 408 409 PetscFunctionBegin; 410 PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1); 411 PetscValidIntPointer(numTensSpaces, 2); 412 ierr = PetscTryMethod(sp,"PetscSpaceTensorGetNumSubspaces_C",(PetscSpace,PetscInt*),(sp,numTensSpaces));CHKERRQ(ierr); 413 PetscFunctionReturn(0); 414 } 415 416 PetscErrorCode PetscSpaceTensorSetSubspace(PetscSpace sp, PetscInt s, PetscSpace subsp) 417 { 418 PetscErrorCode ierr; 419 420 PetscFunctionBegin; 421 PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1); 422 if (subsp) PetscValidHeaderSpecific(subsp, PETSCSPACE_CLASSID, 3); 423 ierr = PetscTryMethod(sp,"PetscSpaceTensorSetSubspace_C",(PetscSpace,PetscInt,PetscSpace),(sp,s,subsp));CHKERRQ(ierr); 424 PetscFunctionReturn(0); 425 } 426 427 PetscErrorCode PetscSpaceTensorGetSubspace(PetscSpace sp, PetscInt s, PetscSpace *subsp) 428 { 429 PetscErrorCode ierr; 430 431 PetscFunctionBegin; 432 PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1); 433 PetscValidPointer(subsp, 3); 434 ierr = PetscTryMethod(sp,"PetscSpaceTensorGetSubspace_C",(PetscSpace,PetscInt,PetscSpace*),(sp,s,subsp));CHKERRQ(ierr); 435 PetscFunctionReturn(0); 436 } 437 438 static PetscErrorCode PetscSpaceTensorSetNumSubspaces_Tensor(PetscSpace space, PetscInt numTensSpaces) 439 { 440 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) space->data; 441 PetscInt Ns; 442 PetscErrorCode ierr; 443 444 PetscFunctionBegin; 445 if (tens->setupCalled) SETERRQ(PetscObjectComm((PetscObject)space),PETSC_ERR_ARG_WRONGSTATE,"Cannot change number of subspaces after setup called\n"); 446 Ns = tens->numTensSpaces; 447 if (numTensSpaces == Ns) PetscFunctionReturn(0); 448 if (Ns >= 0) { 449 PetscInt s; 450 451 for (s = 0; s < Ns; s++) {ierr = PetscSpaceDestroy(&tens->tensspaces[s]);CHKERRQ(ierr);} 452 ierr = PetscFree(tens->tensspaces);CHKERRQ(ierr); 453 } 454 Ns = tens->numTensSpaces = numTensSpaces; 455 ierr = PetscCalloc1(Ns, &tens->tensspaces);CHKERRQ(ierr); 456 PetscFunctionReturn(0); 457 } 458 459 static PetscErrorCode PetscSpaceTensorGetNumSubspaces_Tensor(PetscSpace space, PetscInt *numTensSpaces) 460 { 461 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) space->data; 462 463 PetscFunctionBegin; 464 *numTensSpaces = tens->numTensSpaces; 465 PetscFunctionReturn(0); 466 } 467 468 static PetscErrorCode PetscSpaceTensorSetSubspace_Tensor(PetscSpace space, PetscInt s, PetscSpace subspace) 469 { 470 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) space->data; 471 PetscInt Ns; 472 PetscErrorCode ierr; 473 474 PetscFunctionBegin; 475 if (tens->setupCalled) SETERRQ(PetscObjectComm((PetscObject)space),PETSC_ERR_ARG_WRONGSTATE,"Cannot change subspace after setup called\n"); 476 Ns = tens->numTensSpaces; 477 if (Ns < 0) SETERRQ(PetscObjectComm((PetscObject)space),PETSC_ERR_ARG_WRONGSTATE,"Must call PetscSpaceTensorSetNumSubspaces() first\n"); 478 if (s < 0 || s >= Ns) SETERRQ1(PetscObjectComm((PetscObject)space),PETSC_ERR_ARG_OUTOFRANGE,"Invalid subspace number %D\n",subspace); 479 ierr = PetscObjectReference((PetscObject)subspace);CHKERRQ(ierr); 480 ierr = PetscSpaceDestroy(&tens->tensspaces[s]);CHKERRQ(ierr); 481 tens->tensspaces[s] = subspace; 482 PetscFunctionReturn(0); 483 } 484 485 static PetscErrorCode PetscSpaceGetHeightSubspace_Tensor(PetscSpace sp, PetscInt height, PetscSpace *subsp) 486 { 487 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) sp->data; 488 PetscInt Nc, dim, order, i; 489 PetscSpace bsp; 490 PetscErrorCode ierr; 491 492 PetscFunctionBegin; 493 if (!tens->uniform) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_INCOMP,"Can only get a generic height subspace of a uniform tensor space: this tensor space is not uniform.\n"); 494 ierr = PetscSpaceGetNumComponents(sp, &Nc);CHKERRQ(ierr); 495 ierr = PetscSpaceGetNumVariables(sp, &dim);CHKERRQ(ierr); 496 ierr = PetscSpaceGetDegree(sp, &order, NULL);CHKERRQ(ierr); 497 if (height > dim || height < 0) {SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Asked for space at height %D for dimension %D space", height, dim);} 498 if (!tens->heightsubspaces) {ierr = PetscCalloc1(dim, &tens->heightsubspaces);CHKERRQ(ierr);} 499 if (height <= dim) { 500 if (!tens->heightsubspaces[height-1]) { 501 PetscSpace sub; 502 503 ierr = PetscSpaceTensorGetSubspace(sp, 0, &bsp);CHKERRQ(ierr); 504 ierr = PetscSpaceCreate(PetscObjectComm((PetscObject) sp), &sub);CHKERRQ(ierr); 505 ierr = PetscSpaceSetType(sub, PETSCSPACETENSOR);CHKERRQ(ierr); 506 ierr = PetscSpaceSetNumComponents(sub, Nc);CHKERRQ(ierr); 507 ierr = PetscSpaceSetDegree(sub, order, PETSC_DETERMINE);CHKERRQ(ierr); 508 ierr = PetscSpaceSetNumVariables(sub, dim-height);CHKERRQ(ierr); 509 ierr = PetscSpaceTensorSetNumSubspaces(sub, dim-height);CHKERRQ(ierr); 510 for (i = 0; i < dim - height; i++) { 511 ierr = PetscSpaceTensorSetSubspace(sub, i, bsp);CHKERRQ(ierr); 512 } 513 ierr = PetscSpaceSetUp(sub);CHKERRQ(ierr); 514 tens->heightsubspaces[height-1] = sub; 515 } 516 *subsp = tens->heightsubspaces[height-1]; 517 } else { 518 *subsp = NULL; 519 } 520 PetscFunctionReturn(0); 521 } 522 523 static PetscErrorCode PetscSpaceTensorGetSubspace_Tensor(PetscSpace space, PetscInt s, PetscSpace *subspace) 524 { 525 PetscSpace_Tensor *tens = (PetscSpace_Tensor *) space->data; 526 PetscInt Ns; 527 528 PetscFunctionBegin; 529 Ns = tens->numTensSpaces; 530 if (Ns < 0) SETERRQ(PetscObjectComm((PetscObject)space),PETSC_ERR_ARG_WRONGSTATE,"Must call PetscSpaceTensorSetNumSubspaces() first\n"); 531 if (s < 0 || s >= Ns) SETERRQ1(PetscObjectComm((PetscObject)space),PETSC_ERR_ARG_OUTOFRANGE,"Invalid subspace number %D\n",subspace); 532 *subspace = tens->tensspaces[s]; 533 PetscFunctionReturn(0); 534 } 535 536 static PetscErrorCode PetscSpaceInitialize_Tensor(PetscSpace sp) 537 { 538 PetscErrorCode ierr; 539 540 PetscFunctionBegin; 541 sp->ops->setfromoptions = PetscSpaceSetFromOptions_Tensor; 542 sp->ops->setup = PetscSpaceSetUp_Tensor; 543 sp->ops->view = PetscSpaceView_Tensor; 544 sp->ops->destroy = PetscSpaceDestroy_Tensor; 545 sp->ops->getdimension = PetscSpaceGetDimension_Tensor; 546 sp->ops->evaluate = PetscSpaceEvaluate_Tensor; 547 sp->ops->getheightsubspace = PetscSpaceGetHeightSubspace_Tensor; 548 ierr = PetscObjectComposeFunction((PetscObject) sp, "PetscSpaceTensorGetNumSubspaces_C", PetscSpaceTensorGetNumSubspaces_Tensor);CHKERRQ(ierr); 549 ierr = PetscObjectComposeFunction((PetscObject) sp, "PetscSpaceTensorSetNumSubspaces_C", PetscSpaceTensorSetNumSubspaces_Tensor);CHKERRQ(ierr); 550 ierr = PetscObjectComposeFunction((PetscObject) sp, "PetscSpaceTensorGetSubspace_C", PetscSpaceTensorGetSubspace_Tensor);CHKERRQ(ierr); 551 ierr = PetscObjectComposeFunction((PetscObject) sp, "PetscSpaceTensorSetSubspace_C", PetscSpaceTensorSetSubspace_Tensor);CHKERRQ(ierr); 552 PetscFunctionReturn(0); 553 } 554 555 /*MC 556 PETSCSPACETENSOR = "tensor" - A PetscSpace object that encapsulates a tensor product space. 557 Subspaces are scalar spaces (num of componenents = 1), so the components 558 of a vector-valued tensor space are assumed to be identical. 559 560 Level: intermediate 561 562 .seealso: PetscSpaceType, PetscSpaceCreate(), PetscSpaceSetType() 563 M*/ 564 565 PETSC_EXTERN PetscErrorCode PetscSpaceCreate_Tensor(PetscSpace sp) 566 { 567 PetscSpace_Tensor *tens; 568 PetscErrorCode ierr; 569 570 PetscFunctionBegin; 571 PetscValidHeaderSpecific(sp, PETSCSPACE_CLASSID, 1); 572 ierr = PetscNewLog(sp,&tens);CHKERRQ(ierr); 573 sp->data = tens; 574 575 tens->numTensSpaces = PETSC_DEFAULT; 576 577 ierr = PetscSpaceInitialize_Tensor(sp);CHKERRQ(ierr); 578 PetscFunctionReturn(0); 579 } 580 581