diff_pos: The difference x - y with domain x > y > 0

View source: R/111_atoms_one_minus_pos.R

diff_posR Documentation

The difference x - y with domain x > y > 0

Description

Equivalent to x * one_minus_pos(y / x).

Usage

diff_pos(x, y)

Arguments

x

An Expression (positive)

y

An Expression (positive, elementwise less than x)

Value

A product expression


CVXR documentation built on March 6, 2026, 9:10 a.m.