R/089_atoms_norm_inf.R

In CVXR: Disciplined Convex Optimization

#####
## DO NOT EDIT THIS FILE!! EDIT THE SOURCE INSTEAD: rsrc_tree/atoms/norm_inf.R
#####

## CVXPY SOURCE: atoms/norm_inf.py
## NormInf -- L-infinity norm (max absolute value), axis-aware


NormInf <- new_class("NormInf", parent = AxisAtom, package = "CVXR",
  constructor = function(x, axis = NULL, keepdims = FALSE, id = NULL) {
    if (is.null(id)) id <- next_expr_id()
    x <- as_expr(x)
    if (!is.null(axis)) .validate_axis(axis, length(x@shape))
    shape <- .axis_shape(x@shape, axis, keepdims)

    obj <- new_object(S7_object(),
      id       = as.integer(id),
      .cache   = new.env(parent = emptyenv()),
      args     = list(x),
      shape    = shape,
      axis     = axis,
      keepdims = keepdims
    )
    obj
  }
)

# -- sign: always nonneg ------------------------------------------
method(sign_from_args, NormInf) <- function(x) {
  list(is_nonneg = TRUE, is_nonpos = FALSE)
}

# -- curvature: convex --------------------------------------------
method(is_atom_convex, NormInf) <- function(x) TRUE
method(is_atom_concave, NormInf) <- function(x) FALSE

# -- monotonicity -------------------------------------------------
method(is_incr, NormInf) <- function(x, idx, ...) is_nonneg(x@args[[1L]])
method(is_decr, NormInf) <- function(x, idx, ...) is_nonpos(x@args[[1L]])

# -- log-log: convex (CVXPY norm_inf.py) --------------------------
method(is_atom_log_log_convex, NormInf) <- function(x) TRUE
method(is_atom_log_log_concave, NormInf) <- function(x) FALSE

# -- PWL ----------------------------------------------------------
method(is_pwl, NormInf) <- function(x) is_pwl(x@args[[1L]])

# -- numeric ------------------------------------------------------
method(numeric_value, NormInf) <- function(x, values, ...) {
  v <- values[[1L]]
  if (is.null(x@axis)) {
    matrix(max(abs(v)), 1L, 1L)
  } else if (x@axis == 2L) {
    res <- apply(abs(v), 2L, max)
    if (x@keepdims) matrix(res, nrow = 1L) else matrix(res, nrow = 1L)
  } else {
    res <- apply(abs(v), 1L, max)
    if (x@keepdims) matrix(res, ncol = 1L) else matrix(res, ncol = 1L)
  }
}

# -- graph_implementation: stub -----------------------------------
method(graph_implementation, NormInf) <- function(x, arg_objs, shape, data = NULL, ...) {
  cli_abort("graph_implementation for {.cls NormInf} not yet implemented.")
}

#' L-infinity norm of an expression
#'
#' @param x An Expression
#' @param axis NULL (all), 1 (row-wise), or 2 (column-wise)
#' @param keepdims Logical: keep reduced dimensions?
#' @returns A NormInf atom
#' @export
norm_inf <- function(x, axis = NULL, keepdims = FALSE) {
  NormInf(x, axis, keepdims)
}