MathematicalEq

com.phasmidsoftware.number.expression.expr.MathematicalEq
See theMathematicalEq companion object
trait MathematicalEq[A]

Typeclass for mathematical equality that considers expressions equal if they simplify to structurally equivalent forms.

This is distinct from structural equality (Eq) which only considers the syntactic structure of expressions.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def eqv(x: A, y: A): Boolean

Test if two values are mathematically equal. For expressions, this typically involves simplification before comparison.

Test if two values are mathematically equal. For expressions, this typically involves simplification before comparison.

Attributes

Concrete methods

def ≡(x: A, y: A): Boolean

Symbolic operator for mathematical equality.

Symbolic operator for mathematical equality.

Attributes