Wolfram Language Paclet Repository (Under Development)
Community-contributed installable additions to the Wolfram Language
Code Equivalence Utilities
Equivalence for Wolfram Language code can be defined in many ways. The methods used by CodeEquivalenceUtilities attempt to determine intensional equivalence by transforming expressions into a canonical representation.
Equivalence Testing
— test if two unevaluated expressions are equivalent
— get additional information about the equivalence test performed by
Code Transformation
— convert an expression into a canonical representation for direct comparison
— convert to canonical form without evaluating the input
— convert a canonical representation back into a normal evaluatable expression
 |
|
|
""