Revision history of "File:CCZeq.txt"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 16:39, 4 October 2019Ivi062 (talk | contribs)m . . (417 bytes) (-1). . (Summary)
  • (cur | prev) 16:39, 4 October 2019Ivi062 (talk | contribs). . (418 bytes) (+418). . (Given two functions in univariate form, returns true if they are CCZ-equivalent and false otherwise. To do so, it checks the equivalence of the codes generated by the two functions. <b>Due to the amount of memory required to compute the equivalence...)