SmtC: Show me the Code
Ole Peter Smith
Instituto de Matemática e Estatística
Universidade Federal de Goiás
http://www.olesmith.com.br

Models
O Homem é a espécie mais insana.
Venera um Deus invisível e destrói a Natureza visível…
Sem se aperceber de que esta Natureza, que ele destrói,
é o Deus invisível que ele venera
Hubert Reeves

Taxist Model

  • Cartesian Points and Lines
  • Distance between Points, 1-Norm: \[ d_T(A,B)=|x_b-x_a|+|y_b-y_a| \]
  • Distance Function on $r: ax+by=c$: \[ f_r(t)=(|a|+|b|) t \]

TiKZ Listing: Fig.tikz.tex. PDF   PNG   SVG   ZIP*  
\tikzmath{\L=1;}

\coordinate (A) at (-\L,-\L);
\coordinate (B) at ( \L, \L);
\coordinate (C) at (-\L, \L);
\coordinate (D) at ( \L,-\L);

\fill (A) circle(2pt) node [left] {$A$};
\fill (B) circle(2pt) node [right] {$B$};
\draw ($(A)!-0.5!(B)$) -- ($(A)!1.5!(B)$);


\draw[dashed] (A) -- (C) -- (B) -- (D) -- cycle;

\tkzLabelSegment[below](A,D) {$|x_B-x_A|$};
\tkzLabelSegment[left](A,C) {$|y_B-y_A|$};
Messages:
0 secs.