Wolfram/CodeEquivalenceUtilities

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

RelatedGuides

▪

Code Equivalence Utilities

""