Code

Implement hash consing for Sym#658

Code

Merged

ChrisRackauckas merged 20 commits intomasterJuliaSymbolics/SymbolicUtils.jl:masterfrom hash-consingJuliaSymbolics/SymbolicUtils.jl:hash-consingCopy head branch name to clipboardNov 7, 2024

+123-11

Commits

Commits on Oct 14, 2024

• Add WeakValueDicts

  bowenszhu

  committed
  d50294b

  Copy full SHA for d50294b

Commits on Oct 16, 2024

• Import WeakValueDict

  bowenszhu

  committed
  7a3d8ba

  Copy full SHA for 7a3d8ba

• Construct SymbolicUtils internal WeakValueDict

  bowenszhu

  committed
  e9e702b

  Copy full SHA for e9e702b

• Change BasicSymbolic types to mutable due to Julia finalizer

  Show description for 62403b9
  bowenszhu

  committed
  62403b9

  Copy full SHA for 62403b9

• Define hash extension function for incorporating symtype

  bowenszhu

  committed
  7e93ca4

  Copy full SHA for 7e93ca4

• Hash consing for Sym

  bowenszhu

  committed
  9be3d03

  Copy full SHA for 9be3d03

Commits on Oct 17, 2024

• Merge remote-tracking branch 'origin/master' into hash-consing

  bowenszhu

  committed
  93c2837

  Copy full SHA for 93c2837

Commits on Oct 18, 2024

• Test hash consing for Sym with different symtypes

  bowenszhu

  committed
  f1a9a93

  Copy full SHA for f1a9a93

Commits on Oct 25, 2024

• Feat: Incorporate metadata into BasicSymbolic hash computation

  bowenszhu

  committed
  70de918

  Copy full SHA for 70de918

• Apply hash consing also when there is metadata

  bowenszhu

  committed
  2dac2a3

  Copy full SHA for 2dac2a3

• Create flyweight factory for BasicSymbolic

  bowenszhu

  committed
  c2d85c3

  Copy full SHA for c2d85c3

Commits on Nov 5, 2024

• Add isequal2 function for checking metadata comparison

  bowenszhu

  committed
  8957290

  Copy full SHA for 8957290

• Handle hash collision with customized isequal2

  bowenszhu

  committed
  2779856

  Copy full SHA for 2779856

• Call outer constructor for Sym in ConstructionBase.setproperties

  bowenszhu

  committed
  d36198f

  Copy full SHA for d36198f

• Test hash consing for Sym with metadata

  bowenszhu

  committed
  cf937b0

  Copy full SHA for cf937b0

• Add docstring for the flyweight factory function

  bowenszhu

  committed
  765293a

  Copy full SHA for 765293a

• Add docstring for hash2

  bowenszhu

  committed
  84a0596

  Copy full SHA for 84a0596

• Add comment explaining why calling outer constructor in setproperties

  bowenszhu

  committed
  187ce45

  Copy full SHA for 187ce45

Commits on Nov 6, 2024

• Refactor: Make wvd a constant global

  bowenszhu

  committed
  55ca2ec

  Copy full SHA for 55ca2ec

Commits on Nov 7, 2024

• Rename the isequal2 function to isequal_with_metadata for clarity.

  bowenszhu

  committed
  13b642b

  Copy full SHA for 13b642b