forward decl for power More...

#include <power_cone.hpp>

Inheritance diagram for conic::PowerCone< Slack >:

Public Types
using	ConeBase = Cone< Slack, PowerCone< Slack >, ConeType::ASYMMETRIC >
	bring into scope alias from cone base

using	AlphaVec = linalg::Vector< T, M - 1 >
	alpha vec

Public Types inherited from conic::Cone< Slack, PowerCone< Slack >, ConeType::ASYMMETRIC >
using	T = linalg::vector_element_t< Slack >
	alias for mat type

using	HessianMat = linalg::Matrix< T, M, M >
	hessian type

Public Member Functions
constexpr	PowerCone (const AlphaVec &alphas_in)
	PowerCone.

constexpr Slack	x0_impl () const
	default interior point

constexpr bool	in_cone_impl (const Slack &x) const
	in interior of K

constexpr T	alpha_max_impl (const Slack &x, const linalg::Vector< T, M > &p) const
	fraction to boundary dK

Public Member Functions inherited from conic::Cone< Slack, PowerCone< Slack >, ConeType::ASYMMETRIC >
constexpr Slack	x0 () const
	default interior point (initial slack in cone space)

constexpr Slack	y0 () const
	default interior point (initial slack in dual cone)

constexpr bool	in_cone (const Slack &x) const
	in the interior of k

constexpr bool	in_dual_cone (const Slack &y) const
	in the interior of K^*

constexpr auto	H (const Slack &x, const Slack &y) const
	hessian

constexpr T	alpha_max (const Slack &x, const linalg::Vector< T, M > &p) const
	fraction to boundary dk

constexpr T	alpha_max_dual (const Slack &y, const linalg::Vector< T, M > &p) const
	fraction to boundary dk^*

constexpr T	nu () const
	barrier parameter

constexpr auto	grad (const Slack &x) const
	gradient

constexpr auto	e () const
	e (jordan identity)

constexpr auto	w (const Slack &x, const Slack &y) const
	w (self-scaling point)

constexpr auto	circ (const Slack &x, const Slack &y) const
	circ (jordan map/product operator)

constexpr auto	trace (const Slack &x, const Slack &y) const
	trace

constexpr auto	inv (const Slack &x) const
	inv (jordan inverse element)

constexpr T	trace_weight () const
	Convert Euclidean complementarity to this cone's Jordan trace units.

constexpr auto	scaled_affine_correction (const Slack &x, const Scaling &P, const Slack &px, const Slack &py) const
	Affine second-order correction in dual coordinates under NT scaling.

constexpr auto	scaled_affine_correction_impl (const Slack &x, const Scaling &P, const Slack &px, const Slack &py) const
	Common symmetric-cone implementation using Jordan operations.

constexpr auto	gamma_F (const Slack &x, const Slack &y) const
	gamma_F (functional proximity neighborhood metric)

constexpr auto	self () const
	self function which returns a const ref to the derived object

Public Attributes
AlphaVec	alphas
	member vars for power cone

Additional Inherited Members
Static Public Attributes inherited from conic::Cone< Slack, PowerCone< Slack >, ConeType::ASYMMETRIC >
static constexpr std::size_t	M
	helpers to get M slack size

static constexpr T	eps
	eps constant

Detailed Description

template<linalg::VectorContainer Slack>
struct conic::PowerCone< Slack >

forward decl for power

power cone class

K_pow = { (x,t) in R_++ x R | prod(x_i)^a_i >= |t|, sum(a_i) == 1, a_i >= 0 } a in Q (set of rational numbers)

Warning: Partial cone implementation. Step-length and compatible asymmetric-cone solver support are incomplete; not supported for solves.

See also: Support and Roadmap

Definition at line 22 of file power_cone.hpp.

Member Typedef Documentation

◆ AlphaVec

template<linalg::VectorContainer Slack>

using conic::PowerCone< Slack >::AlphaVec = linalg::Vector<T, M - 1>

alpha vec

Definition at line 31 of file power_cone.hpp.

◆ ConeBase

template<linalg::VectorContainer Slack>

using conic::PowerCone< Slack >::ConeBase = Cone<Slack, PowerCone<Slack>, ConeType::ASYMMETRIC>

bring into scope alias from cone base

Definition at line 24 of file power_cone.hpp.

Constructor & Destructor Documentation

◆ PowerCone()

template<linalg::VectorContainer Slack>

constexpr conic::PowerCone< Slack >::PowerCone ( const AlphaVec & alphas_in )

inlineexplicitconstexpr

PowerCone.

Parameters

alphas in Q^n

Definition at line 38 of file power_cone.hpp.

Member Function Documentation

◆ alpha_max_impl()

template<linalg::VectorContainer Slack>

constexpr T conic::PowerCone< Slack >::alpha_max_impl	(	const Slack &	x,
		const linalg::Vector< T, M > &	p
	)		const

inlineconstexpr

fraction to boundary dK

Parameters

x	in K
p	in E

Returns: alpha_max

(dakre) TODO - compute alpha max

Definition at line 83 of file power_cone.hpp.

◆ in_cone_impl()

template<linalg::VectorContainer Slack>

constexpr bool conic::PowerCone< Slack >::in_cone_impl ( const Slack & x ) const

inlineconstexpr

in interior of K

Parameters

slack vector

Returns: bool

Definition at line 58 of file power_cone.hpp.

References conic::PowerCone< Slack >::alphas, and conic::Cone< Slack, PowerCone< Slack >, ConeType::ASYMMETRIC >::M.

◆ x0_impl()

template<linalg::VectorContainer Slack>

constexpr Slack conic::PowerCone< Slack >::x0_impl ( ) const

inlineconstexpr

default interior point

Returns: vector

Definition at line 45 of file power_cone.hpp.

References conic::Cone< Slack, PowerCone< Slack >, ConeType::ASYMMETRIC >::M.

Member Data Documentation

◆ alphas

template<linalg::VectorContainer Slack>

AlphaVec conic::PowerCone< Slack >::alphas

member vars for power cone

Definition at line 91 of file power_cone.hpp.

Referenced by conic::PowerCone< Slack >::in_cone_impl().

The documentation for this struct was generated from the following files:

include/akreon/convex/cone_traits.hpp
include/akreon/convex/cones/power_cone.hpp

Public Types

Public Member Functions

Public Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ AlphaVec

◆ ConeBase

Constructor & Destructor Documentation

◆ PowerCone()

Member Function Documentation

◆ alpha_max_impl()

◆ in_cone_impl()

◆ x0_impl()

Member Data Documentation

◆ alphas