arithmetic/lisp/tests.lisp
(name parameters &body body)Subtraction or unary negation.
Constrain a quantity between compatible bounds.
Division of two represented quantities.
Construct a meaningful literal.
Name a compatible derived quantity.
Multiplication and scalar scaling.
(name parameters &body body)Addition over compatible quantities.
The inner product of two vectors.
Convert a quantity to a compatible unit.
The componentwise square root of a raw value.
The componentwise absolute value of a raw value.
Test whether one compatible scalar is less than another.
Test whether one compatible scalar is greater than another.
The non-negative remainder of integer division.
(tree objects)Logical disjunction of tests and raw truth values.
(definition)Lower a checked arithmetic definition or its symbolic name to a lambda.
(definition)Compile a checked arithmetic definition or symbolic name to a function.
Logical negation of one test or raw truth value.
Test whether two compatible scalars are equal.
(x y z)(vector)(left right)(vector scale)(left right)(vector)(vector axis)(vector)(definition &key parameter-representation-types result-representation-type)(realization actual-parameter-declarations
&key actual-result-declaration)(&key representation-type quantity-specification quantity-layout source-form)(declaration)Return DECLARATION's homogeneous quantity specification, or NIL.
One top-level defining form of a source file.
(name)Return the live arithmetic definition named by NAME, or NIL.
(specification)(name parameter-forms body)
0+1+2+3+4 = 10 passes the cap of 8 after index 4; index 5 is never added, so the fold stops with 10 rather than running on to 45.