Version: v0.2.0

Julia API index

Every stable name Julia exports, and its extension seams.

Package: EarthSciASTDiff 0.2.0

Documentation extracted with Base.Docs (Julia 1.13.3).

Extension-tier names are on the Julia extension page .

Stable names

JuliaCanonicalKindSummary
BandbandtypeOne structured block of ∂(rhs of the equation for u)/∂v:
BandErrorband_errorerrorAn expression has a form the band calculus cannot differentiate (for example a filtered faq node or a non-"+" semiring).
bind_planbind_planfunctionCheck plan against the state Jacobian of input (an EsmFile or a FlattenedSystem) and precompute its gather.
BlockDiagonalPlanblock_diagonal_plantypePer-cell block factorization info for a :block_diagonal Jacobian (the chemistry shape: every coupling is within-cell, so the global matrix is one identical ns × ns-patterned…
column_linescolumn_linesfunctionThe per-line structure of a state Jacobian whose couplings all stay within one line along index set axis, or nothing when one does not: every band couples two array states of…
ColumnBlockPlancolumn_block_plantypeLine-by-line factorization info for a :column_block Jacobian: every coupling stays within one line along axis, so the matrix is one (length(block_vars)·line_length)-square…
cse_templatescse_templatesfunctionGreedy largest-first extraction of repeated subtrees over exprs.
DerivativeRuleErrorderivative_rule_errorerrorA scalar operator has no derivative rule (spec §3).
detect_structuredetect_structurefunctionClassify the Jacobian’s structure from the band list:
dscalardscalarfunctionDerivative of the scalar expression e with respect to site s, as a new ESM expression.
evaluation_documentevaluation_documentfunctionThe derived evaluation document of the first-order bands on axis wrt (esm-jacobian-spec.md §8, model "JacobianEval"): the source’s observed the coefficients read, every…
forcing_namesforcing_namesfunctionThe forcing set of a system, sorted by name: the parameters whose cells are the columns of the wrt = :forcing axis (esm-jacobian-spec.md §4.3).
hvp_documenthvp_documentfunctionThe second-order product document of esm-jacobian-spec.md §9.4 for the axis pair wrt and stages stage pairs: its right-hand side leaves g = ∇_{a2} Σᵢ μᵢᵀ J(u) wᵢ (`∇_{a2}…
jac_prototypejac_prototypefunctionA freshly zeroed sparse prototype on the structural pattern — the object to pass as ODEFunction(f!; jac_prototype = …).
JacEntryjac_entrytypeOne band of the model Jacobian: ∂(equation for state u)/∂v`` with its Band.
JacEntry2jac_entry2typeOne second-order band: ∂²(equation for u)/∂v ∂w.
jacobian_bandsjacobian_bandsfunctionDifferentiate every differential equation of the system with respect to every state (wrt = :states), every parameter outside the forcing set (wrt = :parameters, scalar and…
jacobian_bands2jacobian_bands2functionSecond-order bands for the axis pair wrt = (a1, a2), a1 ∈ (:states, :time) and a2 ∈ (:states, :parameters, :forcing): every first-order entry of the a1 axis…
jacobian_columnsjacobian_columnsfunctionThe column space of a :parameters or :forcing block: each column variable with its integer shape (Int[] for a scalar), sorted by name — the columns field of the emitted…
jacobian_documentjacobian_documentfunctionThe serialized input document plus the draft "jacobians" top-level block (esm-jacobian-spec.md §4): per model, the differentiation axis, the band entries, and — on the state…
jacobian_patternjacobian_patternfunctionThe structural (global, point-independent) sparsity pattern of the Jacobian as a SparseMatrixCSC{Bool}.
jvp_documentjvp_documentfunctionThe product documents of esm-jacobian-spec.md §9.2 / §9.3 for one first-order axis: a derived ESM document (model "JvpEval" / "VjpEval") whose right-hand side, evaluated by…
lu_filllu_fillfunctionSymbolic (no-pivoting) LU of a structural pattern: the input pattern plus every fill-in entry Gaussian elimination creates, in natural order.
parse_jacobian_blocksparse_jacobian_blocksfunctionparse_jacobian_block over a model’s "jacobians" entry, which is either one block or an array of blocks with distinct wrt (esm-jacobian-spec.md §4); returns one `(wrt,…
plan_factorizationplan_factorizationfunctionSymbolic factorization info for the detected structure class, or nothing when no plan is implemented for that class (the Jacobian itself is still fully usable — a plan is an…
scatter_planscatter_planfunctionBuild the scatter plan of a model’s state Jacobian for layout.
ScatterPlanscatter_plantypeBand fields → storage positions for one (band list, layout).
serialize_planserialize_planfunctionSerialize a plan into the "factorization" field of the document block.
simplify_branchessimplify_branchesfunctionConditional-specific simplification, complementing EarthSciAST.simplify:
SitesitetypeThe thing a scalar derivative is taken with respect to: a bare VarExpr (scalar variable) or an index(v, i…) node (one symbolic cell of an array variable).
stable_jsonstable_jsonfunctionDeterministic JSON: object keys emitted in sorted order at every level, scalars formatted by JSON3.
SysViewsys_viewtypeUniform system view: variables (name → ModelVariable), equations, and the document’s index_sets.
sysviewsysviewfunction
vjp_documentvjp_documentfunctionThe product documents of esm-jacobian-spec.md §9.2 / §9.3 for one first-order axis: a derived ESM document (model "JvpEval" / "VjpEval") whose right-hand side, evaluated by…