emmy.calculus.indexed — org.mentat/emmy 0.31.0

This namespace implements minimal support for indexed objects and typed functions.

argument-types clj/s

(argument-types f)

Given an operator or function f, returns its registered vector of argument types, or [] if none exist.

argument types are, for example,

[::ff/oneform-field ::vf/vector-field ::vf/vector-field]

for a Christoffel-2, which takes one oneform field and two vector fields.

contract clj/s

(contract T u d n)

index-types clj/s

(index-types f)

Given an operator or function f, returns its registered vector of index types, or [] if none exist.

index types are, for example,

['up 'down 'down]

for a Christoffel-2, which takes one oneform field and two vector fields.

indexed->typed clj/s

(indexed->typed indexed basis)

outer-product clj/s

(outer-product T1 T2)

structure->typed clj/s

(structure->typed coeff-functions basis)

typed->indexed clj/s

(typed->indexed f basis)

typed->structure clj/s

(typed->structure T basis)

with-argument-types clj/s

(with-argument-types f types)

Given some operator or function f, returns a copy of f with the supplied argument types types registered in its metadata (if a function) or context (if an operator).

Retrieve these types with argument-types.

with-index-types clj/s

(with-index-types f types)

Given some operator or function f, returns a copy of f with the supplied index types types registered in its metadata (if a function) or context (if an operator).

Retrieve these types with index-types.