emmy.sci.macros — org.mentat/emmy 0.31.0

This namespace contains reimplementations of various macros from emmy, defined in the form required by SCI.

all clj/s

consequence clj/s

(consequence _ _ form)

Originally defined in emmy.pattern.rule.

define-coordinates clj/s

(define-coordinates _ _ coordinate-prototype coordinate-system)

Originally defined in emmy.calculus.coordinate.

fork clj/s

(fork _ _&env & {:keys [cljs clj]})

Originally defined in emmy.util.def.

kbk-n clj/s

(kbk-n _ _ n)

Originally defined in emmy.algebra.fold.

let-coordinates clj/s

(let-coordinates _ _ bindings & body)

Originally defined in emmy.calculus.coordinate.

literal-function clj/s

(literal-function _ _ f)

(literal-function _ _ f sicm-signature)

(literal-function _ _ f domain range)

Originally defined in emmy.env.

ns-bindings clj/s

pattern clj/s

(pattern _ _ form)

(pattern _ _ form pred)

Originally defined in emmy.pattern.rule.

pattern-macros clj/s

rule clj/s

(rule _ _ pattern consequent-fn)

(rule _ _ pattern pred skeleton)

ruleset clj/s

(ruleset _ _ & patterns-and-consequences)

Originally defined in emmy.pattern.rule.

template clj/s

(template _ _ form)

(template _ _ m form)

Originally defined in emmy.pattern.rule.

using-coordinates clj/s

(using-coordinates env form coordinate-prototype coordinate-system & body)

Originally defined in emmy.calculus.coordinate.

with-literal-functions clj/s

(with-literal-functions _ _ litfns & body)

Originally defined in emmy.abstract.function.