search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
152 stars 22 forks source link

"built-in" simprocs should become part of the simproc API, and not as a separate tab #183

Closed hmillerbakewell closed 6 years ago

hmillerbakewell commented 6 years ago

ANNEAL has been added. We'll add the others back in as and when they are needed.

e.g.

from quanto.util.Scripting import *

simps = load_rules([
  "axioms/red_copy", "axioms/red_sp", "axioms/green_sp", "axioms/hopf",
  "axioms/red_scalar", "axioms/green_scalar", "axioms/green_id",
  "axioms/red_id", "axioms/red_loop", "axioms/green_loop"])

register_simproc("anneal", ANNEAL(simps, 50, 3.0))