Wolfram Language Paclet Repository (Under Development)

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • External Interfaces & Connections
    • Geographic Data & Computation
    • Graphs & Networks
    • Images
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Sound & Video
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
    • Using Paclets
    • Creating Paclets
    • New Definition Notebook
    • Random Paclet
    • Alphabetical List

CodeEquivalenceUtilities

Guides

  • CodeEquivalenceUtilities

Symbols

  • CodeEquivalentQ
  • EquivalenceTestData
  • FromCanonicalForm
  • MakeCanonicalForm
  • ToCanonicalForm

Tutorials

  • AddingNewTransformationRules
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
CodeEquivalentQ
— test if two unevaluated expressions are equivalent
EquivalenceTestData
— get additional information about the equivalence test performed by
CodeEquivalentQ
Code Transformation
ToCanonicalForm
— convert an expression into a canonical representation for direct comparison
MakeCanonicalForm
— convert to canonical form without evaluating the input
FromCanonicalForm
— convert a canonical representation back into a normal evaluatable expression
Tutorials
▪
Adding New Transformation Rules
RelatedLinks
▪
nLab - Equality
""

Powered by the Wolfram Cloud More about Wolfram Technology

© 2022 Wolfram Research, Inc. All rights reserved. Terms of Use Privacy Contact Us