Packages

  • package root
    Definition Classes
    root
  • package net
    Definition Classes
    root
  • package alasc
    Definition Classes
    net
  • package symdpoly

    SymDPoly contains different packages.

    SymDPoly contains different packages.

    - Monomial monoids and associated polynomial rings are defined in the generic, free, free based and quotient packages.

    - The evaluation of monomials into moments is performed through evaluation.

    - Additional algebraic structures are defined in algebra, with syntax in syntax.

    - The packages sdp and solvers respectively define floating point representations of conic linear programs and interface the supported solvers.

    To obtain a good set of default types, values, syntax enrichments and instances, simply import net.alasc.symdpoly.defaults._ in your code.

    Definition Classes
    alasc
  • package algebra

    Various algebraic structures used in the SymDPoly codebase.

    Various algebraic structures used in the SymDPoly codebase.

    Definition Classes
    symdpoly
  • package evaluation
    Definition Classes
    symdpoly
  • package free

    User-defined free algebraic structures, such as the monoid of free monomials.

    User-defined free algebraic structures, such as the monoid of free monomials.

    Definition Classes
    symdpoly
  • MonoDef
  • MutablePoly
  • MutableWord
  • PhasedOp
  • PhasedOpLike
  • Slice
  • package freebased

    Structures based on the free algebraic structures of symdpoly.free.

    Structures based on the free algebraic structures of symdpoly.free.

    Definition Classes
    symdpoly
  • package generic

    Generic user-definable algebraic structures used in polynomial optimization problems.

    Generic user-definable algebraic structures used in polynomial optimization problems.

    Definition Classes
    symdpoly
  • package instances

    Typeclasses instances for libraries used in SymDPoly.

    Typeclasses instances for libraries used in SymDPoly.

    Used mostly to provide cats-based structures to libraries not depending on cats.

    Definition Classes
    symdpoly
  • package math

    Various data types used in mathematical computations.

    Various data types used in mathematical computations.

    Definition Classes
    symdpoly
  • package mosek

    Native interface to Mosek.

    Native interface to Mosek. Add lib directory in the modules/mosek folder containing mosek.jar to compile this module.

    Definition Classes
    symdpoly
  • package pretty

    This package provides pretty printing methods for the objects in SymDPoly.

    This package provides pretty printing methods for the objects in SymDPoly.

    Definition Classes
    symdpoly
  • package quotient

    Quotient objects used in polynomial optimization.

    Quotient objects used in polynomial optimization.

    Definition Classes
    symdpoly
  • package sdp

    Generic description of conic linear programs including free, linear and SDP cones.

    Generic description of conic linear programs including free, linear and SDP cones.

    Definition Classes
    symdpoly
  • package solvers

    Interfaces with various SDP solvers.

    Interfaces with various SDP solvers.

    Definition Classes
    symdpoly
  • package symmetries

    Helpers to deal with symmetry computations.

    Helpers to deal with symmetry computations.

    Definition Classes
    symdpoly
  • package syntax

    Syntax enrichment for the typeclasses in net.alasc.symdpoly.algebra.

    Syntax enrichment for the typeclasses in net.alasc.symdpoly.algebra.

    Definition Classes
    symdpoly
  • package util

    Various data structures.

    Various data structures.

    Definition Classes
    symdpoly

package free

User-defined free algebraic structures, such as the monoid of free monomials.

Source
package.scala
Linear Supertypes
AnyRef, Any
Content Hierarchy
PhasedOpLike[M]PhasedOp[M]
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. free
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract class MonoDef extends freebased.MonoDef

    Base class for a generalized free monoid.

    Base class for a generalized free monoid.

    This class must be used as follows.

    - Declare inner case classes extending Op for each type of operator involved in the ring. - Call declare for each operator with the relevant range of indices. - Implement the abstract method "adjoint" for non hermitian operators.

  2. class MutablePoly[F <: Aux[F] with Singleton] extends AnyRef
  3. class MutableWord[F <: MonoDef with Singleton] extends AnyRef

    A mutable word in a free monoid.

    A mutable word in a free monoid. The word can be made immutable when all required transformations have been realized.

  4. case class PhasedOp[M <: Aux[M] with Singleton](phase: Phase, op: M.Op)(implicit evidence$1: Aux[M]) extends PhasedOpLike[M] with MonoLike[M] with PolyLike[M] with Product with Serializable

    An operator variable in a free monoid along with a phase.

  5. trait PhasedOpLike[M <: Aux[M] with Singleton] extends AnyRef

    A trait for objects that can be converted to a PhasedOp instance.

    A trait for objects that can be converted to a PhasedOp instance.

    See generic.PolyLike for the structure behind this construction.

  6. sealed trait Slice extends AnyRef

    Describes a slice of an index of an object with indices, such as a family of operator variables.

    Describes a slice of an index of an object with indices, such as a family of operator variables.

    Whenever a Slice is required for some index, the user can provide either

    - a wildcard :: to cover all values of that index, - a sequence of indices such as Seq(1,2,3) - a single index such as 1

    Those are converted to a Slice by the means of an implicit conversion.

Value Members

  1. object MonoDef
  2. object MutablePoly
  3. object MutableWord
  4. object PhasedOp extends Serializable
  5. object PhasedOpLike
  6. object Slice

Inherited from AnyRef

Inherited from Any

Ungrouped