-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
/
numbers.tex
65 lines (65 loc) · 2.15 KB
/
numbers.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
%%
\pgfsetcolor{black}
% Edge: Real -> Rational
\draw [->] (185.07bp,146.91bp) .. controls (206.35bp,136.9bp) and (234.63bp,123.58bp) .. (267.75bp,108bp);
% Edge: Int -> Uint
\draw [->] (45bp,71.831bp) .. controls (45bp,64.131bp) and (45bp,54.974bp) .. (45bp,36.413bp);
% Edge: Real -> Float
\draw [->] (153bp,143.83bp) .. controls (153bp,136.13bp) and (153bp,126.97bp) .. (153bp,108.41bp);
% Edge: Any -> Number
\draw [->] (358bp,287.83bp) .. controls (358bp,280.13bp) and (358bp,270.97bp) .. (358bp,252.41bp);
% Edge: Number -> Complex
\draw [->] (397.04bp,220.29bp) .. controls (426.65bp,209.89bp) and (467.9bp,195.4bp) .. (511.69bp,180.02bp);
% Edge: Real -> Int
\draw [->] (125.75bp,143.83bp) .. controls (112.06bp,134.71bp) and (95.309bp,123.54bp) .. (72.244bp,108.16bp);
% Edge: Number -> Real
\draw [->] (318.86bp,222.27bp) .. controls (287.49bp,212.61bp) and (242.23bp,198.1bp) .. (185.11bp,176.44bp);
% Node: Real
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (153bp,162bp) node {Real};
\end{scope}
% Node: Int
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (45bp,90bp) node {Int};
\end{scope}
% Node: Float
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (153bp,90bp) node {Float};
\end{scope}
% Node: Number
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (358bp,234bp) node {Number};
\end{scope}
% Node: Complex
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (563bp,162bp) node {Complex\{T<:Real\}};
\end{scope}
% Node: Uint
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (45bp,18bp) node {Uint};
\end{scope}
% Node: Rational
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (306bp,90bp) node {Rational\{T<:Int\}};
\end{scope}
% Node: Any
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (358bp,306bp) node {Any};
\end{scope}
%