Struct Hyperplane 

pub struct Hyperplane<'a, T = f64> { /* private fields */ }

A hyperplane is a set given by $H = \{x \in \mathbb{R}^n {}:{} \langle c, x\rangle = b\}$.

Implementations

impl<'a, T> Hyperplane<'a, T>

where T: Float + Sum<T>,

pub fn new(normal_vector: &'a [T], offset: T) -> Self

A hyperplane is a set given by $H = \{x \in \mathbb{R}^n {}:{} \langle c, x\rangle = b\}$, where $c$ is the normal vector of the hyperplane and $b$ is an offset.

This method constructs a new instance of Hyperplane with a given normal vector and offset.

Arguments

• normal_vector: the normal vector, $c$, as a slice
• offset: the offset parameter, $b$

Returns

New instance of Hyperplane

Panics

This method panics if the normal vector has zero Euclidean norm.

Example

use optimization_engine::constraints::{Constraint, Hyperplane};

let normal_vector = [1., 2.];
let offset = 1.0;
let hyperplane = Hyperplane::new(&normal_vector, offset);
let mut x = [-1., 3.];
hyperplane.project(&mut x).unwrap();

Trait Implementations

impl<'a, T: Clone> Clone for Hyperplane<'a, T>

fn clone(&self) -> Hyperplane<'a, T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, T> Constraint<T> for Hyperplane<'a, T>

where T: Float + Sum<T>,

fn project(&self, x: &mut [T]) -> FunctionCallResult

Projects on the hyperplane using the formula:

$$\begin{aligned} \mathrm{proj}_{H}(x) = x - \frac{\langle c, x\rangle - b} {\|c\|^2}c. \end{aligned}$$

where $H = \{x \in \mathbb{R}^n {}:{} \langle c, x\rangle = b\}$

Arguments

• x: (in) vector to be projected on the current instance of a hyperplane, (out) projection on the hyperplane

Panics

This method panics if the length of x is not equal to the dimension of the hyperplane.

fn is_convex(&self) -> bool

Hyperplanes are convex sets

Returns

Returns true