_EqualityCheck

it.grypho.scala.leonardo.equation._EqualityCheck

An explicit equality test: lhs == rhs.

Always reduces to _Bool when both sides are concrete, using the same tolerance as _Equation (|a - b| <= 0.5 * 10^(-env.precision)).

Unlike _Equation it is:

NOT solvable: _Solve.eval requires an _Equation, so solve(a == b, x) stays symbolic. Use = to build a solvable relation.
Still _ElementWise: simplify/expand/derive distribute over both sides, mirroring the _Equation treatment.

toString is "lhs == rhs", which round-trips through the parser.

Value parameters

Graph
Supertypes: trait Serializable

trait Product

trait Equals

trait _ElementWise

trait _Expression

class Object

trait Matchable

class Any
Show all

Sub-expressions subject to recursive structural traversal. Binder positions (e.g. the differentiation variable) are excluded.

Reduces this expression in the given environment.

Returns: Right(v) when all free variables resolved to concrete values; Left(e) when reduction is partial or impossible
Definition Classes: _Expression

Reconstructs the same node shape with replacement sub-expressions.

Returns a string representation of the object.

The default representation is platform dependent.

Cached set of free variable names; O(1) after the first access.

In this article

Generated with