# VectorGreaterEqual xy or VectorGreaterEqual[{x,y}]

yields True for vectors of length n if xiyi for all components .

xκy or VectorGreaterEqual[{x,y},κ]

yields True for x and y if x-yκ, where κ is a proper convex cone.

# Details  • VectorGreaterEqual gives a partial ordering of elements in a vector space that is still compatible with vector space operations.
• VectorGreaterEqual is typically used to specify vector inequalities for constrained optimization, inequality solving and integration.
• By using the character , entered as v>= or \[VectorGreaterEqual], with subscripts vector inequalities can be entered as follows:
• VectorGreaterEqual[{x,y}] the standard vector inequality VectorGreaterEqual[{x,y},κ] vector inequality defined by a cone κ
• xy remains unevaluated if x or y has non-numeric element; typically gives True or False otherwise.
• When x and y are n-vectors, xy yields False if xi>yi for any component .
• When x is an n-vector and y is a scalar, xy yields True if xiy for all components .
• Possible cone specifications κ in for vectors x include:
•  {"NonNegativeCone", n}  such that {"NormCone", n}  such that Norm[{x1,…,xn-1}]≤xn "ExponentialCone"  such that "DualExponentialCone"  such that or {"PowerCone",α}  such that {"DualPowerCone",α}  such that • Possible cone specifications κ in for matrices x include:
•  "NonNegativeCone"  such that {"SemidefiniteCone", n} symmetric positive semidefinite matrices • Possible cone specifications κ in for arrays x include:
•  "NonNegativeCone"  such that • For exact numeric quantities, VectorGreaterEqual internally uses numerical approximations to establish numerical ordering. This process can be affected by the setting of the global variable \$MaxExtraPrecision.

# Examples

open all close all

## Basic Examples(2)

xy yields True when xiyi is True for all i=1,,n:

 In:= Out= xy yields False when xi<yi is False for any i=1,,n:

 In:= Out= Represent a vector inequality:

 In:= Out= When v is replaced by numerical vector space elements, the inequality gives True or False:

 In:= Out= In:= Out= ## Applications(1)

Introduced in 2019
(12.0)