ZoeLeibowitz

Sub expression elimination behaves strangely on subdomains if you replace a dimension with a Symbol. This code: ``` from devito import Grid, TimeFunction, Eq, solve, Operator from devito.types import Symbol...

dsl/compiler: Fix&tidy PETSc mixed solver functionality

1

A portion of this PR involves code reorganisation and general cleanup. Key additions: - `PetscBundle` inside `petsc/types/array.py` - Various new types inside `petsc/types/types.py` to help simplify PETScSolve - `PetscBundle` use...

dsl: Add PETSc functionality

1

Work in progress PETSc functionality TODO: - [ ] Add parallel tests - [ ] Fix CI-gpu

compiler: Add extraction utility functions

1

These functions have been extracted from my PETSc fork. @JDBetteridge wants to use them for something outside of PETSc.

compiler: Concretize SubDimensions to same object across repeated calls to concretize_subdims

2

Ensure that SubDimensions are consistently concretized to the same object across multiple calls to the function. This is important when using `rcompile` on equations with SubDimensions. TODO: Enhance `SymbolRegistry` by...

The following code fails when a `ConditionalDimension` is supplied through `implicit_dims` **together** with `subdomain=grid.interior` : ``` grid = Grid((2,2)) _, y = grid.dimensions u = Function(name='u', grid=grid, space_order=2) v =...

ci: Edit Dockerfile.petsc and add docker-petsc.yml

1

While developing on the `petsc` branch, this PR adds` docker-petsc.yml` to build and push `Dockerfile.petsc` on pushes to the `petsc` branch. This PR also updates `Dockerfile.petsc` so that it uses...