From e7e2b75e96d9cd900c00dca0e5f531ac642444dc Mon Sep 17 00:00:00 2001 From: Jaron Kent-Dobias Date: Tue, 4 Dec 2018 14:53:56 -0500 Subject: added two new proof responses --- proof_response_3.txt | 7 +++++++ proof_response_4.txt | 1 + 2 files changed, 8 insertions(+) create mode 100644 proof_response_3.txt create mode 100644 proof_response_4.txt diff --git a/proof_response_3.txt b/proof_response_3.txt new file mode 100644 index 0000000..1b77fdd --- /dev/null +++ b/proof_response_3.txt @@ -0,0 +1,7 @@ + +Table I requires one more correction. In the third column header, "Action (gs)" should be replaced with "Action (g ★ s)". + +Algorithm 1 is typeset correctly. + +In the righthand side of the first line in equation (9), "(rs_0)^{-1} (r ★ s)" should be replaced with "(rs_0)^{-1} ★ (r ★ s)". + diff --git a/proof_response_4.txt b/proof_response_4.txt new file mode 100644 index 0000000..2f20e17 --- /dev/null +++ b/proof_response_4.txt @@ -0,0 +1 @@ +For the second row, third column, "M ★ s -> M ★ s" should be replaced with "M ★ s -> Ms". -- cgit v1.2.3-70-g09d2