8.15.0.4
3.17 Structs
| (require sicm/kernel/structs) | package: rktsicm |
procedure
(*allowing-incompatible-multiplication* ??? ...) → '??? ??? : any? (*careful-conversion* ??? ...) → '??? ??? : any? (2-down? ??? ...) → '??? ??? : any? (2-tensor? ??? ...) → '??? ??? : any? (2-up? ??? ...) → '??? ??? : any? (A^m_n->Mmn ??? ...) → '??? ??? : any? (A^mn->Mmn ??? ...) → '??? ??? : any? (A_m^n->Mnm ??? ...) → '??? ??? : any? (A_mn->Mnm ??? ...) → '??? ??? : any? (Mmn->A^m_n ??? ...) → '??? ??? : any? (Mmn->A^mn ??? ...) → '??? ??? : any? (Mnm->A_m^n ??? ...) → '??? ??? : any? (Mnm->A_mn ??? ...) → '??? ??? : any? (abstract-down ??? ...) → '??? ??? : any? (abstract-up ??? ...) → '??? ??? : any? (ac:zero-like ??? ...) → '??? ??? : any? (ar:zero-like ??? ...) → '??? ??? : any? (as-matrix ??? ...) → '??? ??? : any? (as:arity ??? ...) → '??? ??? : any? (compatible-shape ??? ...) → '??? ??? : any? (compatible-zero ??? ...) → '??? ??? : any? (down ??? ...) → '??? ??? : any? (down->vector ??? ...) → '??? ??? : any? (down-of-ups? ??? ...) → '??? ??? : any? (dual-zero ??? ...) → '??? ??? : any? (flip-indices ??? ...) → '??? ??? : any? (flip-outer-index ??? ...) → '??? ??? : any? (list->up-structure ??? ...) → '??? ??? : any? (literal-down ??? ...) → '??? ??? : any? (literal-up ??? ...) → '??? ??? : any? (m->s ??? ...) → '??? ??? : any? (make-down-combination ??? ...) → '??? ??? : any? (make-up-combination ??? ...) → '??? ??? : any? (matrix->structure ??? ...) → '??? ??? : any? (rexists ??? ...) → '??? ??? : any? (s->m ??? ...) → '??? ??? : any? (s:->vector ??? ...) → '??? ??? : any? (s:abs ??? ...) → '??? ??? : any? (s:apply ??? ...) → '??? ??? : any? (s:arity ??? ...) → '??? ??? : any? (s:binary ??? ...) → '??? ??? : any? (s:compatible-elements? ??? ...) → '??? ??? : any? (s:compatible-for-contraction? ??? ...) → '??? ??? : any? (s:conjugate ??? ...) → '??? ??? : any? (s:contract ??? ...) → '??? ??? : any? (s:determinant ??? ...) → '??? ??? : any? (s:dimension ??? ...) → '??? ??? : any? (s:divide-by-structure ??? ...) → '??? ??? : any? (s:dot-product ??? ...) → '??? ??? : any? (s:elementwise ??? ...) → '??? ??? : any? (s:forall ??? ...) → '??? ??? : any? (s:foreach ??? ...) → '??? ??? : any? (s:fringe ??? ...) → '??? ??? : any? (s:generate ??? ...) → '??? ??? : any? (s:inexact? ??? ...) → '??? ??? : any? (s:inverse ??? ...) → '??? ??? : any? (s:inverse1 ??? ...) → '??? ??? : any? (s:invert ??? ...) → '??? ??? : any? (s:length ??? ...) → '??? ??? : any? (s:magnitude ??? ...) → '??? ??? : any? (s:map ??? ...) → '??? ??? : any? (s:map-chain ??? ...) → '??? ??? : any? (s:map/l ??? ...) → '??? ??? : any? (s:map/r ??? ...) → '??? ??? : any? (s:map/r/l ??? ...) → '??? ??? : any? (s:multiply ??? ...) → '??? ??? : any? (s:negate ??? ...) → '??? ??? : any? (s:opposite ??? ...) → '??? ??? : any? (s:outer-product ??? ...) → '??? ??? : any? (s:partial-derivative ??? ...) → '??? ??? : any? (s:ref ??? ...) → '??? ??? : any? (s:same ??? ...) → '??? ??? : any? (s:select ??? ...) → '??? ??? : any? (s:solve-linear-left ??? ...) → '??? ??? : any? (s:solve-linear-right ??? ...) → '??? ??? : any? (s:square ??? ...) → '??? ??? : any? (s:structure ??? ...) → '??? ??? : any? (s:subst ??? ...) → '??? ??? : any? (s:subst-internal ??? ...) → '??? ??? : any? (s:trace ??? ...) → '??? ??? : any? (s:transpose ??? ...) → '??? ??? : any? (s:transpose-outer ??? ...) → '??? ??? : any? (s:transpose1 ??? ...) → '??? ??? : any? (s:type ??? ...) → '??? ??? : any? (s:unary ??? ...) → '??? ??? : any? (s:with-substituted-coord ??? ...) → '??? ??? : any? (s:zero-like ??? ...) → '??? ??? : any? (s:zero? ??? ...) → '??? ??? : any? (sc:type-predicate ??? ...) → '??? ??? : any? (scalar*structure ??? ...) → '??? ??? : any? (scalar/tensor ??? ...) → '??? ??? : any? (single-layer-down? ??? ...) → '??? ??? : any? (single-layer-up? ??? ...) → '??? ??? : any? (sr:type-predicate ??? ...) → '??? ??? : any? (structs:assign-operations ??? ...) → '??? ??? : any? (structure*scalar ??? ...) → '??? ??? : any? (structure+structure ??? ...) → '??? ??? : any? (structure->access-chains ??? ...) → '??? ??? : any? (structure->matrix ??? ...) → '??? ??? : any? (structure->prototype ??? ...) → '??? ??? : any? (structure-structure ??? ...) → '??? ??? : any? (structure/scalar ??? ...) → '??? ??? : any? (structure:elementwise ??? ...) → '??? ??? : any? (structure:expt ??? ...) → '??? ??? : any? (structure=structure ??? ...) → '??? ??? : any? (submatrix ??? ...) → '??? ??? : any? (typical-object ??? ...) → '??? ??? : any? (ultra-flatten ??? ...) → '??? ??? : any? (ultra-unflatten ??? ...) → '??? ??? : any? (up ??? ...) → '??? ??? : any? (up->vector ??? ...) → '??? ??? : any? (up-of-downs? ??? ...) → '??? ??? : any? (up-structure->list ??? ...) → '??? ??? : any? (vector->down ??? ...) → '??? ??? : any? (vector->up ??? ...) → '??? ??? : any?