symbolic

package

Go to main page

Versions in this module

v0

v0.2.4

Jul 24, 2025

v0.2.3

Jul 24, 2025

Changes in this version

type Constraint

+ AsSimplifiedConstraint func() Constraint

+ ImpliesThisIsAlsoSatisfied func(other Constraint) bool

+ Variables func() []Variable

type MatrixConstraint

+ func (mc MatrixConstraint) AsSimplifiedConstraint() Constraint

+ func (mc MatrixConstraint) ImpliesThisIsAlsoSatisfied(other Constraint) bool

+ func (mc MatrixConstraint) Variables() []Variable

type ScalarConstraint

+ func (sc ScalarConstraint) AsSimplifiedConstraint() Constraint

+ func (sc ScalarConstraint) ImpliesThisIsAlsoSatisfied(other Constraint) bool

+ func (sc ScalarConstraint) ScaleBy(factor float64) Constraint

+ func (sc ScalarConstraint) Variables() []Variable

type Variable

+ func UnionOfVariables(varSlices ...[]Variable) []Variable

+ func VariablesInThisConstraint(c Constraint) []Variable

type VectorConstraint

+ func (vc VectorConstraint) AsSimplifiedConstraint() Constraint

+ func (vc VectorConstraint) ImpliesThisIsAlsoSatisfied(other Constraint) bool

+ func (vc VectorConstraint) Variables() []Variable

v0.2.2

May 13, 2025

Changes in this version

type Constraint

+ Substitute func(vIn Variable, seIn ScalarExpression) Constraint

+ SubstituteAccordingTo func(subMap map[Variable]Expression) Constraint

type MatrixConstraint

+ func (mc MatrixConstraint) Substitute(vIn Variable, seIn ScalarExpression) Constraint

+ func (mc MatrixConstraint) SubstituteAccordingTo(subMap map[Variable]Expression) Constraint

type ScalarConstraint

+ func (sc ScalarConstraint) String() string

+ func (sc ScalarConstraint) Substitute(vIn Variable, seIn ScalarExpression) Constraint

+ func (sc ScalarConstraint) SubstituteAccordingTo(subMap map[Variable]Expression) Constraint

type VectorConstraint

+ func (vc VectorConstraint) Len() int

+ func (vc VectorConstraint) Substitute(vIn Variable, seIn ScalarExpression) Constraint

+ func (vc VectorConstraint) SubstituteAccordingTo(subMap map[Variable]Expression) Constraint

v0.2.1

Apr 18, 2025

Changes in this version

type VectorExpression

+ LinearCoeff func(wrt ...[]Variable) mat.Dense

v0.2.0

Apr 18, 2025

Changes in this version

type ScalarConstraint

+ func (sc ScalarConstraint) LinearEqualityConstraintRepresentation(wrt ...[]Variable) (C mat.VecDense, d float64)

+ func (sc ScalarConstraint) LinearInequalityConstraintRepresentation(wrt ...[]Variable) (A mat.VecDense, b float64)

type VectorConstraint

+ func (vc VectorConstraint) LinearEqualityConstraintRepresentation(wrt ...[]Variable) (C mat.Dense, d mat.VecDense)

+ func (vc VectorConstraint) LinearInequalityConstraintRepresentation(wrt ...[]Variable) (A mat.Dense, b mat.VecDense)

v0.1.9

Apr 11, 2025

Changes in this version

+ func PolynomialLikeVector_SharedLinearCoeffCalc(plv PolynomialLikeVector, wrt ...[]Variable) mat.Dense

type MonomialVector

+ func (mv MonomialVector) LinearCoeff(wrt ...[]Variable) mat.Dense

type PolynomialLikeVector

+ LinearCoeff func(wrt ...[]Variable) mat.Dense

v0.1.8

Dec 16, 2024

v0.1.7

Dec 15, 2024

Changes in this version

type Expression

+ func ConcretizeExpression(e interface{}) Expression

+ func HStack(eIn ...Expression) Expression

+ func VStack(eIn ...Expression) Expression

+ At func(ii, jj int) ScalarExpression

type K

+ func (c K) At(ii, jj int) ScalarExpression

type KVector

+ func (kv KVector) At(ii, jj int) ScalarExpression

type Monomial

+ func (m Monomial) At(ii, jj int) ScalarExpression

type MonomialVector

+ func (mv MonomialVector) At(ii, jj int) ScalarExpression

type Polynomial

+ func (p Polynomial) At(ii, jj int) ScalarExpression

type PolynomialLike

+ At func(ii, jj int) ScalarExpression

type PolynomialLikeScalar

+ At func(ii, jj int) ScalarExpression

type PolynomialLikeVector

+ At func(ii, jj int) ScalarExpression

type PolynomialVector

+ func (pv PolynomialVector) At(ii, jj int) ScalarExpression

type ScalarExpression

+ At func(ii, jj int) ScalarExpression

type Variable

+ func (v Variable) At(ii, jj int) ScalarExpression

type VariableVector

+ func (vv VariableVector) At(ii, jj int) ScalarExpression

type VectorExpression

+ At func(ii, jj int) ScalarExpression

v0.1.6

Jun 28, 2024

Changes in this version

+ func CheckSubstitutionMap(subMap map[Variable]Expression) error

+ func IsSquare(e MatrixExpression) bool

type Constraint

+ IsLinear func() bool

type Expression

+ func ScalarPowerTemplate(base ScalarExpression, exponent int) Expression

+ func VectorPowerTemplate(base VectorExpression, exponent int) Expression

+ Power func(exponent int) Expression

+ Substitute func(vIn Variable, eIn ScalarExpression) Expression

+ SubstituteAccordingTo func(subMap map[Variable]Expression) Expression

type K

+ func (c K) Power(exponent int) Expression

+ func (c K) Substitute(vIn Variable, eIn ScalarExpression) Expression

+ func (c K) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type KMatrix

+ func (km KMatrix) Power(exponent int) Expression

+ func (km KMatrix) Substitute(vIn Variable, eIn ScalarExpression) Expression

+ func (km KMatrix) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type KVector

+ func (kv KVector) Power(exponent int) Expression

+ func (kv KVector) Substitute(vIn Variable, eIn ScalarExpression) Expression

+ func (kv KVector) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type MatrixExpression

+ func ConcretizeMatrixExpression(sliceIn [][]ScalarExpression) MatrixExpression

+ func MatrixPowerTemplate(me MatrixExpression, exponent int) MatrixExpression

+ func MatrixSubstituteTemplate(me MatrixExpression, vIn Variable, seIn ScalarExpression) MatrixExpression

+ Power func(exponent int) Expression

+ Substitute func(vIn Variable, eIn ScalarExpression) Expression

+ SubstituteAccordingTo func(subMap map[Variable]Expression) Expression

type Monomial

+ func (m Monomial) Power(exponent int) Expression

+ func (m Monomial) Substitute(vIn Variable, eIn ScalarExpression) Expression

+ func (m Monomial) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type MonomialMatrix

+ func (mm MonomialMatrix) Power(exponent int) Expression

+ func (mm MonomialMatrix) Substitute(v Variable, se ScalarExpression) Expression

+ func (mm MonomialMatrix) SubstituteAccordingTo(substitutions map[Variable]Expression) Expression

type MonomialVector

+ func (mv MonomialVector) Power(exponent int) Expression

+ func (mv MonomialVector) Substitute(vIn Variable, seIn ScalarExpression) Expression

+ func (mv MonomialVector) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type Polynomial

+ func (p Polynomial) Power(exponent int) Expression

+ func (p Polynomial) Substitute(vIn Variable, eIn ScalarExpression) Expression

+ func (p Polynomial) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type PolynomialLike

+ Power func(exponent int) Expression

+ Substitute func(vIn Variable, eIn ScalarExpression) Expression

+ SubstituteAccordingTo func(subMap map[Variable]Expression) Expression

type PolynomialLikeMatrix

+ Power func(exponent int) Expression

+ Substitute func(vIn Variable, eIn ScalarExpression) Expression

+ SubstituteAccordingTo func(subMap map[Variable]Expression) Expression

type PolynomialLikeScalar

+ Power func(exponent int) Expression

+ Substitute func(v Variable, se ScalarExpression) Expression

+ SubstituteAccordingTo func(subMap map[Variable]Expression) Expression

type PolynomialLikeVector

+ Power func(exponent int) Expression

+ Substitute func(vIn Variable, eIn ScalarExpression) Expression

+ SubstituteAccordingTo func(subMap map[Variable]Expression) Expression

type PolynomialMatrix

+ func (pm PolynomialMatrix) Power(exponent int) Expression

+ func (pm PolynomialMatrix) Substitute(vIn Variable, eIn ScalarExpression) Expression

+ func (pm PolynomialMatrix) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type PolynomialVector

+ func (pv PolynomialVector) Power(exponent int) Expression

+ func (pv PolynomialVector) Substitute(vIn Variable, eIn ScalarExpression) Expression

+ func (pv PolynomialVector) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type ScalarExpression

+ Power func(exponent int) Expression

+ Substitute func(vIn Variable, seIn ScalarExpression) Expression

+ SubstituteAccordingTo func(subMap map[Variable]Expression) Expression

type Variable

+ func (v Variable) Power(exponent int) Expression

+ func (v Variable) Substitute(vIn Variable, seIn ScalarExpression) Expression

+ func (v Variable) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type VariableMatrix

+ func (vm VariableMatrix) Power(exponent int) Expression

+ func (vm VariableMatrix) Substitute(vIn Variable, eIn ScalarExpression) Expression

+ func (vm VariableMatrix) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type VariableVector

+ func (vv VariableVector) Power(exponent int) Expression

+ func (vv VariableVector) Substitute(vIn Variable, seIn ScalarExpression) Expression

+ func (vv VariableVector) SubstituteAccordingTo(subMap map[Variable]Expression) Expression

type VectorExpression

+ func ConcretizeVectorExpression(sliceIn []ScalarExpression) VectorExpression

+ func VectorSubstituteTemplate(ve VectorExpression, vIn Variable, se ScalarExpression) VectorExpression

+ Power func(exponent int) Expression

+ Substitute func(vIn Variable, eIn ScalarExpression) Expression

+ SubstituteAccordingTo func(subMap map[Variable]Expression) Expression

v0.1.5

Mar 10, 2024

Changes in this version

type Expression

+ func Minus(left, right Expression) Expression

+ Minus func(rightIn interface{}) Expression

type K

+ func (c K) Minus(rightIn interface{}) Expression

type KMatrix

+ func (km KMatrix) Degree() int

+ func (km KMatrix) Minus(e interface{}) Expression

type KVector

+ func (kv KVector) Degree() int

+ func (kv KVector) Minus(e interface{}) Expression

type MatrixConstraint

+ func (mc MatrixConstraint) IsLinear() bool

type MatrixExpression

+ Minus func(rightIn interface{}) Expression

type Monomial

+ func (m Monomial) Minus(e interface{}) Expression

type MonomialMatrix

+ func (mm MonomialMatrix) Degree() int

+ func (mm MonomialMatrix) Minus(e interface{}) Expression

type MonomialVector

+ func (mv MonomialVector) Degree() int

+ func (mv MonomialVector) Minus(term1 interface{}) Expression

type Polynomial

+ func (p Polynomial) Copy() Polynomial

+ func (p Polynomial) Minus(e interface{}) Expression

type PolynomialLike

+ Degree func() int

+ Minus func(rightIn interface{}) Expression

type PolynomialLikeMatrix

+ Degree func() int

+ Minus func(rightIn interface{}) Expression

type PolynomialLikeScalar

+ Minus func(rightIn interface{}) Expression

type PolynomialLikeVector

+ Degree func() int

+ Minus func(rightIn interface{}) Expression

type PolynomialMatrix

+ func (pm PolynomialMatrix) Degree() int

+ func (pm PolynomialMatrix) Minus(e interface{}) Expression

type PolynomialVector

+ func (pv PolynomialVector) Degree() int

+ func (pv PolynomialVector) Minus(e interface{}) Expression

type ScalarExpression

+ Minus func(rightIn interface{}) Expression

type Variable

+ func (v Variable) Minus(rightIn interface{}) Expression

type VariableMatrix

+ func (vm VariableMatrix) Degree() int

+ func (vm VariableMatrix) Minus(e interface{}) Expression

type VariableVector

+ func (vv VariableVector) Degree() int

+ func (vv VariableVector) Minus(rightIn interface{}) Expression

type VectorConstraint

+ func (vc VectorConstraint) IsLinear() bool

type VectorExpression

+ Minus func(rightIn interface{}) Expression

v0.1.4

Feb 28, 2024

Changes in this version

+ func IsLinear(e PolynomialLikeScalar) bool

+ func IsPolynomialLikeMatrix(e interface{}) bool

+ func IsPolynomialLikeScalar(e interface{}) bool

+ func IsPolynomialLikeVector(e interface{}) bool

+ func IsQuadratic(e PolynomialLikeScalar) bool

type K

+ func (c K) Degree() int

type Monomial

+ func (m Monomial) Degree() int

type Polynomial

+ func (p Polynomial) Degree() int

+ type PolynomialLikeMatrix interface

+ At func(i int, j int) ScalarExpression

+ Check func() error

+ Comparison func(rhs interface{}, sense ConstrSense) Constraint

+ Constant func() mat.Dense

+ DerivativeWrt func(vIn Variable) Expression

+ Dims func() []int

+ Eq func(rhs interface{}) Constraint

+ GreaterEq func(rhs interface{}) Constraint

+ LessEq func(rhs interface{}) Constraint

+ Multiply func(e interface{}) Expression

+ Plus func(e interface{}) Expression

+ String func() string

+ Transpose func() Expression

+ Variables func() []Variable

+ func ToPolynomialLikeMatrix(e interface{}) (PolynomialLikeMatrix, error)

+ type PolynomialLikeScalar interface

+ Check func() error

+ Comparison func(rhsIn interface{}, sense ConstrSense) Constraint

+ Constant func() float64

+ Degree func() int

+ DerivativeWrt func(vIn Variable) Expression

+ Dims func() []int

+ Eq func(rhsIn interface{}) Constraint

+ GreaterEq func(rhsIn interface{}) Constraint

+ LessEq func(rhsIn interface{}) Constraint

+ LinearCoeff func(wrt ...[]Variable) mat.VecDense

+ Multiply func(rightIn interface{}) Expression

+ Plus func(rightIn interface{}) Expression

+ String func() string

+ Transpose func() Expression

+ Variables func() []Variable

+ func ToPolynomialLikeScalar(e interface{}) (PolynomialLikeScalar, error)

+ type PolynomialLikeVector interface

+ AtVec func(idx int) ScalarExpression

+ Check func() error

+ Comparison func(rhs interface{}, sense ConstrSense) Constraint

+ Constant func() mat.VecDense

+ DerivativeWrt func(vIn Variable) Expression

+ Dims func() []int

+ Eq func(rhs interface{}) Constraint

+ GreaterEq func(rhs interface{}) Constraint

+ Len func() int

+ LessEq func(rhs interface{}) Constraint

+ Multiply func(e interface{}) Expression

+ Plus func(e interface{}) Expression

+ String func() string

+ Transpose func() Expression

+ Variables func() []Variable

+ func ToPolynomialLikeVector(e interface{}) (PolynomialLikeVector, error)

type Variable

+ func (v Variable) Degree() int

v0.1.3

Feb 24, 2024

Changes in this version

type VariableVector

+ func (vv VariableVector) ToPolynomialVector() PolynomialVector

v0.1.2

Feb 24, 2024

Changes in this version

+ func IsPolynomialLike(e interface{}) bool

type Constraint

+ Check func() error

type Expression

+ func ToPolynomialLike(e interface{}) (Expression, error)

+ type PolynomialLike interface

+ Check func() error

+ Comparison func(rightIn interface{}, sense ConstrSense) Constraint

+ DerivativeWrt func(vIn Variable) Expression

+ Dims func() []int

+ Eq func(rightIn interface{}) Constraint

+ GreaterEq func(rightIn interface{}) Constraint

+ LessEq func(rightIn interface{}) Constraint

+ Multiply func(rightIn interface{}) Expression

+ Plus func(rightIn interface{}) Expression

+ String func() string

+ Transpose func() Expression

+ Variables func() []Variable

type ScalarConstraint

+ func (sc ScalarConstraint) Check() error

type VariableMatrix

+ func NewVariableMatrixClassic(nRows, nCols int, envs ...*Environment) VariableMatrix

v0.1.1

Feb 17, 2024

Changes in this version

type K

+ func (c K) LinearCoeff(wrt ...[]Variable) mat.VecDense

type Monomial

+ func (m Monomial) Copy() Monomial

+ func (m Monomial) LinearCoeff(wrt ...[]Variable) mat.VecDense

type ScalarExpression

+ LinearCoeff func(wrt ...[]Variable) mat.VecDense

type Variable

+ func (v Variable) LinearCoeff(wrt ...[]Variable) mat.VecDense

type VariableMatrix

+ func (vm VariableMatrix) ToMonomialMatrix() MonomialMatrix

+ func (vm VariableMatrix) ToPolynomialMatrix() PolynomialMatrix

v0.1.0

Feb 11, 2024

Changes in this version

+ const Binary

+ const Continuous

+ const Infinity

+ const Integer

+ const One

+ const SenseEqual

+ const SenseGreaterThanEqual

+ const SenseLessThanEqual

+ const Zero

+ var BackgroundEnvironment = Environment

+ func CheckDimensionsInComparison(left, right Expression, senseIn ConstrSense) error

+ func FindInSlice(xIn interface{}, sliceIn interface{}) (int, error)

+ func Identity(dim int) mat.Dense

+ func IsConstraint(c interface{}) bool

+ func IsExpression(e interface{}) bool

+ func IsMatrixExpression(e interface{}) bool

+ func IsScalarExpression(e interface{}) bool

+ func IsVectorExpression(e interface{}) bool

+ func NumVariables(e Expression) int

+ func OnesMatrix(nR, nC int) mat.Dense

+ func OnesVector(lengthIn int) mat.VecDense

+ func Unique(listIn []uint64) []uint64

+ func VariableIDs(e Expression) []uint64

+ func ZerosMatrix(nR, nC int) mat.Dense

+ func ZerosVector(lengthIn int) mat.VecDense

+ type ConstrSense byte

+ func (cs ConstrSense) Check() error

+ func (cs ConstrSense) String() string

+ type Constraint interface

+ ConstrSense func() ConstrSense

+ Left func() Expression

+ Right func() Expression

+ type Environment struct

+ Name string

+ Variables []Variable

+ type Expression interface

+ Check func() error

+ Comparison func(rightIn interface{}, sense ConstrSense) Constraint

+ DerivativeWrt func(vIn Variable) Expression

+ Dims func() []int

+ Eq func(rightIn interface{}) Constraint

+ GreaterEq func(rightIn interface{}) Constraint

+ LessEq func(rightIn interface{}) Constraint

+ Multiply func(rightIn interface{}) Expression

+ Plus func(rightIn interface{}) Expression

+ String func() string

+ Transpose func() Expression

+ Variables func() []Variable

+ func ToExpression(e interface{}) (Expression, error)

+ type K float64

+ func (c K) Check() error

+ func (c K) Comparison(rhsIn interface{}, sense ConstrSense) Constraint

+ func (c K) Constant() float64

+ func (c K) DerivativeWrt(vIn Variable) Expression

+ func (c K) Dims() []int

+ func (c K) Eq(rightIn interface{}) Constraint

+ func (c K) GreaterEq(rightIn interface{}) Constraint

+ func (c K) IsLinear() bool

+ func (c K) LessEq(rightIn interface{}) Constraint

+ func (c K) Multiply(term1 interface{}) Expression

+ func (c K) Plus(rightIn interface{}) Expression

+ func (c K) String() string

+ func (c K) ToMonomial() Monomial

+ func (c K) ToPolynomial() Polynomial

+ func (c K) Transpose() Expression

+ func (c K) Variables() []Variable

+ type KMatrix [][]K

+ func DenseToKMatrix(denseIn mat.Dense) KMatrix

+ func (km KMatrix) At(i, j int) ScalarExpression

+ func (km KMatrix) Check() error

+ func (km KMatrix) Comparison(rightIn interface{}, sense ConstrSense) Constraint

+ func (km KMatrix) Constant() mat.Dense

+ func (km KMatrix) DerivativeWrt(vIn Variable) Expression

+ func (km KMatrix) Dims() []int

+ func (km KMatrix) Eq(rightIn interface{}) Constraint

+ func (km KMatrix) GreaterEq(rightIn interface{}) Constraint

+ func (km KMatrix) LessEq(rightIn interface{}) Constraint

+ func (km KMatrix) Multiply(e interface{}) Expression

+ func (km KMatrix) Plus(e interface{}) Expression

+ func (km KMatrix) String() string

+ func (km KMatrix) ToDense() mat.Dense

+ func (km KMatrix) ToMonomialMatrix() MonomialMatrix

+ func (km KMatrix) ToPolynomialMatrix() PolynomialMatrix

+ func (km KMatrix) Transpose() Expression

+ func (km KMatrix) Variables() []Variable

+ type KVector []K

+ func VecDenseToKVector(v mat.VecDense) KVector

+ func (kv KVector) AtVec(idx int) ScalarExpression

+ func (kv KVector) Check() error

+ func (kv KVector) Comparison(rightIn interface{}, sense ConstrSense) Constraint

+ func (kv KVector) Constant() mat.VecDense

+ func (kv KVector) DerivativeWrt(vIn Variable) Expression

+ func (kv KVector) Dims() []int

+ func (kv KVector) Eq(rightIn interface{}) Constraint

+ func (kv KVector) GreaterEq(rightIn interface{}) Constraint

+ func (kv KVector) Len() int

+ func (kv KVector) LessEq(rightIn interface{}) Constraint

+ func (kv KVector) LinearCoeff() mat.Dense

+ func (kv KVector) Multiply(rightIn interface{}) Expression

+ func (kv KVector) Plus(rightIn interface{}) Expression

+ func (kv KVector) String() string

+ func (kv KVector) ToMonomialVector() MonomialVector

+ func (kv KVector) ToPolynomialVector() PolynomialVector

+ func (kv KVector) ToVecDense() mat.VecDense

+ func (kv KVector) Transpose() Expression

+ func (kv KVector) Variables() []Variable

+ type MatrixConstraint struct

+ LeftHandSide MatrixExpression

+ RightHandSide MatrixExpression

+ Sense ConstrSense

+ func (mc MatrixConstraint) At(ii, jj int) ScalarConstraint

+ func (mc MatrixConstraint) Check() error

+ func (mc MatrixConstraint) ConstrSense() ConstrSense

+ func (mc MatrixConstraint) Dims() []int

+ func (mc MatrixConstraint) Left() Expression

+ func (mc MatrixConstraint) Right() Expression

+ type MatrixExpression interface

+ At func(i int, j int) ScalarExpression

+ Check func() error

+ Comparison func(rhs interface{}, sense ConstrSense) Constraint

+ Constant func() mat.Dense

+ DerivativeWrt func(vIn Variable) Expression

+ Dims func() []int

+ Eq func(rhs interface{}) Constraint

+ GreaterEq func(rhs interface{}) Constraint

+ LessEq func(rhs interface{}) Constraint

+ Multiply func(e interface{}) Expression

+ Plus func(e interface{}) Expression

+ String func() string

+ Transpose func() Expression

+ Variables func() []Variable

+ func ToMatrixExpression(e interface{}) (MatrixExpression, error)

+ type Monomial struct

+ Coefficient float64

+ Exponents []int

+ VariableFactors []Variable

+ func (m Monomial) Check() error

+ func (m Monomial) Comparison(rhsIn interface{}, sense ConstrSense) Constraint

+ func (m Monomial) Constant() float64

+ func (m Monomial) DerivativeWrt(vIn Variable) Expression

+ func (m Monomial) Dims() []int

+ func (m Monomial) Eq(rightIn interface{}) Constraint

+ func (m Monomial) GreaterEq(rightIn interface{}) Constraint

+ func (m Monomial) IsConstant() bool

+ func (m Monomial) IsLinear() bool

+ func (m Monomial) IsVariable(v Variable) bool

+ func (m Monomial) LessEq(rightIn interface{}) Constraint

+ func (m Monomial) MatchesFormOf(mIn Monomial) bool

+ func (m Monomial) Multiply(e interface{}) Expression

+ func (m Monomial) Plus(e interface{}) Expression

+ func (m Monomial) String() string

+ func (m Monomial) ToPolynomial() Polynomial

+ func (m Monomial) Transpose() Expression

+ func (m Monomial) Variables() []Variable

+ type MonomialMatrix [][]Monomial

+ func (mm MonomialMatrix) At(ii, jj int) ScalarExpression

+ func (mm MonomialMatrix) Check() error

+ func (mm MonomialMatrix) Comparison(rightIn interface{}, sense ConstrSense) Constraint

+ func (mm MonomialMatrix) Constant() mat.Dense

+ func (mm MonomialMatrix) DerivativeWrt(vIn Variable) Expression

+ func (mm MonomialMatrix) Dims() []int

+ func (mm MonomialMatrix) Eq(rightIn interface{}) Constraint

+ func (mm MonomialMatrix) GreaterEq(rightIn interface{}) Constraint

+ func (mm MonomialMatrix) LessEq(rightIn interface{}) Constraint

+ func (mm MonomialMatrix) Multiply(e interface{}) Expression

+ func (mm MonomialMatrix) Plus(e interface{}) Expression

+ func (mm MonomialMatrix) String() string

+ func (mm MonomialMatrix) Transpose() Expression

+ func (mm MonomialMatrix) Variables() []Variable

+ type MonomialVector []Monomial

+ func (mv MonomialVector) AtVec(idx int) ScalarExpression

+ func (mv MonomialVector) Check() error

+ func (mv MonomialVector) Comparison(rightIn interface{}, sense ConstrSense) Constraint

+ func (mv MonomialVector) Constant() mat.VecDense

+ func (mv MonomialVector) DerivativeWrt(v Variable) Expression

+ func (mv MonomialVector) Dims() []int

+ func (mv MonomialVector) Eq(rightIn interface{}) Constraint

+ func (mv MonomialVector) GreaterEq(rightIn interface{}) Constraint

+ func (mv MonomialVector) IsConstant() bool

+ func (mv MonomialVector) Len() int

+ func (mv MonomialVector) LessEq(rightIn interface{}) Constraint

+ func (mv MonomialVector) Multiply(term1 interface{}) Expression

+ func (mv MonomialVector) Plus(term1 interface{}) Expression

+ func (mv MonomialVector) String() string

+ func (mv MonomialVector) ToPolynomialVector() PolynomialVector

+ func (mv MonomialVector) Transpose() Expression

+ func (mv MonomialVector) Variables() []Variable

+ type Polynomial struct

+ Monomials []Monomial

+ func (p Polynomial) Check() error

+ func (p Polynomial) Comparison(rightIn interface{}, sense ConstrSense) Constraint

+ func (p Polynomial) Constant() float64

+ func (p Polynomial) ConstantMonomialIndex() int

+ func (p Polynomial) DerivativeWrt(vIn Variable) Expression

+ func (p Polynomial) Dims() []int

+ func (p Polynomial) Eq(rightIn interface{}) Constraint

+ func (p Polynomial) GreaterEq(rightIn interface{}) Constraint

+ func (p Polynomial) IsConstant() bool

+ func (p Polynomial) IsLinear() bool

+ func (p Polynomial) LessEq(rightIn interface{}) Constraint

+ func (p Polynomial) LinearCoeff(vSlices ...[]Variable) mat.VecDense

+ func (p Polynomial) MonomialIndex(mIn Monomial) int

+ func (p Polynomial) Multiply(e interface{}) Expression

+ func (p Polynomial) Plus(e interface{}) Expression

+ func (p Polynomial) Simplify() Polynomial

+ func (p Polynomial) String() string

+ func (p Polynomial) Transpose() Expression

+ func (p Polynomial) VariableMonomialIndex(vIn Variable) int

+ func (p Polynomial) Variables() []Variable

+ type PolynomialMatrix [][]Polynomial

+ func (pm PolynomialMatrix) At(ii int, jj int) ScalarExpression

+ func (pm PolynomialMatrix) Check() error

+ func (pm PolynomialMatrix) Comparison(e interface{}, sense ConstrSense) Constraint

+ func (pm PolynomialMatrix) Constant() mat.Dense

+ func (pm PolynomialMatrix) DerivativeWrt(vIn Variable) Expression

+ func (pm PolynomialMatrix) Dims() []int

+ func (pm PolynomialMatrix) Eq(e interface{}) Constraint

+ func (pm PolynomialMatrix) GreaterEq(e interface{}) Constraint

+ func (pm PolynomialMatrix) LessEq(e interface{}) Constraint

+ func (pm PolynomialMatrix) Multiply(e interface{}) Expression

+ func (pm PolynomialMatrix) Plus(e interface{}) Expression

+ func (pm PolynomialMatrix) Simplify() PolynomialMatrix

+ func (pm PolynomialMatrix) String() string

+ func (pm PolynomialMatrix) Transpose() Expression

+ func (pm PolynomialMatrix) Variables() []Variable

+ type PolynomialVector []Polynomial

+ func (pv PolynomialVector) AtVec(idx int) ScalarExpression

+ func (pv PolynomialVector) Check() error

+ func (pv PolynomialVector) Comparison(e interface{}, senseIn ConstrSense) Constraint

+ func (pv PolynomialVector) Constant() mat.VecDense

+ func (pv PolynomialVector) DerivativeWrt(vIn Variable) Expression

+ func (pv PolynomialVector) Dims() []int

+ func (pv PolynomialVector) Eq(e interface{}) Constraint

+ func (pv PolynomialVector) GreaterEq(e interface{}) Constraint

+ func (pv PolynomialVector) IsConstantVector() bool

+ func (pv PolynomialVector) Len() int

+ func (pv PolynomialVector) Length() int

+ func (pv PolynomialVector) LessEq(e interface{}) Constraint

+ func (pv PolynomialVector) LinearCoeff(vSlices ...[]Variable) mat.Dense

+ func (pv PolynomialVector) Multiply(rightIn interface{}) Expression

+ func (pv PolynomialVector) Plus(e interface{}) Expression

+ func (pv PolynomialVector) Simplify() PolynomialVector

+ func (pv PolynomialVector) String() string

+ func (pv PolynomialVector) Transpose() Expression

+ func (pv PolynomialVector) Variables() []Variable

+ type ScalarConstraint struct

+ LeftHandSide ScalarExpression

+ RightHandSide ScalarExpression

+ Sense ConstrSense

+ func (sc ScalarConstraint) ConstrSense() ConstrSense

+ func (sc ScalarConstraint) IsLinear() bool

+ func (sc ScalarConstraint) Left() Expression

+ func (sc ScalarConstraint) Right() Expression

+ func (sc ScalarConstraint) Simplify() (ScalarConstraint, error)

+ type ScalarExpression interface

+ Check func() error

+ Comparison func(rhsIn interface{}, sense ConstrSense) Constraint

+ Constant func() float64

+ DerivativeWrt func(vIn Variable) Expression

+ Dims func() []int

+ Eq func(rhsIn interface{}) Constraint

+ GreaterEq func(rhsIn interface{}) Constraint

+ IsLinear func() bool

+ LessEq func(rhsIn interface{}) Constraint

+ Multiply func(rightIn interface{}) Expression

+ Plus func(rightIn interface{}) Expression

+ String func() string

+ Transpose func() Expression

+ Variables func() []Variable

+ func ToScalarExpression(e interface{}) (ScalarExpression, error)

+ type VarType byte

+ type Variable struct

+ ID uint64

+ Lower float64

+ Name string

+ Type VarType

+ Upper float64

+ func NewBinaryVariable(envs ...Environment) Variable

+ func NewContinuousVariable(envs ...*Environment) Variable

+ func NewVariable(envs ...*Environment) Variable

+ func UniqueVars(varsIn []Variable) []Variable

+ func (v Variable) Check() error

+ func (v Variable) Coeffs() []float64

+ func (v Variable) Comparison(rhsIn interface{}, sense ConstrSense) Constraint

+ func (v Variable) Constant() float64

+ func (v Variable) DerivativeWrt(vIn Variable) Expression

+ func (v Variable) Dims() []int

+ func (v Variable) Eq(rhsIn interface{}) Constraint

+ func (v Variable) GreaterEq(rhsIn interface{}) Constraint

+ func (v Variable) IsLinear() bool

+ func (v Variable) LessEq(rhsIn interface{}) Constraint

+ func (v Variable) Multiply(rightIn interface{}) Expression

+ func (v Variable) Plus(rightIn interface{}) Expression

+ func (v Variable) String() string

+ func (v Variable) ToMonomial() Monomial

+ func (v Variable) ToPolynomial() Polynomial

+ func (v Variable) Transpose() Expression

+ func (v Variable) Variables() []Variable

+ type VariableMatrix [][]Variable

+ func NewVariableMatrix(nRows, nCols int) VariableMatrix

+ func (vm VariableMatrix) At(ii, jj int) ScalarExpression

+ func (vm VariableMatrix) Check() error

+ func (vm VariableMatrix) Comparison(rightIn interface{}, sense ConstrSense) Constraint

+ func (vm VariableMatrix) Constant() mat.Dense

+ func (vm VariableMatrix) DerivativeWrt(v Variable) Expression

+ func (vm VariableMatrix) Dims() []int

+ func (vm VariableMatrix) Eq(rightIn interface{}) Constraint

+ func (vm VariableMatrix) GreaterEq(rightIn interface{}) Constraint

+ func (vm VariableMatrix) LessEq(rightIn interface{}) Constraint

+ func (vm VariableMatrix) Multiply(e interface{}) Expression

+ func (vm VariableMatrix) Plus(e interface{}) Expression

+ func (vm VariableMatrix) String() string

+ func (vm VariableMatrix) Transpose() Expression

+ func (vm VariableMatrix) Variables() []Variable

+ type VariableVector []Variable

+ func NewVariableVector(N int, envs ...*Environment) VariableVector

+ func (vv VariableVector) AtVec(idx int) ScalarExpression

+ func (vv VariableVector) Check() error

+ func (vv VariableVector) Comparison(rightIn interface{}, sense ConstrSense) Constraint

+ func (vv VariableVector) Constant() mat.VecDense

+ func (vv VariableVector) Copy() VariableVector

+ func (vv VariableVector) DerivativeWrt(vIn Variable) Expression

+ func (vv VariableVector) Dims() []int

+ func (vv VariableVector) Eq(rightIn interface{}) Constraint

+ func (vv VariableVector) GreaterEq(rightIn interface{}) Constraint

+ func (vv VariableVector) Len() int

+ func (vv VariableVector) Length() int

+ func (vv VariableVector) LessEq(rightIn interface{}) Constraint

+ func (vv VariableVector) LinearCoeff() mat.Dense

+ func (vv VariableVector) Multiply(rightIn interface{}) Expression

+ func (vv VariableVector) Plus(rightIn interface{}) Expression

+ func (vv VariableVector) String() string

+ func (vv VariableVector) ToMonomialVector() MonomialVector

+ func (vv VariableVector) Transpose() Expression

+ func (vv VariableVector) Variables() []Variable

+ type VectorConstraint struct

+ LeftHandSide VectorExpression

+ RightHandSide VectorExpression

+ Sense ConstrSense

+ func (vc VectorConstraint) AtVec(i int) ScalarConstraint

+ func (vc VectorConstraint) Check() error

+ func (vc VectorConstraint) ConstrSense() ConstrSense

+ func (vc VectorConstraint) Dims() []int

+ func (vc VectorConstraint) Left() Expression

+ func (vc VectorConstraint) Right() Expression

+ type VectorExpression interface

+ AtVec func(idx int) ScalarExpression

+ Check func() error

+ Comparison func(rhs interface{}, sense ConstrSense) Constraint

+ Constant func() mat.VecDense

+ DerivativeWrt func(vIn Variable) Expression

+ Dims func() []int

+ Eq func(rhs interface{}) Constraint

+ GreaterEq func(rhs interface{}) Constraint

+ Len func() int

+ LessEq func(rhs interface{}) Constraint

+ Multiply func(e interface{}) Expression

+ Plus func(e interface{}) Expression

+ String func() string

+ Transpose func() Expression

+ Variables func() []Variable

+ func ToVectorExpression(e interface{}) (VectorExpression, error)

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL