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
Wolfram`CodeEquivalenceUtilities`
EquivalenceTestData
​
EquivalenceTestData
[
expr
1
,
expr
2
]
tests
expr
1
and
expr
2
for code equivalence and gives an association containing information about how results were obtained.
​
Examples  
(2)
Basic Examples  
(1)
Use
CodeEquivalentQ
to check if two expressions are equivalent:
In[1]:=
CodeEquivalentQ
[RandomInteger/@Range[5],Array[RandomInteger,5]]
Out[1]=
True
Get additional information about the equivalence test:
In[2]:=
EquivalenceTestData
[RandomInteger/@Range[5],Array[RandomInteger,5]]
Out[2]=
TimingSameQ0.×
-8
10
,ToCanonicalForm11.2479961,ToCanonicalForm22.0669749,SameQFalse,CanonicalForms1HoldCompleteTable
ℛ
DiscreteUniformDistribution0,
S1∷
,
S1∷
,1,5,1,2HoldCompleteTable
ℛ
DiscreteUniformDistribution0,
S1∷
,
S1∷
,1,5,1,CanonicalEquivalentQTrue,EquivalentQTrue
Properties & Relations  
(1)

SeeAlso
CodeEquivalentQ
 
▪
ToCanonicalForm
 
▪
MakeCanonicalForm
""

Powered by the Wolfram Cloud More about Wolfram Technology

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