emmy.calculus.indexed

Liking cljdoc? Tell your friends :D

All platforms.

argument-types
contract
index-types
indexed->typed
outer-product
structure->typed
typed->indexed
typed->structure
with-argument-types
with-index-types

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

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

raw docstring

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.

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

argument types are, for example,

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

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

source raw docstring

contract^clj/s

(contract T u d n)

source

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.

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

index types are, for example,

```clojure
['up 'down 'down]
```

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

source raw docstring

indexed->typed^clj/s

(indexed->typed indexed basis)

source

outer-product^clj/s

(outer-product T1 T2)

source

structure->typed^clj/s

(structure->typed coeff-functions basis)

source

typed->indexed^clj/s

(typed->indexed f basis)

source

typed->structure^clj/s

(typed->structure T basis)

source

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.

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]].

source raw docstring

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.

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]].

source raw docstring