From 374141bfd84c4eaa856e14acff2c1884c051ddfe Mon Sep 17 00:00:00 2001
From: rriyakumar <47288819+rriyakumar@users.noreply.github.com>
Date: Tue, 19 Apr 2022 14:28:50 -0400
Subject: [PATCH] Proving PTR-BCR-4

Added in the code for PTR-BCR-4 (on. page 23, equation 72). The following code is added:
b = dec2bin(2^5-1:-1:0)-'0';
b1=b(:,1);b2=b(:,2);b3=b(:,3);b4=b(:,4);ba1=b(:,5);
LHS = min(reshape (b1.*b2.*b3.*b4,2,[]));
RHS = min(reshape (b1 + b2 + b3 + b4 - 2*ba1,2,[]));
isequal(LHS,RHS);
---
 everything_else/reproducing.m | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/everything_else/reproducing.m b/everything_else/reproducing.m
index 8b03efc..b4869f2 100644
--- a/everything_else/reproducing.m
+++ b/everything_else/reproducing.m
@@ -156,7 +156,17 @@
 
 %% Pg. 21, PTR-BCR-2
 %% Pg. 22, PTR-BCR-3 (example appears to be the same as PTR-BCR-1, and may have to be redone)
+
 %% Pg. 23, PTR-BCR-4 
+
+b = dec2bin(2^5-1:-1:0)-'0';
+b1=b(:,1);b2=b(:,2);b3=b(:,3);b4=b(:,4);ba1=b(:,5);
+LHS = min(reshape (b1.*b2.*b3.*b4,2,[]));
+RHS = min(reshape (b1 + b2 + b3 + b4 - 2*ba1,2,[]));
+isequal(LHS,RHS);
+
+
+
 %% Pg. 24, PTR-KZ (needs an example!)
 %% PTR-KZ: b1b2b3 = min_ba(1 − (ba + b1 + b2 + b3) + ba (b1 + b2 + b3) + b1b2 + b1b3 + b2b3)