bug report: missing matches for rules w/ bang boxes
0 views
Skip to first unread message
Ross Duncan
Sep 22, 2016, 7:27:10 AM9/22/16
to quant...@googlegroups.com
Hi Quanto team:
Matching a rule with bang boxes does not find all the correct matches.
To reproduce:
1. Start with a fresh zx-project-1.1 from the website.
2. Open the graph “sample.qgraph”
3. Open and compile the simproc “rotate_simp.ML”
4. Start a new derivation and hit the graph with rotate. The resulting graph is attached.
5. Add the axiom “gen_bialg” to the rewrite list — it won’t find the all the rewrites.
By my reading of the rule, there should be a match by instantiating bx0 and bx2 twice, and bx1 and bx3 once, to produce the classic bialgebra equation but this is not found. Nothing of note in the console.
Also, the rule gen_bialg seems to be wrong: the LHS matches the empty graph.
-r
Matching a rule with bang boxes does not find all the correct matches.
To reproduce:
1. Start with a fresh zx-project-1.1 from the website.
2. Open the graph “sample.qgraph”
3. Open and compile the simproc “rotate_simp.ML”
4. Start a new derivation and hit the graph with rotate. The resulting graph is attached.
5. Add the axiom “gen_bialg” to the rewrite list — it won’t find the all the rewrites.
By my reading of the rule, there should be a match by instantiating bx0 and bx2 twice, and bx1 and bx3 once, to produce the classic bialgebra equation but this is not found. Nothing of note in the console.
Also, the rule gen_bialg seems to be wrong: the LHS matches the empty graph.
-r
Reply all
Reply to author
Forward
0 new messages