vignettes/man_dimensional_equivalence.R

#' Dimensional equivalence
#'
#' A transformation \eqn{t} has the dimensional equivalence property iif: \cr
#' \deqn{\forall a_{1},a_{2} \in \mathbb{A}: a_{1} = t(a_{2}) \implies dim_i(a_{1}) = dim_i(a_{2}), dim_o(a_{1}) = dim_o(a_{2})}
#'
#' @seealso \code{\link{split}}
#'
#' @name dimensional_equivalence
NULL;
daviddoret/haricot documentation built on May 21, 2019, 1:42 a.m.