Symbolic Time Derivatives in Underworld3
In Underworld3, the time derivative is a symbolic object. It appears in the solver's strong form as a SymPy expression, alongside the constitutive stress and the body force.
development
Constitutive Models in Symbolic Form
A constitutive model is a Python class where the relationship between fluxes and gradients is encoded in SymPy. At every stage the mathematics is visible, inspectable, and differentiable. The framework handles Jacobians, C code generation, and PETSc integration. You handle the physics.
Physical Units in Computational Geodynamics
Non-dimensionalisation (rewriting problems to make them re-scalable from lab to the real world) is a specialised task that all modellers confront at some point. It is important for accurate and efficient numerical solutions. Can we take away the pain that comes with the task ?
Mesh Variables and PETSc Vectors: Keeping Arrays in Sync
One of the less glamorous but important problems in a finite element framework is this: how does the user assign values to a field variable, and how does the framework ensure that PETSc sees those values correctly, in parallel, without the user needing to keep track themselves?
How Underworld3 Turns SymPy into C
What actually happens between the moment you write a mathematical expression in underworld3's python layer and the moment PETSc receives a finite element term in the form of compiled C code ?
Developing Underworld using Python Virtual Environments
The Underworld Community has been supporting usage of Docker containers for
developing and running Underworld powered scientific models. They provide a good
option to control the running environment (dependencies).
Docker container can be used for developing the code base but creating a
suitable development workflow has proven challenging so far
