Wolfram/DiagrammaticComputation

Wolfram`DiagrammaticComputation`

DiagramReplaceList

	DiagramReplaceList [d,srctgt] returns a list of every possible single rewrite of d replacing a match of the diagram src with tgt .
	DiagramReplaceList [d,rule,n] returns at most n rewrites.
	DiagramReplaceList [d,{ rule 1 , rule 2 ,…}] enumerates rewrites for each of the given rules.

Details and Options

▪

Matching is performed on the hypergraph view of

d

, so each list entry corresponds to one match site of

src

in

d

.

▪

Formal symbols (or patterns) in the rule's ports are bound by the match, so a single rule can rewrite differently-wired occurrences of the same subdiagram.

▪

The following options can be given:

Option	Default	Description
"Return"	Automatic	return "Rule" , "Hypergraph" or "Matches" to inspect intermediate stages
"IgnoreArity"	True	match subdiagrams regardless of unconnected ports