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

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