From 8ba628a1b8610d29de28663c64cd0bd69a7a0418 Mon Sep 17 00:00:00 2001
From: qwang <Quanlong.Wang@cs.ox.ac.uk>
Date: Fri, 15 Feb 2019 12:17:47 +0000
Subject: [PATCH] correct a mis-citation of T2.1
---
NEWPROPOSAL/FULLPROP.tex | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index ff18427..e4af392 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -670,7 +670,8 @@ The goal is two-fold: to facilitate code-generation for a given machine from a \
A key research challenge of this first research avenue in \ref{wp:backends} consists in the management of the classical computation and classical information within quantum algorithms.
What computation should occur at the interface between an HLL and the \dzxc system, and which classical parameters are passed on to the \zx terms? Task~\ref{task:betterboxes} focuses on the question of tests based on measurement results: how should they be integrated within the \dzxc system?
-While it will already be quite useful to study concrete diagrams of fixed size (e.g.,~a~quantum circuit on $N$ qubits for a previously-fixed $N$) in the early stages of the project, Task \ref{task:axioms} will extend the \dzxc system to support parametrised families of diagrams (e.g.,~quantum circuits with $N$ qubits where $N$ can vary) mirroring the control structures present in a quantum HLL.
+While it will already be quite useful to study concrete diagrams of fixed size (e.g.,~a~quantum circuit on $N$ qubits for a previously-fixed $N$) in the early stages of the project, \newt{Task \ref{task:betterboxes} } %\ref{task:axioms}
+will extend the \dzxc system to support parametrised families of diagrams (e.g.,~quantum circuits with $N$ qubits where $N$ can vary) mirroring the control structures present in a quantum HLL.
This will enable more sophisticated, generic optimisations to be run in advance of needing any particular computational procedure.
The test suite designed in in~\ref{task:testBench} will be used to compare and choose amongst the possible solutions.
--
GitLab