From 35fbe94f911956e22ebb016c457c0334a7510ac7 Mon Sep 17 00:00:00 2001
From: "W. Spencer Smith" <smiths@mcmaster.ca>
Date: Wed, 8 Nov 2017 13:29:42 -0500
Subject: [PATCH] Fixed error in L17 rank function spec based on feedback from
 Alex S.xy

---
 Lectures/L17_MathReview/MathReview.pdf | Bin 449782 -> 449790 bytes
 Lectures/L17_MathReview/MathReview.tex |   4 ++--
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Lectures/L17_MathReview/MathReview.pdf b/Lectures/L17_MathReview/MathReview.pdf
index 4f21eac04abe70bcb4dee11cb29e49a3e455743a..7d80d91eef41551349bcccd8e94d4056f4d99fd8 100644
GIT binary patch
delta 2241
zcmV;y2tN1rxf}ku8?f>L0iToe0XYNY5Bit!E(8;ULIQ_E0s)6Y0s@CZ0t2@~0tE0K
z0XCQ61_USp&6ivt1Q>sdw7?t7N&^f>mO}xO@bgo)XKc4A4|bRk9>7gguH&n-+e(}Z
zB|eT+>k0G(dVZlDCA32sv=!)40y=Rw6KA7;p1kzio)WB>|FUSs-MMIQ?Qw6pAm+b9
zC|^o;_Ex9i*1>3P2b=(q(OMJ-X99!N#tF126@WN66^G-y>CJ!t|0=5{M+cwQc8pEv
ztqe%a3c_hgp%V%#y>knS_Z$x^(U=9rW=WB1<)tU4a|%)gCK>uLUN32hra=ov8dDMP
z%~kRV2}q1k^Haz&%9pOih_LZ8dIdQ}kWL$6q}H({y5Xb|qG&|cAp3(AM=<!dxD<vA
za^pzztT58OUH5-5FnAffu89yhPJq%utQ7uso*Q;~b2@w6pFMOL>AVCFgRM*@Csy9y
zPSB6<Iwc}XUmMd8lf_R?Ob+x~dh%dK2^Zo#(VjEZkT;cIr8~Dc)dTSeL$b}SD%)(o
zYzzIeEhO323baTuQyF<bdzfSz-T3y5(@g`F?8<^&J~e+mm2_v))O@oJ?UkQ}*UvbS
z5TuQj-k<sSw^&iIq2r|W*aEffOIPR6XHF4K-i8)M+boL}e#nMG5}${_c_B*F6_@pO
zP7s-+On+s!c!RxL4r{{Wh}WZ5<3HAUG)vU3*<vz{YL|-?$<jx?L>E^CZ-Z)s6^GKG
zZN+%XC`x}7+Og6q@y%Fa{cI$v%0uUDiX!E)Q*mB%@z<65q4n~Whl(fSEF-RkUC0Ls
zO))_s8tgBGuK(olB+MF<!&b*|p+f9mlZL?6F4{`z#5?c#xQ99x?!TT~luhX2V*0@0
zkVPy;+oZ(=J~N%c2CRJZk@;e1UOvT3FYW$iIQM@pi&KtAu1C9ux4fU!@Xd}guj+BW
ztAy9yk1qnY0_B(o)<r)!5MKoBF%N7*j~>AGPpc*6`*}pV`-oc_ugR>`T}@EMR)cIA
zlsCwV&&loAo6ZtP9VHm|yUxEG<yj&>tOKE!&5yoA)jsCbc2fJ5&z)U9p`~|FJ0(Lz
zzOsJ-xzEKxrR|bO6zzc0w!4B1yzGcZ>tAa;)%}&-<dyZ!dA#rvo##}CqoS?^!cj64
zwKALfAjX~psaXQ1D+b#J6%7lf_ps2G=sAIeP)&r*)7v}f@SY|~iB5|<05m8g_;en9
z!{z1`uG?(C+3Tk+0G3V09cOx^Gd=ip;Cg@44x)!2zv~>xg9KI8#YesmH%9gsOeO=4
z?T`Fq;%h1WN4{3zDXAk2I1E1z$%>A+g}a*9fq_(Q-3HEYKUqgoRdJQTZNB$LU@!49
zr_6H~UM5Nt!_wxL-j4tLjkfYqflgCw)t0a3Ho7ydKuc%+D${EBt)$g<2P~+cANYUu
zQbe3I78oyepQJW8gRBg8z*w`*1KS9gf=7=pXe$32SA3qEFZVu<J{*j`jG)*78V>TH
zATcJ2lk3spkrJo$k53{mN<n-t$gYL9`3+_M(v{e6e7!8b&C$N4_D4xnfZ=_9F_d3L
z7pnesCn<@o8Sh_TK3q&Pu+*%^+nYH1<*qmIXSv$`P;Zrsoe9SA^y;eo3l;eFatXeC
z{yoh(=BvHgx69f01$S_3+Vz5n!1w`x2A=|#@h$`thcG1shcG1tw=g9JUaTrOF*7nb
zGBYhOH777ICn*XqO>bmGVRU66C`39kFflhVF)%nWGcq|cGq<?W27m`pHbyxzLpC=-
zL_;t)L^nh?HZ?gmLozc%G)6*3F*P$bJ|H|cMmaJ=Ha9^;Lohc)H$*o!H90mzGBZOo
zMnXn0H8VCoT?#KuWo~D5XdpK^mq9WFDt{%^OK25m7{>8=XWp5Z9yP5o##}TpF&7(c
z)EF=E9&M_LHMSaKVq(-oTcL}Bf<;9^m#)N(5nR3?xD`vcUDZn$A{0uYw3}8+DJ`W6
zmeTb6A2&bV?>yg`8NTz(Ns`3p(j<x9FbI2+B+2J0RLz;6|GqLL^H^5H0ydWt^M5UW
zB}_&<XGywS%e=C#(Ud|4o+j3oLke2fSo&f>`wDmisw{n(>9cuI&Atp4fbrQvC|UYy
zRQu+G(rTtfP`UEI=as$*Z^06%we-I)6)c82XoPyp>~jT6p~13zp_ZM{WLY+%<x1$_
zZn|<aEQ96H0<D%k{#u(?K$~UXet)E8J9NV;SPfm~_KDKBp@*~I2|HM>g*E2BU0dFP
zURV$Pu+F@Aq_ht<@MtBdf&@6&C^O9mo!=JNXkPkN-`xb8VLJ?%*ZiPhD{KS0QQBc%
zcUu7uS=z<*3eXY13xnnj*R^F2?1lGW7>3N7KUTUA_QOFKF>h^DZ~)$i4}W3QyrW;i
zA@~4}!eR5SdkT)g7)-*rdCyJ-$6$izQ!P%war544rBg5sr(wo?{aOVl;S^t^grOFf
z&HJyBhA=C>$~Dp5$jk?)v~<Wp$6jSVR4CA;sA%v5M9F;LFA6AdsKB*MJZaRJA9$#g
zngypD6gX<l5B;rx0tW>S3V$5+=3{!9f&xba(8*{rpSYrcvIb?1HfS-Q-mjn)C~MI6
zXg8m^serbJ+OE4%(Wo@G{D)Gi98@_dX7re!DJ!7au?FaA^qPPAvjX}Y>tG}FnSb^~
z!3Lnuu?setpS!Do>II#Q&E^;GRQ_`=mMdK9R!WOw0O)DZwV;GC1b?(Hs98|6pnov}
zG%RRXP`wxh$`zC=XkApwb?JBA<B0j}b4_FB5A;^VQS;v}YZ|w_qfgT@%MYukF=6@D
zTbd><|3d#maoqBs{?RmL#p`z~rmg6`ujzyp<FlG(tT_9prju684r@AP#e;7&ownlH
zq~7T|SOWF16dIrrnj@eYmceppfmT=nZO{%YK|gXQbV0WjPj4hveD`DWKkEazsh7>%
P1|SJDH3}sqMNdWw*nBK!

delta 2202
zcmV;L2xa&Fxf}Mm8?f>L0h^Qa0XYL45BY;H0*5aG0f#RF0*5aG1Gg^%1OpxcFqh#5
z1SkRBms}tO7=IgSfj5?w1{jVkhXN$w=Wp4b@zIoL>|{dFK7gC1T*p^OSC^Hz5K6os
zspJXt1bTj^9VN6w8MGDXQ35(~KNIJpzn;DH%bpUfnE$e9#r=gyxAwWWToChLA(St*
zcJ|k&;m+Y`V-K7FkkMKchvx!=)W!+4C>4M>JQGLb`+w=}zke&MCdY>#Huj8d(OVgi
zm=%Q6l0vsAtn|(;DBf~BtVClL6x$_5TPrU;F`ZM8Dlo~=hw)}fOEe8yFw&Tccz>>v
zZ;^n+2sJ;2ETeqs5=MlLm(eT8DS~v`2qU$QCDAP>jSxj6vIg02tT=+fSK>Z$Fl3M$
zN1A7ak$>*>x`%<m%iwiQgurnEln!F0@Yjpnu&dj%+0()7vCBy3C3qNYWm|H~%7?oN
z`tg0IL`3OpWBOsT_{oXMfnG~b9?U4=LYybsDnku<Q~7nebB9ws5RWh<+uXXc&GyT-
z&@bCUE8CJlixe}Jkq@)SNv6?_@6I{hG*HQg6@RJesiZs8PR&>A&|djjc>SCc2|?Oe
z>HUe1e~T3b8#+!}j|r%$FI}BOpEyM{c^eXn)GUh?e#nMGD?X2a^FoxUD=wRxoFFns
znf}V|@CJLg9M%?(V_uJ1jel6@Q7=)uW{1f%s$DKpBugLl5?x#oybY=?Rvb!$Hi_{z
zqkkw>NMj`_@y%Fa{cI$v%0m}yiX!E)Q*mB%@#mHLq4n~mnu;!QmJyd=7xG3zQ%q2Z
z2Ky7C>)$y%3$sS&u+!08s1W<tq#<ynMO!J|^3Gd6?xBu_hcBm><stNVIep}C$RZZ4
zZR>~$d}ca>4OscZN9K#6dHEbKz4Y`i!+*JVS)6h_ay`--o_N1i!?!!iysF#zt`c5*
zKmHJ~6(}b>urB(+f%rqfp76jn^ymR>|Fl|CzE>mCeU7-L@!IN@x~mDQm>iIaLHPk$
z@j1Qwa@$$r=tK#|{i^%#R(Y4mFY7?)W%H}=P_<7uwVl*{?R{sLPiW~K)K19|k$<mj
zK<;yKP-(m35k)(ow0&Gd23~bUqxCP<p6dR}Zu83eW<OqdiSBc%!%<OJ0^zvT6D65V
z=OD(O4XIfIrYjoT1{F06rgyWDO7xsSLZ~Lf=I!kbba+pbq?S&L82}oT5q!HJeZ}SG
z1;%Z*U+?u@1Ay-sw;|o>!M7W(SAXpwdie31&W1clP*q)g;?Lnm%l<Og_9wnG@wJrx
zEngCNO6mv$F2k!KS<@A_a94927)aG*8aSVRvW}#x;wpi={Mj3U9pYt9nN<TX6Qzk^
zsgv8&@&1?3G{uyc3UoWg)@}KErqP{g1zI}m|CedC+W`ye)eXO1iinfO0)OMB?wiyW
zXONY_4rpt3d0-m>Q}F2V1x@8&<BHF7^X2~g(YwRZ=MfY;K+QoO6ePw(ae6a4I#%M0
z{_#QNMJb4H1=)?zHlI-DFI|g+#@EZ@+Z^p%I{qk$3NXCS2SfQNx={6xdr3)b&G_Kv
z>hW@tfu+N0yt{o+?s@~imolr}clB1e*qdM+Pp_}bzfghSESKQR=bzJ@W4_v-eZ87}
zTW|-rp<OSC2#o&#{A-^2ha)8fha)8gw<9G6ajXY7FgG(aG&Yx;(FPm`H!wFdG&DB1
zzR?DN2T?ddH8e0mI6^QnFf%tfHbOEnGDAf}Gd4IyI5|Q=G(tWgJUBr$G%!IpLNGBf
zGdDRlLNYNjLq$U~HaJB%IYL1+LOxvzFHB`_XLM*FH#s+#0Sp8we<jpQY*b|!#_{hx
z=RK#?0Y)vQ^a3qYN`X>Fpj=u7p~Z?8ElMvG7z#9A5*Hdx@PZq+#EmWtE=}I8ON>in
zq6SvRXq1H!R|YYz)P%%1&i`Ta%ln<@n{!USd1g{d-po>pqc90mDW#&>qOECu`TN$8
zR<Ue{HEgaV^YK3tf0Ge6EoDcwEL!WTrVMiMELp994799T_V<MLmGA(xS@ut^YpbB0
zeL1WF<JwxNSaxq#`&NU}cBY4+b?1LCD}4|ig7wg0*?*raSO=ZZ16`Ken+i5Sx8=oJ
zEw@6i<@t=3TVRN%>CSzy5jH_T3|M~i8*SbUHOqf^LCZnde+JuOCk&h0OG<aZ2xtE|
z9A^0ljGFr)ZP^8N*aQ1uw|RL(>0TJ))hf^i2{_nTVOkA3zj4@aUb&;s9)N>z2qw&{
zKPz|?9s{~jIc(nfu>xMQa)kSppd)?)Ce6FAYReQHgD2r>m^SZwQR#7b3Z8`-^MM`(
zC*T=)9%jvlf9eWO!gH_yr_6^#!5qxP8CWzQ8CP%`mUuta;yj!+uitOjIcUHoST^6Y
zL%{{O$j2yQsKqPh``#thBg3rxqN$1QMs7a2pru0rI`%g6>7+onqN2eU5Eb*|w-r#}
zP=Py`c+;qwpZHQKH49ERC~$O`pZrq+1r7=v6gaxff9J;(P~hkWIvKs@OK&NltU+0$
z2L0xZDFp*SS%bF6p!xFq3TS(%?Rpv&jaFk<RGOg5L6w7I#)$dL4FxniMuDD2-Takb
z6wv3`4f|oQ`Kw<k7z6qoN8o_@8=okkdO;`Sp!wS$wf=M7X|%XfQ%Z|t0_bVbwV;GC
z4YV$(e_2qopnov~G%RRXP`#K1$`zC=XkE0*b>%lbW6u2AubSq~um7lN!ThfNEn?A%
zp;1kztvIEg#*!89eW2-#6`#GP>8usE|I&2M%If{QG_0(Ds_DFyiyvxQw(|AgHC?ds
z+A&QRt-SuVrb||SH>clpC#;7q*Z|$o1HI4(Asb;6^uqvbh8hgQ7SNZx6^3D(mET@X
cR{nG={SWEkxuBQT+y)>CGC2w*B}Gq03QZI!%K!iX

diff --git a/Lectures/L17_MathReview/MathReview.tex b/Lectures/L17_MathReview/MathReview.tex
index dc16d06..7d9ce68 100755
--- a/Lectures/L17_MathReview/MathReview.tex
+++ b/Lectures/L17_MathReview/MathReview.tex
@@ -296,7 +296,7 @@ $*$ operators include $\forall$, $\exists$ and $+$ are used
 \begin{frame}
 %\frametitle{Quantifiers Example for Rank Function}
 
-\noindent $\mbox{rank}(a, A): \mathbb{R} \times \mathbb{R}^n \rightarrow \mathbb{N}$\newline
+\noindent $\mbox{rank}(a, A): \mathbb{R} \times \mathbb{R}^n \rightarrow \mathbb{R}$\newline
 $\mbox{rank}(a, A) \equiv \mbox{avg}(\mbox{indexSet}(a, \mbox{sort}(A)))$\newline
 
 \noindent $\mbox{indexSet}(a, B): \mathbb{R} \times \mathbb{R}^n \rightarrow \mbox{ set of }
@@ -310,7 +310,7 @@ $\forall (a: \mathbb{R} | a \in A : \exists(b: \mathbb{R} | b \in B: b = a)
 \wedge \mbox{count}(a, A) = \mbox{count}(b, B)) \wedge \forall (i: \mathbb{N} | i \in [1..|A|-1] : B_i \leq B_{i+1})$\newline
 
 \noindent $\mbox{count}(a, A): \mathbb{R} \times \mathbb{R}^n \rightarrow \mathbb{N}$\newline
-$\mbox{count}(a, A): + (x: \mathbb{N} | x \in A \wedge x = a : 1)$\newline
+$\mbox{count}(a, A): + (x: \mathbb{R} | x \in A \wedge x = a : 1)$\newline
 
 \noindent $\mbox{avg}(C): \mbox{ set of } \mathbb{N} \rightarrow \mathbb{R}$\newline
 $\mbox{avg}(C) \equiv + (x: \mathbb{N} | x \in C : x) / |C|$\newline
-- 
GitLab