Documentation

Brings a literal into the expression language.

Introduce Space values into the expression language.

Takes an associative arithmetic operator with a list of expressions.

Takes an associative boolean operator with a list of expressions.

Derivative syntax is: Type (Partial or Total) -> principal part of change -> with respect to For example: Deriv Part y x1 would be (dy/dx1).

C stands for Chunk, for referring to a chunk in an expression. Implicitly assumes that the chunk has a symbol.

Function applications.

For multi-case expressions, each pair represents one case.

Represents a matrix of expressions.

Represents a set of expressions

used to refernce the (name + type = variable )

Unary operation for most functions (eg. sin, cos, log, etc.).

Unary operation for Bool -> Bool operations.

Unary operation for Vector -> Vector operations.

Unary operation for Vector -> Number operations.

Binary operator for arithmetic between expressions (fractional, power, and subtraction).

Binary operator for equality between expressions.

Binary operator for indexing two expressions.

Binary operator for ordering expressions (less than, greater than, etc.).

Space-related binary operations.

Statement-related binary operations.

Binary operator for Vector x Vector -> Vector operations (cross product).

Binary operator for Vector x Vector -> Number operations (dot product).

Binary operator for Number x Vector -> Vector operations (scaling).

Set operator for Element + Set -> Set

Set operator for Element + Set -> Bool

Operators are generalized arithmetic operators over a DomainDesc of an Expr. Could be called BigOp. ex: Summation is represented via Add over a discrete domain.

A different kind of IsIn. A UID is an element of an interval.

Universal quantification