FORTRAN SOFTWARE CATALOG

Repository owner: Berkeley Lab (BerkeleyLab)

formal

Mimetic discrete vector calculus with gradients, divergence and integration.

Repository · Pinned source (d28eee9b37b4) · Try in playground · Checked package example

GAMS classifications

About this package

Category
Numerical utilities
License
LicenseRef-Berkeley-Formal

Topics: finite-differences, mimetic-methods, numerical-differentiation, numerical-integration, vector-calculus

Classification scope and review notes

Mimetic vector-calculus library with pinned Julienne and Assert dependencies. A single-image coarray build is used. The checked consumer adapts the author's extended Gauss-divergence example to f=x**2/2 and v=x on a 64-cell unit interval. It checks the two volume integrals against 1/3 and 1/6, the boundary flux against 1/2, finiteness and the conservation residual using single-precision tolerances. The command-line parsing and shell display calls of the upstream example are omitted. Library numerical sources are unchanged. Other 2D/3D operators, time integration and convergence orders are not validated. Original Berkeley Lab license terms, including the enhancements clause, are retained; this is not labeled plain BSD-3-Clause.

Package dependencies

Resolved GitHub repositories used by the verified playground build, combining direct and indirect dependencies. This list does not describe internal module dependencies or native system libraries.

Required by this build

Build record verified 2026-10-29.

Used by (0 selected packages)

No other selected build records this repository as a dependency. This is not a measure of usage outside the catalog.

Reviewed procedures

These mappings have pinned source evidence. A checked package example may exercise only some of them; source review is not a numerical benchmark.

scalar_1D_t / vector_1D_t / .grad. / .div. / .SSS. / .SS.

Module: formal_m / tensors_1D_m

H1 H2 I2

H1: verified; H2: source-supported; I2: source-supported

Derivatives / callbacks: not applicable

Mimetic vector-calculus library with pinned Julienne and Assert dependencies. A single-image coarray build is used. The checked consumer adapts the author's extended Gauss-divergence example to f=x**2/2 and v=x on a 64-cell unit interval. It checks the two volume integrals against 1/3 and 1/6, the boundary flux against 1/2, finiteness and the conservation residual using single-precision tolerances. The command-line parsing and shell display calls of the upstream example are omitted. Library numerical sources are unchanged. Other 2D/3D operators, time integration and convergence orders are not validated. Original Berkeley Lab license terms, including the enhancements clause, are retained; this is not labeled plain BSD-3-Clause.

Pinned source: src/formal/tensors_1D_m.F90 · src/formal/divergence_1D_s.F90 · src/formal/gradient_1D_s.F90

Author examples/tests: example/extended-gauss-divergence.F90

Load checked GAMS driver: gams-formal-polynomial-reference