Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

CodeEquivalenceUtilities

Guides

  • Code Equivalence Utilities

Tech Notes

  • Adding New Transformation Rules

Symbols

  • CodeEquivalentQ
  • EquivalenceTestData
  • FromCanonicalForm
  • MakeCanonicalForm
  • ToCanonicalForm
  • TransformHold
  • TransformRelease
  • $AllowedEvaluationPatterns
Wolfram`CodeEquivalenceUtilities`
CodeEquivalentQ
​
CodeEquivalentQ
[
expr
1
,
expr
2
]
yields
True
if
expr
1
and
expr
2
are equivalent computations and yields
False
otherwise.
​
Details and Options

Examples  
(4)
Basic Examples  
(2)
Check if two expressions are equivalent:
In[1]:=
CodeEquivalentQ
[RandomInteger/@Range[5],Array[RandomInteger,5]]
Out[1]=
True
​
Equivalence testing does not need to rely on evaluation:
In[1]:=
CodeEquivalentQ
[​​Pause[31536000000];Table[Range/@Range[i],{i,2^100}],​​Pause[31536000000];Table[Array[Range,j],{j,1,2^100}]​​]
Out[1]=
True
In[2]:=
CodeEquivalentQ
[​​Pause[31536000000];Table[Range/@Range[i],{i,2^100}],​​Pause[31536000000];Table[Array[Range,j],{j,1,2^100+1}]​​]
Out[2]=
False
Properties & Relations  
(1)

Possible Issues  
(1)

SeeAlso
ToCanonicalForm
 
▪
MakeCanonicalForm
 
▪
EquivalenceTestData
 
▪
$AllowedEvaluationPatterns
RelatedGuides
▪
Code Equivalence Utilities
""

© 2025 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com