1 static char help[] = "Linear elasticity in 2d and 3d with finite elements.\n\ 2 We solve the elasticity problem in a rectangular\n\ 3 domain, using a parallel unstructured mesh (DMPLEX) to discretize it.\n\ 4 This example supports automatic convergence estimation\n\ 5 and eventually adaptivity.\n\n\n"; 6 7 /* 8 https://en.wikipedia.org/wiki/Linear_elasticity 9 10 Converting elastic constants: 11 lambda = E nu / ((1 + nu) (1 - 2 nu)) 12 mu = E / (2 (1 + nu)) 13 */ 14 15 #include <petscdmplex.h> 16 #include <petscsnes.h> 17 #include <petscds.h> 18 #include <petscbag.h> 19 #include <petscconvest.h> 20 21 typedef enum {SOL_VLAP_QUADRATIC, SOL_ELAS_QUADRATIC, SOL_VLAP_TRIG, SOL_ELAS_TRIG, SOL_ELAS_AXIAL_DISP, SOL_ELAS_UNIFORM_STRAIN, SOL_ELAS_GE, SOL_MASS_QUADRATIC, NUM_SOLUTION_TYPES} SolutionType; 22 const char *solutionTypes[NUM_SOLUTION_TYPES+1] = {"vlap_quad", "elas_quad", "vlap_trig", "elas_trig", "elas_axial_disp", "elas_uniform_strain", "elas_ge", "mass_quad", "unknown"}; 23 24 typedef enum {DEFORM_NONE, DEFORM_SHEAR, DEFORM_STEP, NUM_DEFORM_TYPES} DeformType; 25 const char *deformTypes[NUM_DEFORM_TYPES+1] = {"none", "shear", "step", "unknown"}; 26 27 typedef struct { 28 PetscScalar mu; /* shear modulus */ 29 PetscScalar lambda; /* Lame's first parameter */ 30 } Parameter; 31 32 typedef struct { 33 /* Domain and mesh definition */ 34 char dmType[256]; /* DM type for the solve */ 35 DeformType deform; /* Domain deformation type */ 36 /* Problem definition */ 37 SolutionType solType; /* Type of exact solution */ 38 PetscBag bag; /* Problem parameters */ 39 /* Solver definition */ 40 PetscBool useNearNullspace; /* Use the rigid body modes as a near nullspace for AMG */ 41 } AppCtx; 42 43 static PetscErrorCode zero(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nc, PetscScalar *u, void *ctx) 44 { 45 PetscInt d; 46 for (d = 0; d < dim; ++d) u[d] = 0.0; 47 return 0; 48 } 49 50 static PetscErrorCode ge_shift(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nc, PetscScalar *u, void *ctx) 51 { 52 PetscInt d; 53 u[0] = 0.1; 54 for (d = 1; d < dim; ++d) u[d] = 0.0; 55 return 0; 56 } 57 58 static PetscErrorCode quadratic_2d_u(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nc, PetscScalar *u, void *ctx) 59 { 60 u[0] = x[0]*x[0]; 61 u[1] = x[1]*x[1] - 2.0*x[0]*x[1]; 62 return 0; 63 } 64 65 static PetscErrorCode quadratic_3d_u(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nc, PetscScalar *u, void *ctx) 66 { 67 u[0] = x[0]*x[0]; 68 u[1] = x[1]*x[1] - 2.0*x[0]*x[1]; 69 u[2] = x[2]*x[2] - 2.0*x[1]*x[2]; 70 return 0; 71 } 72 73 /* 74 u = x^2 75 v = y^2 - 2xy 76 Delta <u,v> - f = <2, 2> - <2, 2> 77 78 u = x^2 79 v = y^2 - 2xy 80 w = z^2 - 2yz 81 Delta <u,v,w> - f = <2, 2, 2> - <2, 2, 2> 82 */ 83 static void f0_vlap_quadratic_u(PetscInt dim, PetscInt Nf, PetscInt NfAux, 84 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 85 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 86 PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) 87 { 88 PetscInt d; 89 for (d = 0; d < dim; ++d) f0[d] += 2.0; 90 } 91 92 /* 93 u = x^2 94 v = y^2 - 2xy 95 \varepsilon = / 2x -y \ 96 \ -y 2y - 2x / 97 Tr(\varepsilon) = div u = 2y 98 div \sigma = \partial_i \lambda \delta_{ij} \varepsilon_{kk} + \partial_i 2\mu\varepsilon_{ij} 99 = \lambda \partial_j (2y) + 2\mu < 2-1, 2 > 100 = \lambda < 0, 2 > + \mu < 2, 4 > 101 102 u = x^2 103 v = y^2 - 2xy 104 w = z^2 - 2yz 105 \varepsilon = / 2x -y 0 \ 106 | -y 2y - 2x -z | 107 \ 0 -z 2z - 2y/ 108 Tr(\varepsilon) = div u = 2z 109 div \sigma = \partial_i \lambda \delta_{ij} \varepsilon_{kk} + \partial_i 2\mu\varepsilon_{ij} 110 = \lambda \partial_j (2z) + 2\mu < 2-1, 2-1, 2 > 111 = \lambda < 0, 0, 2 > + \mu < 2, 2, 4 > 112 */ 113 static void f0_elas_quadratic_u(PetscInt dim, PetscInt Nf, PetscInt NfAux, 114 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 115 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 116 PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) 117 { 118 const PetscReal mu = 1.0; 119 const PetscReal lambda = 1.0; 120 PetscInt d; 121 122 for (d = 0; d < dim-1; ++d) f0[d] += 2.0*mu; 123 f0[dim-1] += 2.0*lambda + 4.0*mu; 124 } 125 126 static void f0_mass_quadratic_u(PetscInt dim, PetscInt Nf, PetscInt NfAux, 127 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 128 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 129 PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) 130 { 131 if (dim == 2) { 132 f0[0] -= x[0]*x[0]; 133 f0[1] -= x[1]*x[1] - 2.0*x[0]*x[1]; 134 } else { 135 f0[0] -= x[0]*x[0]; 136 f0[1] -= x[1]*x[1] - 2.0*x[0]*x[1]; 137 f0[2] -= x[2]*x[2] - 2.0*x[1]*x[2]; 138 } 139 } 140 141 static PetscErrorCode trig_2d_u(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nc, PetscScalar *u, void *ctx) 142 { 143 u[0] = PetscSinReal(2.0*PETSC_PI*x[0]); 144 u[1] = PetscSinReal(2.0*PETSC_PI*x[1]) - 2.0*x[0]*x[1]; 145 return 0; 146 } 147 148 static PetscErrorCode trig_3d_u(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nc, PetscScalar *u, void *ctx) 149 { 150 u[0] = PetscSinReal(2.0*PETSC_PI*x[0]); 151 u[1] = PetscSinReal(2.0*PETSC_PI*x[1]) - 2.0*x[0]*x[1]; 152 u[2] = PetscSinReal(2.0*PETSC_PI*x[2]) - 2.0*x[1]*x[2]; 153 return 0; 154 } 155 156 /* 157 u = sin(2 pi x) 158 v = sin(2 pi y) - 2xy 159 Delta <u,v> - f = <-4 pi^2 u, -4 pi^2 v> - <-4 pi^2 sin(2 pi x), -4 pi^2 sin(2 pi y)> 160 161 u = sin(2 pi x) 162 v = sin(2 pi y) - 2xy 163 w = sin(2 pi z) - 2yz 164 Delta <u,v,2> - f = <-4 pi^2 u, -4 pi^2 v, -4 pi^2 w> - <-4 pi^2 sin(2 pi x), -4 pi^2 sin(2 pi y), -4 pi^2 sin(2 pi z)> 165 */ 166 static void f0_vlap_trig_u(PetscInt dim, PetscInt Nf, PetscInt NfAux, 167 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 168 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 169 PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) 170 { 171 PetscInt d; 172 for (d = 0; d < dim; ++d) f0[d] += -4.0*PetscSqr(PETSC_PI)*PetscSinReal(2.0*PETSC_PI*x[d]); 173 } 174 175 /* 176 u = sin(2 pi x) 177 v = sin(2 pi y) - 2xy 178 \varepsilon = / 2 pi cos(2 pi x) -y \ 179 \ -y 2 pi cos(2 pi y) - 2x / 180 Tr(\varepsilon) = div u = 2 pi (cos(2 pi x) + cos(2 pi y)) - 2 x 181 div \sigma = \partial_i \lambda \delta_{ij} \varepsilon_{kk} + \partial_i 2\mu\varepsilon_{ij} 182 = \lambda \partial_j 2 pi (cos(2 pi x) + cos(2 pi y)) + 2\mu < -4 pi^2 sin(2 pi x) - 1, -4 pi^2 sin(2 pi y) > 183 = \lambda < -4 pi^2 sin(2 pi x) - 2, -4 pi^2 sin(2 pi y) > + \mu < -8 pi^2 sin(2 pi x) - 2, -8 pi^2 sin(2 pi y) > 184 185 u = sin(2 pi x) 186 v = sin(2 pi y) - 2xy 187 w = sin(2 pi z) - 2yz 188 \varepsilon = / 2 pi cos(2 pi x) -y 0 \ 189 | -y 2 pi cos(2 pi y) - 2x -z | 190 \ 0 -z 2 pi cos(2 pi z) - 2y / 191 Tr(\varepsilon) = div u = 2 pi (cos(2 pi x) + cos(2 pi y) + cos(2 pi z)) - 2 x - 2 y 192 div \sigma = \partial_i \lambda \delta_{ij} \varepsilon_{kk} + \partial_i 2\mu\varepsilon_{ij} 193 = \lambda \partial_j (2 pi (cos(2 pi x) + cos(2 pi y) + cos(2 pi z)) - 2 x - 2 y) + 2\mu < -4 pi^2 sin(2 pi x) - 1, -4 pi^2 sin(2 pi y) - 1, -4 pi^2 sin(2 pi z) > 194 = \lambda < -4 pi^2 sin(2 pi x) - 2, -4 pi^2 sin(2 pi y) - 2, -4 pi^2 sin(2 pi z) > + 2\mu < -4 pi^2 sin(2 pi x) - 1, -4 pi^2 sin(2 pi y) - 1, -4 pi^2 sin(2 pi z) > 195 */ 196 static void f0_elas_trig_u(PetscInt dim, PetscInt Nf, PetscInt NfAux, 197 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 198 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 199 PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) 200 { 201 const PetscReal mu = 1.0; 202 const PetscReal lambda = 1.0; 203 const PetscReal fact = 4.0*PetscSqr(PETSC_PI); 204 PetscInt d; 205 206 for (d = 0; d < dim; ++d) f0[d] += -(2.0*mu + lambda) * fact*PetscSinReal(2.0*PETSC_PI*x[d]) - (d < dim-1 ? 2.0*(mu + lambda) : 0.0); 207 } 208 209 static PetscErrorCode axial_disp_u(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nc, PetscScalar *u, void *ctx) 210 { 211 const PetscReal mu = 1.0; 212 const PetscReal lambda = 1.0; 213 const PetscReal N = 1.0; 214 PetscInt d; 215 216 u[0] = (3.*lambda*lambda + 8.*lambda*mu + 4*mu*mu)/(4*mu*(3*lambda*lambda + 5.*lambda*mu + 2*mu*mu))*N*x[0]; 217 u[1] = -0.25*lambda/mu/(lambda+mu)*N*x[1]; 218 for (d = 2; d < dim; ++d) u[d] = 0.0; 219 return 0; 220 } 221 222 /* 223 We will pull/push on the right side of a block of linearly elastic material. The uniform traction conditions on the 224 right side of the box will result in a uniform strain along x and y. The Neumann BC is given by 225 226 n_i \sigma_{ij} = t_i 227 228 u = (1/(2\mu) - 1) x 229 v = -y 230 f = 0 231 t = <4\mu/\lambda (\lambda + \mu), 0> 232 \varepsilon = / 1/(2\mu) - 1 0 \ 233 \ 0 -1 / 234 Tr(\varepsilon) = div u = 1/(2\mu) - 2 235 div \sigma = \partial_i \lambda \delta_{ij} \varepsilon_{kk} + \partial_i 2\mu\varepsilon_{ij} 236 = \lambda \partial_j (1/(2\mu) - 2) + 2\mu < 0, 0 > 237 = \lambda < 0, 0 > + \mu < 0, 0 > = 0 238 NBC = <1,0> . <4\mu/\lambda (\lambda + \mu), 0> = 4\mu/\lambda (\lambda + \mu) 239 240 u = x - 1/2 241 v = 0 242 w = 0 243 \varepsilon = / x 0 0 \ 244 | 0 0 0 | 245 \ 0 0 0 / 246 Tr(\varepsilon) = div u = x 247 div \sigma = \partial_i \lambda \delta_{ij} \varepsilon_{kk} + \partial_i 2\mu\varepsilon_{ij} 248 = \lambda \partial_j x + 2\mu < 1, 0, 0 > 249 = \lambda < 1, 0, 0 > + \mu < 2, 0, 0 > 250 */ 251 static void f0_elas_axial_disp_bd_u(PetscInt dim, PetscInt Nf, PetscInt NfAux, 252 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 253 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 254 PetscReal t, const PetscReal x[], const PetscReal n[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) 255 { 256 const PetscReal N = -1.0; 257 258 f0[0] = N; 259 } 260 261 static PetscErrorCode uniform_strain_u(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nc, PetscScalar *u, void *ctx) 262 { 263 const PetscReal eps_xx = 0.1; 264 const PetscReal eps_xy = 0.3; 265 const PetscReal eps_yy = 0.25; 266 PetscInt d; 267 268 u[0] = eps_xx*x[0] + eps_xy*x[1]; 269 u[1] = eps_xy*x[0] + eps_yy*x[1]; 270 for (d = 2; d < dim; ++d) u[d] = 0.0; 271 return 0; 272 } 273 274 static void f0_mass_u(PetscInt dim, PetscInt Nf, PetscInt NfAux, 275 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 276 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 277 PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) 278 { 279 const PetscInt Nc = dim; 280 PetscInt c; 281 282 for (c = 0; c < Nc; ++c) f0[c] = u[c]; 283 } 284 285 static void f1_vlap_u(PetscInt dim, PetscInt Nf, PetscInt NfAux, 286 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 287 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 288 PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f1[]) 289 { 290 const PetscInt Nc = dim; 291 PetscInt c, d; 292 293 for (c = 0; c < Nc; ++c) for (d = 0; d < dim; ++d) f1[c*dim+d] += u_x[c*dim+d]; 294 } 295 296 static void f1_elas_u(PetscInt dim, PetscInt Nf, PetscInt NfAux, 297 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 298 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 299 PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f1[]) 300 { 301 const PetscInt Nc = dim; 302 const PetscReal mu = 1.0; 303 const PetscReal lambda = 1.0; 304 PetscInt c, d; 305 306 for (c = 0; c < Nc; ++c) { 307 for (d = 0; d < dim; ++d) { 308 f1[c*dim+d] += mu*(u_x[c*dim+d] + u_x[d*dim+c]); 309 f1[c*dim+c] += lambda*u_x[d*dim+d]; 310 } 311 } 312 } 313 314 static void g0_mass_uu(PetscInt dim, PetscInt Nf, PetscInt NfAux, 315 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 316 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 317 PetscReal t, PetscReal u_tShift, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar g0[]) 318 { 319 const PetscInt Nc = dim; 320 PetscInt c; 321 322 for (c = 0; c < Nc; ++c) g0[c*Nc + c] = 1.0; 323 } 324 325 static void g3_vlap_uu(PetscInt dim, PetscInt Nf, PetscInt NfAux, 326 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 327 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 328 PetscReal t, PetscReal u_tShift, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar g3[]) 329 { 330 const PetscInt Nc = dim; 331 PetscInt c, d; 332 333 for (c = 0; c < Nc; ++c) { 334 for (d = 0; d < dim; ++d) { 335 g3[((c*Nc + c)*dim + d)*dim + d] = 1.0; 336 } 337 } 338 } 339 340 /* 341 \partial_df \phi_fc g_{fc,gc,df,dg} \partial_dg \phi_gc 342 343 \partial_df \phi_fc \lambda \delta_{fc,df} \sum_gc \partial_dg \phi_gc \delta_{gc,dg} 344 = \partial_fc \phi_fc \sum_gc \partial_gc \phi_gc 345 */ 346 static void g3_elas_uu(PetscInt dim, PetscInt Nf, PetscInt NfAux, 347 const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 348 const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 349 PetscReal t, PetscReal u_tShift, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar g3[]) 350 { 351 const PetscInt Nc = dim; 352 const PetscReal mu = 1.0; 353 const PetscReal lambda = 1.0; 354 PetscInt c, d; 355 356 for (c = 0; c < Nc; ++c) { 357 for (d = 0; d < dim; ++d) { 358 g3[((c*Nc + c)*dim + d)*dim + d] += mu; 359 g3[((c*Nc + d)*dim + d)*dim + c] += mu; 360 g3[((c*Nc + d)*dim + c)*dim + d] += lambda; 361 } 362 } 363 } 364 365 static PetscErrorCode ProcessOptions(MPI_Comm comm, AppCtx *options) 366 { 367 PetscInt sol = 0, def = 0; 368 PetscErrorCode ierr; 369 370 PetscFunctionBeginUser; 371 options->deform = DEFORM_NONE; 372 options->solType = SOL_VLAP_QUADRATIC; 373 options->useNearNullspace = PETSC_TRUE; 374 CHKERRQ(PetscStrncpy(options->dmType, DMPLEX, 256)); 375 376 ierr = PetscOptionsBegin(comm, "", "Linear Elasticity Problem Options", "DMPLEX");CHKERRQ(ierr); 377 CHKERRQ(PetscOptionsEList("-deform_type", "Type of domain deformation", "ex17.c", deformTypes, NUM_DEFORM_TYPES, deformTypes[options->deform], &def, NULL)); 378 options->deform = (DeformType) def; 379 CHKERRQ(PetscOptionsEList("-sol_type", "Type of exact solution", "ex17.c", solutionTypes, NUM_SOLUTION_TYPES, solutionTypes[options->solType], &sol, NULL)); 380 options->solType = (SolutionType) sol; 381 CHKERRQ(PetscOptionsBool("-near_nullspace", "Use the rigid body modes as an AMG near nullspace", "ex17.c", options->useNearNullspace, &options->useNearNullspace, NULL)); 382 CHKERRQ(PetscOptionsFList("-dm_type", "Convert DMPlex to another format", "ex17.c", DMList, options->dmType, options->dmType, 256, NULL)); 383 ierr = PetscOptionsEnd();CHKERRQ(ierr); 384 PetscFunctionReturn(0); 385 } 386 387 static PetscErrorCode SetupParameters(MPI_Comm comm, AppCtx *ctx) 388 { 389 PetscBag bag; 390 Parameter *p; 391 392 PetscFunctionBeginUser; 393 /* setup PETSc parameter bag */ 394 CHKERRQ(PetscBagGetData(ctx->bag,(void**)&p)); 395 CHKERRQ(PetscBagSetName(ctx->bag,"par","Elastic Parameters")); 396 bag = ctx->bag; 397 CHKERRQ(PetscBagRegisterScalar(bag, &p->mu, 1.0, "mu", "Shear Modulus, Pa")); 398 CHKERRQ(PetscBagRegisterScalar(bag, &p->lambda, 1.0, "lambda", "Lame's first parameter, Pa")); 399 CHKERRQ(PetscBagSetFromOptions(bag)); 400 { 401 PetscViewer viewer; 402 PetscViewerFormat format; 403 PetscBool flg; 404 405 CHKERRQ(PetscOptionsGetViewer(comm, NULL, NULL, "-param_view", &viewer, &format, &flg)); 406 if (flg) { 407 CHKERRQ(PetscViewerPushFormat(viewer, format)); 408 CHKERRQ(PetscBagView(bag, viewer)); 409 CHKERRQ(PetscViewerFlush(viewer)); 410 CHKERRQ(PetscViewerPopFormat(viewer)); 411 CHKERRQ(PetscViewerDestroy(&viewer)); 412 } 413 } 414 PetscFunctionReturn(0); 415 } 416 417 static PetscErrorCode DMPlexDistortGeometry(DM dm) 418 { 419 DM cdm; 420 DMLabel label; 421 Vec coordinates; 422 PetscScalar *coords; 423 PetscReal mid = 0.5; 424 PetscInt cdim, d, vStart, vEnd, v; 425 426 PetscFunctionBeginUser; 427 CHKERRQ(DMGetCoordinateDM(dm, &cdm)); 428 CHKERRQ(DMGetCoordinateDim(dm, &cdim)); 429 CHKERRQ(DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd)); 430 CHKERRQ(DMGetLabel(dm, "marker", &label)); 431 CHKERRQ(DMGetCoordinatesLocal(dm, &coordinates)); 432 CHKERRQ(VecGetArrayWrite(coordinates, &coords)); 433 for (v = vStart; v < vEnd; ++v) { 434 PetscScalar *pcoords, shift; 435 PetscInt val; 436 437 CHKERRQ(DMLabelGetValue(label, v, &val)); 438 if (val >= 0) continue; 439 CHKERRQ(DMPlexPointLocalRef(cdm, v, coords, &pcoords)); 440 shift = 0.2 * PetscAbsScalar(pcoords[0] - mid); 441 shift = PetscRealPart(pcoords[0]) > mid ? shift : -shift; 442 for (d = 1; d < cdim; ++d) pcoords[d] += shift; 443 } 444 CHKERRQ(VecRestoreArrayWrite(coordinates, &coords)); 445 PetscFunctionReturn(0); 446 } 447 448 static PetscErrorCode CreateMesh(MPI_Comm comm, AppCtx *user, DM *dm) 449 { 450 PetscFunctionBeginUser; 451 CHKERRQ(DMCreate(comm, dm)); 452 CHKERRQ(DMSetType(*dm, DMPLEX)); 453 CHKERRQ(DMSetFromOptions(*dm)); 454 switch (user->deform) { 455 case DEFORM_NONE: break; 456 case DEFORM_SHEAR: CHKERRQ(DMPlexShearGeometry(*dm, DM_X, NULL));break; 457 case DEFORM_STEP: CHKERRQ(DMPlexDistortGeometry(*dm));break; 458 default: SETERRQ(comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid deformation type: %s (%D)", deformTypes[PetscMin(user->deform, NUM_DEFORM_TYPES)], user->deform); 459 } 460 CHKERRQ(DMSetApplicationContext(*dm, user)); 461 CHKERRQ(DMViewFromOptions(*dm, NULL, "-dm_view")); 462 PetscFunctionReturn(0); 463 } 464 465 static PetscErrorCode SetupPrimalProblem(DM dm, AppCtx *user) 466 { 467 PetscErrorCode (*exact)(PetscInt, PetscReal, const PetscReal[], PetscInt, PetscScalar *, void *); 468 Parameter *param; 469 PetscDS ds; 470 PetscWeakForm wf; 471 DMLabel label; 472 PetscInt id, bd; 473 PetscInt dim; 474 475 PetscFunctionBeginUser; 476 CHKERRQ(DMGetDS(dm, &ds)); 477 CHKERRQ(PetscDSGetWeakForm(ds, &wf)); 478 CHKERRQ(PetscDSGetSpatialDimension(ds, &dim)); 479 CHKERRQ(PetscBagGetData(user->bag, (void **) ¶m)); 480 switch (user->solType) { 481 case SOL_MASS_QUADRATIC: 482 CHKERRQ(PetscDSSetResidual(ds, 0, f0_mass_u, NULL)); 483 CHKERRQ(PetscDSSetJacobian(ds, 0, 0, g0_mass_uu, NULL, NULL, NULL)); 484 CHKERRQ(PetscWeakFormSetIndexResidual(wf, NULL, 0, 0, 0, 1, f0_mass_quadratic_u, 0, NULL)); 485 switch (dim) { 486 case 2: exact = quadratic_2d_u;break; 487 case 3: exact = quadratic_3d_u;break; 488 default: SETERRQ(PetscObjectComm((PetscObject) ds), PETSC_ERR_ARG_WRONG, "Invalid dimension: %D", dim); 489 } 490 break; 491 case SOL_VLAP_QUADRATIC: 492 CHKERRQ(PetscDSSetResidual(ds, 0, f0_vlap_quadratic_u, f1_vlap_u)); 493 CHKERRQ(PetscDSSetJacobian(ds, 0, 0, NULL, NULL, NULL, g3_vlap_uu)); 494 switch (dim) { 495 case 2: exact = quadratic_2d_u;break; 496 case 3: exact = quadratic_3d_u;break; 497 default: SETERRQ(PetscObjectComm((PetscObject) ds), PETSC_ERR_ARG_WRONG, "Invalid dimension: %D", dim); 498 } 499 break; 500 case SOL_ELAS_QUADRATIC: 501 CHKERRQ(PetscDSSetResidual(ds, 0, f0_elas_quadratic_u, f1_elas_u)); 502 CHKERRQ(PetscDSSetJacobian(ds, 0, 0, NULL, NULL, NULL, g3_elas_uu)); 503 switch (dim) { 504 case 2: exact = quadratic_2d_u;break; 505 case 3: exact = quadratic_3d_u;break; 506 default: SETERRQ(PetscObjectComm((PetscObject) ds), PETSC_ERR_ARG_WRONG, "Invalid dimension: %D", dim); 507 } 508 break; 509 case SOL_VLAP_TRIG: 510 CHKERRQ(PetscDSSetResidual(ds, 0, f0_vlap_trig_u, f1_vlap_u)); 511 CHKERRQ(PetscDSSetJacobian(ds, 0, 0, NULL, NULL, NULL, g3_vlap_uu)); 512 switch (dim) { 513 case 2: exact = trig_2d_u;break; 514 case 3: exact = trig_3d_u;break; 515 default: SETERRQ(PetscObjectComm((PetscObject) ds), PETSC_ERR_ARG_WRONG, "Invalid dimension: %D", dim); 516 } 517 break; 518 case SOL_ELAS_TRIG: 519 CHKERRQ(PetscDSSetResidual(ds, 0, f0_elas_trig_u, f1_elas_u)); 520 CHKERRQ(PetscDSSetJacobian(ds, 0, 0, NULL, NULL, NULL, g3_elas_uu)); 521 switch (dim) { 522 case 2: exact = trig_2d_u;break; 523 case 3: exact = trig_3d_u;break; 524 default: SETERRQ(PetscObjectComm((PetscObject) ds), PETSC_ERR_ARG_WRONG, "Invalid dimension: %D", dim); 525 } 526 break; 527 case SOL_ELAS_AXIAL_DISP: 528 CHKERRQ(PetscDSSetResidual(ds, 0, NULL, f1_elas_u)); 529 CHKERRQ(PetscDSSetJacobian(ds, 0, 0, NULL, NULL, NULL, g3_elas_uu)); 530 id = dim == 3 ? 5 : 2; 531 CHKERRQ(DMGetLabel(dm, "marker", &label)); 532 CHKERRQ(DMAddBoundary(dm, DM_BC_NATURAL, "right", label, 1, &id, 0, 0, NULL, (void (*)(void)) NULL, NULL, user, &bd)); 533 CHKERRQ(PetscDSGetBoundary(ds, bd, &wf, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL)); 534 CHKERRQ(PetscWeakFormSetIndexBdResidual(wf, label, id, 0, 0, 0, f0_elas_axial_disp_bd_u, 0, NULL)); 535 exact = axial_disp_u; 536 break; 537 case SOL_ELAS_UNIFORM_STRAIN: 538 CHKERRQ(PetscDSSetResidual(ds, 0, NULL, f1_elas_u)); 539 CHKERRQ(PetscDSSetJacobian(ds, 0, 0, NULL, NULL, NULL, g3_elas_uu)); 540 exact = uniform_strain_u; 541 break; 542 case SOL_ELAS_GE: 543 CHKERRQ(PetscDSSetResidual(ds, 0, NULL, f1_elas_u)); 544 CHKERRQ(PetscDSSetJacobian(ds, 0, 0, NULL, NULL, NULL, g3_elas_uu)); 545 exact = zero; /* No exact solution available */ 546 break; 547 default: SETERRQ(PetscObjectComm((PetscObject) ds), PETSC_ERR_ARG_WRONG, "Invalid solution type: %s (%D)", solutionTypes[PetscMin(user->solType, NUM_SOLUTION_TYPES)], user->solType); 548 } 549 CHKERRQ(PetscDSSetExactSolution(ds, 0, exact, user)); 550 CHKERRQ(DMGetLabel(dm, "marker", &label)); 551 if (user->solType == SOL_ELAS_AXIAL_DISP) { 552 PetscInt cmp; 553 554 id = dim == 3 ? 6 : 4; 555 cmp = 0; 556 CHKERRQ(DMAddBoundary(dm, DM_BC_ESSENTIAL, "left", label, 1, &id, 0, 1, &cmp, (void (*)(void)) zero, NULL, user, NULL)); 557 cmp = dim == 3 ? 2 : 1; 558 id = dim == 3 ? 1 : 1; 559 CHKERRQ(DMAddBoundary(dm, DM_BC_ESSENTIAL, "bottom", label, 1, &id, 0, 1, &cmp, (void (*)(void)) zero, NULL, user, NULL)); 560 if (dim == 3) { 561 cmp = 1; 562 id = 3; 563 CHKERRQ(DMAddBoundary(dm, DM_BC_ESSENTIAL, "front", label, 1, &id, 0, 1, &cmp, (void (*)(void)) zero, NULL, user, NULL)); 564 } 565 } else if (user->solType == SOL_ELAS_GE) { 566 PetscInt cmp; 567 568 id = dim == 3 ? 6 : 4; 569 CHKERRQ(DMAddBoundary(dm, DM_BC_ESSENTIAL, "left", label, 1, &id, 0, 0, NULL, (void (*)(void)) zero, NULL, user, NULL)); 570 id = dim == 3 ? 5 : 2; 571 cmp = 0; 572 CHKERRQ(DMAddBoundary(dm, DM_BC_ESSENTIAL, "right", label, 1, &id, 0, 1, &cmp, (void (*)(void)) ge_shift, NULL, user, NULL)); 573 } else { 574 id = 1; 575 CHKERRQ(DMAddBoundary(dm, DM_BC_ESSENTIAL, "wall", label, 1, &id, 0, 0, NULL, (void (*)(void)) exact, NULL, user, NULL)); 576 } 577 /* Setup constants */ 578 { 579 PetscScalar constants[2]; 580 581 constants[0] = param->mu; /* shear modulus, Pa */ 582 constants[1] = param->lambda; /* Lame's first parameter, Pa */ 583 CHKERRQ(PetscDSSetConstants(ds, 2, constants)); 584 } 585 PetscFunctionReturn(0); 586 } 587 588 static PetscErrorCode CreateElasticityNullSpace(DM dm, PetscInt origField, PetscInt field, MatNullSpace *nullspace) 589 { 590 PetscFunctionBegin; 591 CHKERRQ(DMPlexCreateRigidBody(dm, origField, nullspace)); 592 PetscFunctionReturn(0); 593 } 594 595 PetscErrorCode SetupFE(DM dm, const char name[], PetscErrorCode (*setup)(DM, AppCtx *), void *ctx) 596 { 597 AppCtx *user = (AppCtx *) ctx; 598 DM cdm = dm; 599 PetscFE fe; 600 char prefix[PETSC_MAX_PATH_LEN]; 601 DMPolytopeType ct; 602 PetscBool simplex; 603 PetscInt dim, cStart; 604 605 PetscFunctionBegin; 606 /* Create finite element */ 607 CHKERRQ(DMGetDimension(dm, &dim)); 608 CHKERRQ(DMPlexGetHeightStratum(dm, 0, &cStart, NULL)); 609 CHKERRQ(DMPlexGetCellType(dm, cStart, &ct)); 610 simplex = DMPolytopeTypeGetNumVertices(ct) == DMPolytopeTypeGetDim(ct)+1 ? PETSC_TRUE : PETSC_FALSE; 611 CHKERRQ(PetscSNPrintf(prefix, PETSC_MAX_PATH_LEN, "%s_", name)); 612 CHKERRQ(PetscFECreateDefault(PetscObjectComm((PetscObject) dm), dim, dim, simplex, name ? prefix : NULL, -1, &fe)); 613 CHKERRQ(PetscObjectSetName((PetscObject) fe, name)); 614 /* Set discretization and boundary conditions for each mesh */ 615 CHKERRQ(DMSetField(dm, 0, NULL, (PetscObject) fe)); 616 CHKERRQ(DMCreateDS(dm)); 617 CHKERRQ((*setup)(dm, user)); 618 while (cdm) { 619 CHKERRQ(DMCopyDisc(dm, cdm)); 620 if (user->useNearNullspace) CHKERRQ(DMSetNearNullSpaceConstructor(cdm, 0, CreateElasticityNullSpace)); 621 /* TODO: Check whether the boundary of coarse meshes is marked */ 622 CHKERRQ(DMGetCoarseDM(cdm, &cdm)); 623 } 624 CHKERRQ(PetscFEDestroy(&fe)); 625 PetscFunctionReturn(0); 626 } 627 628 int main(int argc, char **argv) 629 { 630 DM dm; /* Problem specification */ 631 SNES snes; /* Nonlinear solver */ 632 Vec u; /* Solutions */ 633 AppCtx user; /* User-defined work context */ 634 635 CHKERRQ(PetscInitialize(&argc, &argv, NULL,help)); 636 CHKERRQ(ProcessOptions(PETSC_COMM_WORLD, &user)); 637 CHKERRQ(PetscBagCreate(PETSC_COMM_SELF, sizeof(Parameter), &user.bag)); 638 CHKERRQ(SetupParameters(PETSC_COMM_WORLD, &user)); 639 /* Primal system */ 640 CHKERRQ(SNESCreate(PETSC_COMM_WORLD, &snes)); 641 CHKERRQ(CreateMesh(PETSC_COMM_WORLD, &user, &dm)); 642 CHKERRQ(SNESSetDM(snes, dm)); 643 CHKERRQ(SetupFE(dm, "displacement", SetupPrimalProblem, &user)); 644 CHKERRQ(DMCreateGlobalVector(dm, &u)); 645 CHKERRQ(VecSet(u, 0.0)); 646 CHKERRQ(PetscObjectSetName((PetscObject) u, "displacement")); 647 CHKERRQ(DMPlexSetSNESLocalFEM(dm, &user, &user, &user)); 648 CHKERRQ(SNESSetFromOptions(snes)); 649 CHKERRQ(DMSNESCheckFromOptions(snes, u)); 650 CHKERRQ(SNESSolve(snes, NULL, u)); 651 CHKERRQ(SNESGetSolution(snes, &u)); 652 CHKERRQ(VecViewFromOptions(u, NULL, "-displacement_view")); 653 /* Cleanup */ 654 CHKERRQ(VecDestroy(&u)); 655 CHKERRQ(SNESDestroy(&snes)); 656 CHKERRQ(DMDestroy(&dm)); 657 CHKERRQ(PetscBagDestroy(&user.bag)); 658 CHKERRQ(PetscFinalize()); 659 return 0; 660 } 661 662 /*TEST 663 664 testset: 665 args: -dm_plex_box_faces 1,1,1 666 667 test: 668 suffix: 2d_p1_quad_vlap 669 requires: triangle 670 args: -displacement_petscspace_degree 1 -dm_refine 2 -convest_num_refine 3 -snes_convergence_estimate 671 test: 672 suffix: 2d_p2_quad_vlap 673 requires: triangle 674 args: -displacement_petscspace_degree 2 -dm_refine 2 -dmsnes_check .0001 675 test: 676 suffix: 2d_p3_quad_vlap 677 requires: triangle 678 args: -displacement_petscspace_degree 3 -dm_refine 2 -dmsnes_check .0001 679 test: 680 suffix: 2d_q1_quad_vlap 681 args: -dm_plex_simplex 0 -displacement_petscspace_degree 1 -dm_refine 2 -convest_num_refine 3 -snes_convergence_estimate 682 test: 683 suffix: 2d_q2_quad_vlap 684 args: -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dm_refine 2 -dmsnes_check .0001 685 test: 686 suffix: 2d_q3_quad_vlap 687 requires: !single 688 args: -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dm_refine 2 -dmsnes_check .0001 689 test: 690 suffix: 2d_p1_quad_elas 691 requires: triangle 692 args: -sol_type elas_quad -displacement_petscspace_degree 1 -dm_refine 2 -convest_num_refine 3 -snes_convergence_estimate 693 test: 694 suffix: 2d_p2_quad_elas 695 requires: triangle 696 args: -sol_type elas_quad -displacement_petscspace_degree 2 -dmsnes_check .0001 697 test: 698 suffix: 2d_p3_quad_elas 699 requires: triangle 700 args: -sol_type elas_quad -displacement_petscspace_degree 3 -dmsnes_check .0001 701 test: 702 suffix: 2d_q1_quad_elas 703 args: -sol_type elas_quad -dm_plex_simplex 0 -displacement_petscspace_degree 1 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 704 test: 705 suffix: 2d_q1_quad_elas_shear 706 args: -sol_type elas_quad -dm_plex_simplex 0 -deform_type shear -displacement_petscspace_degree 1 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 707 test: 708 suffix: 2d_q2_quad_elas 709 args: -sol_type elas_quad -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dmsnes_check .0001 710 test: 711 suffix: 2d_q2_quad_elas_shear 712 args: -sol_type elas_quad -dm_plex_simplex 0 -deform_type shear -displacement_petscspace_degree 2 -dmsnes_check 713 test: 714 suffix: 2d_q3_quad_elas 715 args: -sol_type elas_quad -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dmsnes_check .0001 716 test: 717 suffix: 2d_q3_quad_elas_shear 718 requires: !single 719 args: -sol_type elas_quad -dm_plex_simplex 0 -deform_type shear -displacement_petscspace_degree 3 -dmsnes_check 720 721 test: 722 suffix: 3d_p1_quad_vlap 723 requires: ctetgen 724 args: -dm_plex_dim 3 -dm_refine 1 -displacement_petscspace_degree 1 -convest_num_refine 2 -snes_convergence_estimate 725 test: 726 suffix: 3d_p2_quad_vlap 727 requires: ctetgen 728 args: -dm_plex_dim 3 -displacement_petscspace_degree 2 -dm_refine 1 -dmsnes_check .0001 729 test: 730 suffix: 3d_p3_quad_vlap 731 requires: ctetgen 732 args: -dm_plex_dim 3 -displacement_petscspace_degree 3 -dm_refine 0 -dmsnes_check .0001 733 test: 734 suffix: 3d_q1_quad_vlap 735 args: -dm_plex_dim 3 -dm_plex_box_faces 2,2,2 -dm_plex_simplex 0 -displacement_petscspace_degree 1 -convest_num_refine 2 -snes_convergence_estimate 736 test: 737 suffix: 3d_q2_quad_vlap 738 args: -dm_plex_dim 3 -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dm_refine 1 -dmsnes_check .0001 739 test: 740 suffix: 3d_q3_quad_vlap 741 args: -dm_plex_dim 3 -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dm_refine 0 -dmsnes_check .0001 742 test: 743 suffix: 3d_p1_quad_elas 744 requires: ctetgen 745 args: -sol_type elas_quad -dm_plex_dim 3 -dm_refine 1 -displacement_petscspace_degree 1 -convest_num_refine 2 -snes_convergence_estimate 746 test: 747 suffix: 3d_p2_quad_elas 748 requires: ctetgen 749 args: -sol_type elas_quad -dm_plex_dim 3 -displacement_petscspace_degree 2 -dm_refine 1 -dmsnes_check .0001 750 test: 751 suffix: 3d_p3_quad_elas 752 requires: ctetgen 753 args: -sol_type elas_quad -dm_plex_dim 3 -displacement_petscspace_degree 3 -dm_refine 0 -dmsnes_check .0001 754 test: 755 suffix: 3d_q1_quad_elas 756 args: -sol_type elas_quad -dm_plex_dim 3 -dm_plex_box_faces 2,2,2 -dm_plex_simplex 0 -displacement_petscspace_degree 1 -convest_num_refine 2 -snes_convergence_estimate 757 test: 758 suffix: 3d_q2_quad_elas 759 args: -sol_type elas_quad -dm_plex_dim 3 -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dm_refine 1 -dmsnes_check .0001 760 test: 761 suffix: 3d_q3_quad_elas 762 requires: !single 763 args: -sol_type elas_quad -dm_plex_dim 3 -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dm_refine 0 -dmsnes_check .0001 764 765 test: 766 suffix: 2d_p1_trig_vlap 767 requires: triangle 768 args: -sol_type vlap_trig -displacement_petscspace_degree 1 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 769 test: 770 suffix: 2d_p2_trig_vlap 771 requires: triangle 772 args: -sol_type vlap_trig -displacement_petscspace_degree 2 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 773 test: 774 suffix: 2d_p3_trig_vlap 775 requires: triangle 776 args: -sol_type vlap_trig -displacement_petscspace_degree 3 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 777 test: 778 suffix: 2d_q1_trig_vlap 779 args: -sol_type vlap_trig -dm_plex_simplex 0 -displacement_petscspace_degree 1 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 780 test: 781 suffix: 2d_q2_trig_vlap 782 args: -sol_type vlap_trig -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 783 test: 784 suffix: 2d_q3_trig_vlap 785 args: -sol_type vlap_trig -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 786 test: 787 suffix: 2d_p1_trig_elas 788 requires: triangle 789 args: -sol_type elas_trig -displacement_petscspace_degree 1 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 790 test: 791 suffix: 2d_p2_trig_elas 792 requires: triangle 793 args: -sol_type elas_trig -displacement_petscspace_degree 2 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 794 test: 795 suffix: 2d_p3_trig_elas 796 requires: triangle 797 args: -sol_type elas_trig -displacement_petscspace_degree 3 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 798 test: 799 suffix: 2d_q1_trig_elas 800 args: -sol_type elas_trig -dm_plex_simplex 0 -displacement_petscspace_degree 1 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 801 test: 802 suffix: 2d_q1_trig_elas_shear 803 args: -sol_type elas_trig -dm_plex_simplex 0 -deform_type shear -displacement_petscspace_degree 1 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 804 test: 805 suffix: 2d_q2_trig_elas 806 args: -sol_type elas_trig -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 807 test: 808 suffix: 2d_q2_trig_elas_shear 809 args: -sol_type elas_trig -dm_plex_simplex 0 -deform_type shear -displacement_petscspace_degree 2 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 810 test: 811 suffix: 2d_q3_trig_elas 812 args: -sol_type elas_trig -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 813 test: 814 suffix: 2d_q3_trig_elas_shear 815 args: -sol_type elas_trig -dm_plex_simplex 0 -deform_type shear -displacement_petscspace_degree 3 -dm_refine 1 -convest_num_refine 3 -snes_convergence_estimate 816 817 test: 818 suffix: 3d_p1_trig_vlap 819 requires: ctetgen 820 args: -sol_type vlap_trig -dm_plex_dim 3 -dm_refine 1 -displacement_petscspace_degree 1 -convest_num_refine 2 -snes_convergence_estimate 821 test: 822 suffix: 3d_p2_trig_vlap 823 requires: ctetgen 824 args: -sol_type vlap_trig -dm_plex_dim 3 -displacement_petscspace_degree 2 -dm_refine 0 -convest_num_refine 1 -snes_convergence_estimate 825 test: 826 suffix: 3d_p3_trig_vlap 827 requires: ctetgen 828 args: -sol_type vlap_trig -dm_plex_dim 3 -displacement_petscspace_degree 3 -dm_refine 0 -convest_num_refine 1 -snes_convergence_estimate 829 test: 830 suffix: 3d_q1_trig_vlap 831 args: -sol_type vlap_trig -dm_plex_dim 3 -dm_plex_box_faces 2,2,2 -dm_plex_simplex 0 -displacement_petscspace_degree 1 -convest_num_refine 2 -snes_convergence_estimate 832 test: 833 suffix: 3d_q2_trig_vlap 834 args: -sol_type vlap_trig -dm_plex_dim 3 -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dm_refine 0 -convest_num_refine 1 -snes_convergence_estimate 835 test: 836 suffix: 3d_q3_trig_vlap 837 requires: !__float128 838 args: -sol_type vlap_trig -dm_plex_dim 3 -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dm_refine 0 -convest_num_refine 1 -snes_convergence_estimate 839 test: 840 suffix: 3d_p1_trig_elas 841 requires: ctetgen 842 args: -sol_type elas_trig -dm_plex_dim 3 -dm_refine 1 -displacement_petscspace_degree 1 -convest_num_refine 2 -snes_convergence_estimate 843 test: 844 suffix: 3d_p2_trig_elas 845 requires: ctetgen 846 args: -sol_type elas_trig -dm_plex_dim 3 -displacement_petscspace_degree 2 -dm_refine 0 -convest_num_refine 1 -snes_convergence_estimate 847 test: 848 suffix: 3d_p3_trig_elas 849 requires: ctetgen 850 args: -sol_type elas_trig -dm_plex_dim 3 -displacement_petscspace_degree 3 -dm_refine 0 -convest_num_refine 1 -snes_convergence_estimate 851 test: 852 suffix: 3d_q1_trig_elas 853 args: -sol_type elas_trig -dm_plex_dim 3 -dm_plex_box_faces 2,2,2 -dm_plex_simplex 0 -displacement_petscspace_degree 1 -convest_num_refine 2 -snes_convergence_estimate 854 test: 855 suffix: 3d_q2_trig_elas 856 args: -sol_type elas_trig -dm_plex_dim 3 -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dm_refine 0 -convest_num_refine 1 -snes_convergence_estimate 857 test: 858 suffix: 3d_q3_trig_elas 859 requires: !__float128 860 args: -sol_type elas_trig -dm_plex_dim 3 -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dm_refine 0 -convest_num_refine 1 -snes_convergence_estimate 861 862 test: 863 suffix: 2d_p1_axial_elas 864 requires: triangle 865 args: -sol_type elas_axial_disp -displacement_petscspace_degree 1 -dm_plex_separate_marker -dm_refine 2 -dmsnes_check .0001 -pc_type lu 866 test: 867 suffix: 2d_p2_axial_elas 868 requires: triangle 869 args: -sol_type elas_axial_disp -displacement_petscspace_degree 2 -dm_plex_separate_marker -dmsnes_check .0001 -pc_type lu 870 test: 871 suffix: 2d_p3_axial_elas 872 requires: triangle 873 args: -sol_type elas_axial_disp -displacement_petscspace_degree 3 -dm_plex_separate_marker -dmsnes_check .0001 -pc_type lu 874 test: 875 suffix: 2d_q1_axial_elas 876 args: -sol_type elas_axial_disp -dm_plex_simplex 0 -displacement_petscspace_degree 1 -dm_plex_separate_marker -dm_refine 1 -dmsnes_check .0001 -pc_type lu 877 test: 878 suffix: 2d_q2_axial_elas 879 args: -sol_type elas_axial_disp -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dm_plex_separate_marker -dmsnes_check .0001 -pc_type lu 880 test: 881 suffix: 2d_q3_axial_elas 882 args: -sol_type elas_axial_disp -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dm_plex_separate_marker -dmsnes_check .0001 -pc_type lu 883 884 test: 885 suffix: 2d_p1_uniform_elas 886 requires: triangle 887 args: -sol_type elas_uniform_strain -displacement_petscspace_degree 1 -dm_refine 2 -dmsnes_check .0001 -pc_type lu 888 test: 889 suffix: 2d_p2_uniform_elas 890 requires: triangle 891 args: -sol_type elas_uniform_strain -displacement_petscspace_degree 2 -dm_refine 2 -dmsnes_check .0001 -pc_type lu 892 test: 893 suffix: 2d_p3_uniform_elas 894 requires: triangle 895 args: -sol_type elas_uniform_strain -displacement_petscspace_degree 3 -dm_refine 2 -dmsnes_check .0001 -pc_type lu 896 test: 897 suffix: 2d_q1_uniform_elas 898 args: -sol_type elas_uniform_strain -dm_plex_simplex 0 -displacement_petscspace_degree 1 -dm_refine 2 -dmsnes_check .0001 -pc_type lu 899 test: 900 suffix: 2d_q2_uniform_elas 901 requires: !single 902 args: -sol_type elas_uniform_strain -dm_plex_simplex 0 -displacement_petscspace_degree 2 -dm_refine 2 -dmsnes_check .0001 -pc_type lu 903 test: 904 suffix: 2d_q3_uniform_elas 905 requires: !single 906 args: -sol_type elas_uniform_strain -dm_plex_simplex 0 -displacement_petscspace_degree 3 -dm_refine 2 -dmsnes_check .0001 -pc_type lu 907 test: 908 suffix: 2d_p1_uniform_elas_step 909 requires: triangle 910 args: -sol_type elas_uniform_strain -deform_type step -displacement_petscspace_degree 1 -dm_refine 2 -dmsnes_check .0001 -pc_type lu 911 912 testset: 913 args: -dm_plex_simplex 0 -dm_plex_box_faces 3,3 -deform_type step -displacement_petscspace_degree 1 -dmsnes_check .0001 -pc_type lu 914 915 test: 916 suffix: 2d_q1_uniform_elas_step 917 args: -sol_type elas_uniform_strain -dm_refine 2 918 test: 919 suffix: 2d_q1_quad_vlap_step 920 args: 921 test: 922 suffix: 2d_q2_quad_vlap_step 923 args: -displacement_petscspace_degree 2 924 test: 925 suffix: 2d_q1_quad_mass_step 926 args: -sol_type mass_quad 927 928 testset: 929 args: -dm_plex_dim 3 -dm_plex_simplex 0 -dm_plex_box_lower -5,-5,-0.25 -dm_plex_box_upper 5,5,0.25 \ 930 -dm_plex_box_faces 5,5,2 -dm_plex_separate_marker -dm_refine 0 -petscpartitioner_type simple \ 931 -sol_type elas_ge \ 932 -snes_max_it 2 -snes_rtol 1.e-10 \ 933 -ksp_type cg -ksp_rtol 1.e-10 -ksp_max_it 100 -ksp_norm_type unpreconditioned \ 934 -pc_type gamg -pc_gamg_type agg -pc_gamg_agg_nsmooths 1 \ 935 -pc_gamg_coarse_eq_limit 10 -pc_gamg_reuse_interpolation true \ 936 -pc_gamg_square_graph 1 -pc_gamg_threshold 0.05 -pc_gamg_threshold_scale .0 \ 937 -mg_levels_ksp_max_it 2 -mg_levels_ksp_type chebyshev -mg_levels_ksp_chebyshev_esteig 0,0.05,0,1.1 -mg_levels_pc_type jacobi \ 938 -matptap_via scalable 939 test: 940 suffix: ge_q1_0 941 args: -displacement_petscspace_degree 1 942 943 TEST*/ 944