From 1ffc20809e4f60b57369aa60d41ca1b4c89085d6 Mon Sep 17 00:00:00 2001
From: Steven Palmer <palmes4@mcmaster.ca>
Date: Mon, 26 Mar 2018 17:15:16 -0400
Subject: [PATCH] Correction to A3P1 spec

---
 Assignments/A3/A3Soln/A3P1_Spec.pdf | Bin 118356 -> 118356 bytes
 Assignments/A3/A3Soln/A3P1_Spec.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/Assignments/A3/A3Soln/A3P1_Spec.pdf b/Assignments/A3/A3Soln/A3P1_Spec.pdf
index e4d059b544a8a43bbf5ab0443b92278abfbc7943..a24bdd491752b3def3dec2763f66ff376a0fc5a8 100644
GIT binary patch
delta 2548
zcmV<Q2@CeroCnmL2e20be;r><f>i07OC_=>@-CMu)<R0fmd1cGp<6b43uckzhq1%>
zQ|<!AdklO!a9di3ebu7`r*1o-=hpz>d1pymS|p9I_P6bds-I5C4sLKWa&}RHKsJi!
zZAq}IIn>sZpLmKvl@kO5Ot|ZS+4dA1(z8^Fh@uQuBaDeDwZW$re<!>ryZ41b^El>P
z*AXPAWo6y2%Mbgip#5Eo2*sO|O~Tj5ey|P6Pco9LyEQCIkY)pDA__L8^Nx%0T{alc
z-g)|Z3IgNAB;*u+MBx_>c^EK<R9?&h3!a7i6~mnxA<6h_Ro7(mLMF5!Hc*@QK0XjB
zeGraVNjFZrvjWVSe}kSX1TF^K4^_K^l%p&LlFq_EvG2V=L-y2H5IS&kRsp!b&4;ne
zYeIUDV}rrGkWDw;fkabN8~whiRjP$fQ*iE`-d}3`RK%f~5m+j^vTBQZEG>oc$9C?`
zlca*eT`)Q%Q>?@Jfx^RTfz1|*Fb>c2ee^F$Cka2~-O!_$e*y{lK*}Sg=0;Mt)|R9m
z9IZ$TmJLs<mURAQp`yvVpJ+ZCz2N3ZGIYsYss0K%OL$!odJdtY*M=L{S}2-P85Ygk
z_x6_u`x<!2hc5~qVndBxj<ua;LOr#*FD2}^V_RUAr{mL<IPYUyVh<_Fe*~%a^dP3l
zr;#wu69gR3JmLqA<{5K(Jr`TkQmvZ`27SAu7P$1ndSok%_}}&Vd1{CAABAZhiWEn4
zXp{((>FugB@XcoN52%!_le13)7ajvOFfx;nCn<keOK;mo5WeeI@JJoF+4qtzf*=K&
zphZ!nv49>NA6SyMXwalWQg#C5$9MKYiey%@>Lxk$A}*J+v$Hebd^0N?+y*#!yTb1I
z^Jewp4VM8SC=r4No0~w<Knjj1SHUI^uEN({x4+-@Wm9+S>&<WD(id+So30}YamIs)
zQbd2GTl)bMwOB;dY!N{*Bk;+HZ??rc;zWcQY}U8?tZ!O9A;WiTs={<l!hXB4GiB#Q
z)2b?RJ9lHnMOdVnUa+-q&EM-ti14n+dOJ~q_O#C2X7H89VF8QXL|W^`pWWhqTR0=q
zEGs(W1TZ)v9C7fRF}!W|eObeD77Jq;i}`<OnVvJ2=|R6udpm02GzY`bI+6ri59qHm
z4_Iw=-MFRNVigXOlWm&X3a7PwFFutW7<TKk*?5J!&EfkJ2N6vWl_H23L6|x$SPw)@
ziSYe+W_Y<Q?qN>`@hP*;YMTcd&w*j%3Bmk;1-9}GPvx0HLWltvUH{WMg2kcs2CRRq
z?Yj&s-(FlIPU)}~b|4ogksC>g1ZQ9&Ljotyf^OfYbyw;v8TNwX1g&1G2k+mmf~!bk
z6<+;i5Wop_5T<~M!VbEf4Q%G-8~tQqn&%5aFpjsKQ&UvMePJNmPuETL79aP8!#fR|
z8~gknqPKbFgT|N3%j>1bX3?PvC6a%S(eVXAAVEfnD}1d_7Kaxv^;6lskHsFsAt6HF
zDE6mAPehEE)U?GB!SS<V4~ekb_ZPmSaEg+HIUwk>nIxbs9)!R}HXD<fj6hPU(I-W9
zbNXBfhUAUiv7QI%;!{@aETSXMMEFMo*{;ztGQ%`q(wzfuoga%Uhao_0aK?WuoXQ_g
z;2zG@zer^vV2|Ycr!wbwNM%M7%lYs$DW?bbW!GuqH7{dcmpXB?RO@~PPUXxIKFH|e
zW?UF+7aBr`VPzRs>*&+Ace@O`ruJdAH>KkMPeP~pU7C#?!NA*^Bh1t6FLm6&fZUF)
z8Af3|EYPemTd-@3hqBps_RW783Zt@K2<BxAH3p9C<#_<;gy=_5_`m=Kg!3_(kglD|
zInY_)j7eJuR0edABx>#qTSh6=^QvmJOCI%)^|-W-fv5TMV7|0fx<fVxo@7SC6O>?j
zk{V+`8(*gTLd`tgod`Qhuy=P`FS8ItlhK%wbO8?U`lIX{BO0F{54L~g+OM)6>46hE
zP37|gGAIM_n3d(s?GRcf5XSO95%+}Qj@N8L4mF#*n$3sW%584PI=3Nz4(V;1N7s-}
z#K$cm|7DVduj|FU)4FZ;Rc^;ax97?0+oCSov^V{)fSy=acHvUbOxTof8>1rMXI64Z
zS1q!@d1q%I%YJJmQ$v3OpY4lj9pJOuU`hgddQL>0714Y!tnnOSY*9_t?Vu+-H`O4~
zq;A@vfb%h)UYuemB66N^fn+FAQ1{KXMT`)}i!=OM>#Wfq&dVMGMNS@CqaT|;i`qHM
zAFY0}1zWO>JQzY4_vwo$_=?2pYoGaaYO_a`S3Z5vLryC@e)50tm0t^1;~_6>muW)f
zr4$8xIFj3)w;&-#$zsR3lG%>b3j$5M<jEQ!7G@uXo^KB&5XbzaYZy|{3N7M)6a!Ex
z)#w`Ozr(q&FTDx?%~Vc+s*iNoZ2^4<tQxJiCw^GNT{x}E++_VPo7Kk^aa7Djf-u}2
zsR9+y)@Aprt80H8<nR#)1u=-}qY=G_Lkpr2Qw5i+Kkfe;%NqiPy%VELjooW|yB{u5
zgUwK5po`X`5yJp{Hrz*All@OOqvJm!&+kPiSBoQkC@|&Nhf3Fn4$T)#O!`oHs8z4d
zq*zKAqWoFcmoxgACoYUWH54&%U~)g`>47nHtWMt-Xsmxx@FOou?t=6`e7+}qyyOqa
zAm?-c8BI61gX%wHF!mk{3f$pu4B`cJ0-zI5;`xBIIzJ6(hGWE)_*Px<8E~#n)F^0h
zl%%r`{_Eo<2|Iqj2XsKWP0ZGD?9P+SM4(Xo17bmR1`1_vWOH<KWnpa!Wo~3|VrmLB
zFd#4>Z(@UgC%1nm0rZ#$HZeCbGc_}pdcXl32R1P`F*7wYmz}@?X$Ds_GE`+)w-vzw
zmJ3oiLpC)xIX5^$IYT!zI5RjnML|PCI7KoxH$yfwF+?{$AUrrjHZ?anH#kB$LpL-y
zGdMU!K|?|~MKU%wLpC%qL^nQN3NK7$ZfA68ATl;KAd`?MD1Rl+yDr0V90l-mTGf_P
zb*Wojs;E+}s=vC_t*c0N?jT;mY84YtU@}@v1_P@|ES^BTfJsc`9Lp!?oNs=~4*-5c
zK$HRml2EFNbx|juYu<K5ScHi1skb$;DI%hSh+O#)h^Xi!;-B8OMO?&)#ErLZ(M6;h
zu00|_q}#5$B7Z4*iOid~l;|U}E!P3jPvp;Cx5SVbB+7T*hDDkPO0J_~gs6YG?ul_R
zMl`;?ZHNhxAr5c7O^HdOS#ZsYY2x_Abw=dGte6w?A}<z1K`aujcfVL7E`FSf#AD#J
zOvYZEN@V5BsZ1XI|8#{st2$N4>r1Cq^8Uf8D)z+z`3h77`P#%Eg*+qFmn+TzAPF-$
K3MC~)Peuv`k+ItV

delta 2523
zcmV<12_*K^oCnmL2e20bf32@3L8|o4r4m^bd6!ESYayj#OJhKp&@G$21+z%<!`NZ`
zDR+V5JqA7<xGk;2zUoneQ@0(^^J@U`ytAY&Es{o9``dO!)lVm62RFDGIlHJpAREQ=
zwj@~99BS*yPdvq-$_au2Cfs$vY<mh0=~=2oL{SE-5yr%n+Tc@*e-qx5-TT6zc^vbt
z>j;w5va)X1<%fM$(EhGPgyPM~CgJO2KiG!kCmG4r-5M4pNV5Sn5e1vldB?^0E*p$z
z?>v1y1%Yv55^@SZqVNlcJPepaDlg`M1<ykMis4R;kYxO|s%x@&ArsmV8>r2DA0LR6
zJ_tvwq#LK*SpnwEe?d<b0vChrhpOE{%25^rNoV1o*!NzbA$#g82pzaNs{q{J=EK<K
zH6gvnvB6+o$fld_K%%Lsjeg(MD%C=#DLD5|?=LleD&o-02rLy{S+zwymX^Z!V>|ce
zNm4=KE*Kq>Dc0fqK;dDvz-9|Y7>DQiKKhrWlY}4gZs<`=e}RO2AmtHLb0eu+YfDlO
zj#i`v%Z8^_OFI9uP|@VwPc)y6UT||H8M<VyRDXq>CA_W(J%>=yYr~CeEfmeD42$ON
zd;80SeGNS1!xse)v7yE;$J$Oap`KdZmlF2du`RI5)A4CaocFOUv4@o8KY~<ydJt3O
z(?}TS2?CC1Jn;iZ^NcyYo{Oz%sn$&egTCES3tW0(J+c)>{O@}GJhj95kHWMLMT(<2
zG)jcY^mf%5_-3>C2a+JIkF!q$7ajvNIW?0(Pbh!wSW9o)Mi9R1SMW$3xY_rTE&?M3
znxI8dq_Kb=93NPcwrJ3#LQ;7E{qdcBkRq9tEIUR|y@<=@?Ck8!eBaCp2X_Gu-mS2E
z{=8Yeddp=%2ug&Y!R9tlG?0QL%2lw*gX{23*X<v6ec9CA`eyUnxb)Rq#-{6tLY(m+
zq7;7->DGS4L@gE(HCseb%m{ok;+t);jyMrv2AlQmKI@xSPss57nyN5eld#`z>`d7?
z(X^_H+|J!vaS;}2rWb7OTl4oi5+b}WvffUVpgpZKw;6n;aah1&H<8wQ@i(`)-xkh@
zG|P(4H~|cf2uB<|XAEzfeP7nFoW;Ue#$tayTBhfWWqQzW)8396IL*N@w2maf)&u(M
z%mY?iT{mv2wpfLO<Yb$sw!&#`-;1wh2Zr7GY&KruZgcp)%!7y~h)NMej3A<fO9tzL
zh$#_%7!M6ESH%Nt${;{x)>(D)NaJ~C*nmPbKVpHcJi}9YrjQU~$c(Q4X&u4hP`iHv
zR@U}ihLvwGE)l16SPMIli<7AvNr?n!U?KPi$Ir^$zD?_{)G!(Lg5w0OUaAKl-mQY`
zNMaRU|7B8u6Y6r9LQ)iV(CutwGdJJpCkxX&UkHM6yzQKtqADH=le7JF-BfS!X<xX6
zr(ttzpT9%&HkZEK_~+{CX6dn6bf|wqiR5E+d_fRMkWu0q-{_OY;l*qHRCe!Uv4?O-
zh|mkg{&eVxh!K<ghhh&v*zNlZ-%&V4$-x{D^w~@j&=wCu;35mhWF{k!RBH4|QQe+C
zSAqe(u{&1stYZ~lvtnm6I^s-(e>8x0oh>6ZOnsK_T=LfWvAA*=LW&K}n1z2+`NIk1
z!<l*ll!bsjk{>$vSy1L24^U<_v7`@A135i-D7#KGuX!19U25QFsn&f7PUXxoKFH|m
zW?UF+7aB%~VPzRs>*&+Ace@O`ruJdAH>KkM51`ZhKFvmsVBl@d5$0+3mpX1>KyJs@
z45Kg}7HHO(E!efi=d#&%_RW783Zt@K2<BxAMFx)S<#`Cygy_el@FfEj5Y9(1AzeI`
zbD*=p8I!gyQ5n!dk|^g4SHx@`rBKkTs?jd_qJON%rF9HE&6m&SOIxKoWHIn4GZLPl
z1k;n$7(=%4CEOQk=5Ti+>?pzB-*3IlLJ&<xV@A@2ba>w%W#1Ul`22r(uqD@ihkB$3
zPUtk1&kx9;48$WU%bD9Dv`iq3<x4T#@tRG@p=NVev-wb4xy5#@u?_e+z}t3@t|Og@
zk6Qx%Ws-z%>cza%x^4DVZpTBr=fU+|Q5S96n+8}wQ>-hyaL_Xo7V>RlROI{2N)B+<
zB8xol?Ch7a-&)DkkidU8`(j!L`0O^Al7OC`6H#YHG#?CWJVzLNRD-%5^n~X^4S*(@
zDMl<##(;Vg6+;z~bHqUgVZ;(B73St5#w5mzQ~X+M+~^M{n-+p&Bqe>Ru4RHIHa|4M
zBU^qXjQi9<cQ&n=*r#X)%j+j-`3~G815|!3c+_%Xn?U17FXDd{&{Z;WnzvpcM#*Bs
zxsvII)Eg;HisVs-77MG7riE`0C4iLpNyjjx#4_T?qE4WUsgabW|AOVdzV<2rs-|MX
z!umvq-4<|xs2*&y2mZW<n`&B>xq;*_o7JZkaXcv)Lm1#iV_3&YkUgxfZ*Y*qM?gDZ
zEDpXH(FZuQAUc2Ps^Dt%r~UU~acf}uDi#}E3~IgYUfR3;aKjmF4k9kO5!Dw|7SjQC
ztto7ecZ%cx70)jplfM5*lL$06Hi^<Ti9=@u6O$%U9tz3jnfylyLzF-3ZgEDl@yKn?
zr-mXX4lL`>c`7Cp+4iTKc^VU>aQs7;vomioLjke3mnUGRPyB!SJSBa+)DM|K&S(BJ
zI%04K)&G=W>^&G%x5Ix7#GBBwT6;8~51Cfyr_-51i@=rm4=?4_i4q0fyE^nMrT=(I
z!j50QAv>VhLI(wPn?NcVv1BF!h2me@mR)p%Z6~*FCjkwa2Qn}>FflMNmw~_m90xKm
zH!v|UFqfpj0cj6SVPjBla&&VbGB7bWUoy87!2y;FQ8hU?G&VLlMl~=&Ml?k*HAO=-
zH$^uyH#Rv&L^3%tLOvioH90plHa0m%H84R&G(|8qMME?<MK?1yHaSK_GC49rK3xhg
zOl59obZ8(lHZ+q!Pbq&T&bu;$VHgD9-9#iIL>%H2hlKbYA`t{3gtW%+cV<*>!ss<h
zZh%fttzfi_3(%@m#tksLnrC+Rop0s?fZqrZrvQO8l-9+XXpql!Z`&d&B1H7m+p4IG
zm}nznS3cB4T(lF(Pj6cyDH25L)?26OATll2E|DU#C$2jpExLb++`G4o=ppi<YoF*P
zf^*kRF(CSh%AL1CktJ$@>#!Ii8XvArF)Bug*0;9}F(z`v{*AW@F-{y7T=Qa*I68JM
zh$%5Gieg3tVphzFc_MuCiv{BH$Eid-mYo*K#EVmztbRFF$b<i%E|F&?rz&}U;j~OX
l+&is^U9m?#6+sBThWG<W)FWD#E6xER2{bVZB_%~qMhYjRt=s?r

diff --git a/Assignments/A3/A3Soln/A3P1_Spec.tex b/Assignments/A3/A3Soln/A3P1_Spec.tex
index e76bdf14..27262148 100644
--- a/Assignments/A3/A3Soln/A3P1_Spec.tex
+++ b/Assignments/A3/A3Soln/A3P1_Spec.tex
@@ -398,7 +398,7 @@ PathT($st, ornt, l$):
     points in the existing path.}
 \begin{multline*}
   exc :=\\
-  (\mbox{pointsInLine}(\mbox{LineT}(st, ornt, l)) \cap (\cup
+  (\mbox{pointsInLine}(\mbox{LineT}(\mbox{adjPt}(ornt), ornt, l))~\cap~\\ (\cup
   (l: \mbox{LineT} | l \in s : \mbox{pointsInLine}(l))) \neq \emptyset \Rightarrow \mbox{invalid\_argument})
 \end{multline*}
 \end{itemize}
-- 
GitLab