trait ExpressionEquationSolver extends AnyRef
Solve equations based on expressions (approximately), and compute various related quantities The actual solving is done after translating the equations to ones based on indices, for the sake of efficiency. Other methods let one construct new expression-equation-solvers, including by export.
- Self Type
- ExpressionEquationSolver
Linear Supertypes
Known Subclasses
Type Hierarchy
Ordering
- Alphabetic
- By Inheritance
Inherited
- ExpressionEquationSolver
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- case class FixedExpressionProbs(p: Map[Expression, Double]) extends Product with Serializable
Abstract Value Members
- abstract val coeffsAsVars: Boolean
- abstract val coeffval: (Coeff[_]) => Option[Double]
- abstract val decay: Double
- abstract val equations: Set[Equation]
- abstract val exponent: Double
- abstract val finalTyps: FiniteDistribution[Typ[Term]]
- abstract val init: Map[Expression, Double]
- abstract val maxRatio: Double
- abstract val maxTime: Option[Long]
- abstract val previousMap: Option[Map[Expression, Double]]
- abstract val resolution: Double
- abstract val scale: Double
- abstract val smoothing: Option[Double]
- abstract val varWeight: Double
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from ExpressionEquationSolver toany2stringadd[ExpressionEquationSolver] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (ExpressionEquationSolver, B)
- Implicit
- This member is added by an implicit conversion from ExpressionEquationSolver toArrowAssoc[ExpressionEquationSolver] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- lazy val Final: FixedExpressionProbs
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- lazy val atoms: Set[Expression]
the atomic expressions in the equations
- def avgInit(that: ExpressionEquationSolver): ExpressionEquationSolver
new expression-equation-solver with initial distribution averaged with the current one
new expression-equation-solver with initial distribution averaged with the current one
- that
the other initial distribution
- returns
averaged expression eval
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- lazy val coefficients: Vector[Coeff[_]]
- implicit lazy val dim: JetDim
- def ensuring(cond: (ExpressionEquationSolver) => Boolean, msg: => Any): ExpressionEquationSolver
- Implicit
- This member is added by an implicit conversion from ExpressionEquationSolver toEnsuring[ExpressionEquationSolver] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (ExpressionEquationSolver) => Boolean): ExpressionEquationSolver
- Implicit
- This member is added by an implicit conversion from ExpressionEquationSolver toEnsuring[ExpressionEquationSolver] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): ExpressionEquationSolver
- Implicit
- This member is added by an implicit conversion from ExpressionEquationSolver toEnsuring[ExpressionEquationSolver] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): ExpressionEquationSolver
- Implicit
- This member is added by an implicit conversion from ExpressionEquationSolver toEnsuring[ExpressionEquationSolver] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def entropy(hW: Double = 1, klW: Double = 1): Expression
Expression for composite entropy.
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- lazy val eqnExpressions: Vector[Expression]
Expressions for equations.
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def expressionGroup(exp: Expression): Option[Set[Expression]]
- lazy val finalDist: Map[Expression, Double]
The final distributions, obtained from the initial one by finding an almost solution.
- lazy val finalTermEntropy: Expression
- lazy val finalTermMap: Map[Term, Expression]
- lazy val finalTermSet: Set[Term]
Terms in the final (i.e.
Terms in the final (i.e. evolved) distribution * May have extra terms that evaluate to zero
- lazy val finalTermSetSum: Sum
- def finalTermState(vars: Vector[Term] = Vector(), inds: FiniteDistribution[ExstInducDefn] = FD.empty[induction.ExstInducDefn], goals: FiniteDistribution[Typ[Term]] = FD.empty, context: Context = Context.Empty): TermState
final term state
- lazy val finalTerms: FiniteDistribution[Term]
final distribution on terms
- lazy val finalTypEntropy: Expression
- lazy val finalTypMap: Map[Term, Expression]
- lazy val finalTypSet: Set[Typ[Term]]
Typs in the final (i.e.
Typs in the final (i.e. evolved) distribution May have extra types that evaluate to zero
- lazy val finalVarGroups: Map[(RandomVar[_], Vector[_]), Set[Expression]]
- def fixTypes: ExpressionEquationSolver
undoing generation of types by freezing them
- def flattenedEntropy(pow: Double, hW: Double = 1, klW: Double = 1): Expression
- def flattenedKLExp(pow: Double): Expression
- def flattenedOptimumTask(pow: Double, hW: Double = 1, klW: Double = 1, cutoff: Double, p: Map[Expression, Double] = finalDist, maxRatio: Double = 1.01): Task[Map[Expression, Double]]
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from ExpressionEquationSolver toStringFormat[ExpressionEquationSolver] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
- lazy val funcTotal: Expression
- lazy val genTerms: Map[Term, Expression]
Terms of the generating distribution
- def generateTyps: ExpressionEquationSolver
copy with types generated from equations
- def generatorIterant(hW: Double = 1, klW: Double = 1, cutoff: Double, p: Map[Expression, Double] = finalDist): Iterant[Task, FiniteDistribution[Term]]
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def gradShift(p: Map[Expression, Double], t: Vector[Double], eps: Double = scale): Map[Expression, Double]
Shift downwards by the gradient, mapped by sigmoids.
- lazy val hExp: Expression
Expression for entropy of the generating distribution
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def indepEquations(variable: Term): Set[Equation]
equations not depending on a variable, to be used with boats
- lazy val indexEquationSolver: IndexEquationSolver
the solver that does the actual solving
the solver that does the actual solving
- returns
indexed-equation-solver with the correct parameters
- lazy val initTerms: Vector[Term]
Terms in the initial distributions, used to calculate total weights of functions etc
- lazy val initTermsSum: Sum
- lazy val initVarGroups: Map[(RandomVar[_], Vector[_]), Set[Expression]]
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isleVar(el: Elem[_]): Boolean
identifying an isle variable by having an initial value, but one that is not part of the initial distribution
identifying an isle variable by having an initial value, but one that is not part of the initial distribution
- el
the element to decide
- returns
whether the element is an isle-var
- def iterant(hW: Double = 1, klW: Double = 1, p: Map[Expression, Double] = finalDist): Iterant[Task, Map[Expression, Double]]
- def iterator(hW: Double = 1, klW: Double = 1, p: Map[Expression, Double] = finalDist): Iterator[Map[Expression, Double]]
- implicit lazy val jetField: Field[Jet[Double]]
- lazy val keys: Vector[Expression]
- lazy val klExp: Expression
Expression for Kullback-Liebler divergence of proofs from statements of theorems.
- def lambdaExportEquations(variable: Term): Set[Equation]
- def modify(initNew: Map[Expression, Double] = self.init, finalTypsNew: => FiniteDistribution[Typ[Term]] = self.finalTyps, equationsNew: Set[Equation] = self.equations, coeffvalNew: (Coeff[_]) => Option[Double] = self.coeffval, varWeightNew: Double = self.varWeight, coeffsAsVarsNew: Boolean = self.coeffsAsVars, maxRatioNew: Double = self.maxRatio, resolutionNew: Double = self.resolution, scaleNew: Double = self.scale, smoothNew: Option[Double] = self.smoothing, exponentNew: Double = self.exponent, decayNew: Double = self.decay, maxTimeNew: Option[Long] = self.maxTime): ExpressionEquationSolver
modified copy
- val mvs: VectorSpace[Map[Expression, Double], Double]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def normalizedMap(p: Map[Expression, Double]): Map[Expression, Double]
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def optimum(hW: Double = 1, klW: Double = 1, cutoff: Double, p: Map[Expression, Double] = finalDist, maxRatio: Double = 1.01): Map[Expression, Double]
Optimal value, more precisely stable under gradient flow.
Optimal value, more precisely stable under gradient flow.
- hW
entropy weight
- klW
Kullback-Liebler weight
- p
Initial distribution
- def optimumTask(hW: Double = 1, klW: Double = 1, cutoff: Double, p: Map[Expression, Double] = finalDist, maxRatio: Double = 1.01): Task[Map[Expression, Double]]
- def piExportEquations(variable: Term): Set[Equation]
- def piTermExportEquations(variable: Term): Set[Equation]
- def proofExpression(typ: Typ[Term]): Expression
- def relVariable(x: Term): ExpressionEquationSolver
- def resolveOpt(exp: Expression): Option[Expression]
- def rhs(exp: Expression): Expression
- def stableGradShift(p: Map[Expression, Double], t: Vector[Double], eps: Double = scale): Map[Expression, Double]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- lazy val thmProbsByStatement: Map[Typ[Term], Double]
- lazy val thmSet: Set[Typ[Term]]
- lazy val thmsByProof: Map[Typ[Term], Expression]
- lazy val thmsByStatement: Map[Typ[Term], Expression]
- def toString(): String
- Definition Classes
- AnyRef → Any
- lazy val typFamilyTotal: Expression
- def unitJet(p: Map[Expression, Double], exp: Expression): Jet[Double]
- lazy val unknownsExp: Option[Expression]
- lazy val unknownsValue: Option[Double]
- lazy val valueVars: Vector[Expression]
Vector of all variables.
Vector of all variables. This is frozen so that their indices can be used.
- lazy val variableIndex: Map[Expression, Int]
- lazy val vars: Vector[Expression]
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
- def →[B](y: B): (ExpressionEquationSolver, B)
- Implicit
- This member is added by an implicit conversion from ExpressionEquationSolver toArrowAssoc[ExpressionEquationSolver] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.