...
 
Commits (1)
No preview for this file type
No preview for this file type
No preview for this file type
// bean_partition.asy
size(1.85cm,0);
size(1.5cm,0);
import ibl;
filldraw(bean,fillpen=color_base);
path p1 = (-1,1.7){dir(-10)}..(2,1.75);
draw(p1,dotted);
......@@ -17,16 +16,16 @@ clip(bean);
// label("{\tiny $P_2$}",0.5*(bean1+bean4)+(0.16,0.01));
// label("{\tiny $P_3$}",0.5*(bean0+bean3)+(0.01,0.13));
picture P0_box=new picture;
label(P0_box,"{\small $P_0$}",0.5*(bean2+bean5)-(0.03,0.10));
label(P0_box,"{$P_0$}",0.5*(bean2+bean5)-(0.03,0.10));
add(P0_box,filltype=Fill(white));
picture P1_box=new picture;
label(P1_box,"{\small $P_1$}",bean1+(-0.07,0.09));
label(P1_box,"{$P_1$}",bean1+(-0.07,0.09));
add(P1_box,filltype=Fill(white));
picture P2_box=new picture;
label(P2_box,"{\small $P_2$}",0.5*(bean1+bean4)+(0.16,0.01));
label(P2_box,"{$P_2$}",0.5*(bean1+bean4)+(0.16,0.01));
add(P2_box,filltype=Fill(white));
picture P3_box=new picture;
label(P3_box,"{\small $P_3$}",0.5*(bean0+bean3)+(0.01,0.13));
label(P3_box,"{$P_3$}",0.5*(bean0+bean3)+(0.01,0.13));
add(P3_box,filltype=Fill(white));
// dot(bean0,red);
......
No preview for this file type
......@@ -5,7 +5,7 @@ pair z0=(0,0);
pair z1=(0,0); // center of circle1
real r=1.5; // radius
path c1=circle(z1,r);
fill(c1,white);
fill(c1,color_base);
draw(c1);
......
No preview for this file type
size(3cm,2cm);
// Colors from "Still not getting any" by sp613g, https://kuler.adobe.com/#themeID/181115
// pen color_light1=rgb(219,213,242);
// pen color_dark1=rgb(22,64,89);
// pen color_base=rgb(201,235,242);
// pen color_dark2=rgb(69,115,110);
// pen color_light2=rgb(242,226,196);
import ibl;
pair z0=(0,0);
......
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
......@@ -85,23 +85,8 @@
% \usepackage{jh}
\usepackage{ibl}
\usepackage{iblcolor}
\usepackage{xcolor}
% See also the asy files
% Colors from "Still not getting any" by sp613g, https://kuler.adobe.com/#themeID/181115
% 2018-Aug-06 JH This is gone off adobe's site.
% \definecolor{lighti}{RGB}{219,213,242}
% \definecolor{darki}{RGB}{22,64,89}
% \definecolor{base}{RGB}{201,235,242}
% \definecolor{darkii}{RGB}{69,115,110}
% \definecolor{lightii}{RGB}{242,226,196}
% % Colors from "Coet Azur" https://color.adobe.com/Cote-Azur-color-theme-1440313/edit/?copy=true&base=4&rule=Custom&selected=1&name=Copy%20of%20Cote%20Azur&mode=cmyk&rgbvalues=0,0.34586062940000006,0.3718,0,0.576,0.576,1,0.99,0.77,0.94,0.9306,0.7332000000000001,1,0.21999999999999997,0&swatchOrder=0,1,2,3,4
% From Wong Tim
\definecolor{lighti}{HTML}{F0EDBB}
\definecolor{darki}{HTML}{009393}
\definecolor{base}{HTML}{FFFCC4}
\definecolor{darkii}{HTML}{005B5F}
\definecolor{highlight}{HTML}{FF3800}
% Hyper references
\RequirePackage{hyperref}
......@@ -295,7 +280,7 @@ qed=\qedsymbol
\setlength{\unitlength}{1in}
\newcommand{\enormoussize}{\fontsize{30pt}{20pt}\selectfont}
{\enormoussize\scshape \makebox[0em][l]{\raisebox{24pt}{\large\itshape \hspace*{15pt}An Inquiry-Based}}{\color{darkii}Introduction to Proofs}} \\[5pt]
{\Large\scshape \makebox[23em][r]{\color{darkii}#1}}
{\Large\scshape \makebox[23em][r]{\color{highlight}#1}}
\end{center}
\vspace*{\fill}
\begin{flushright}
......
......@@ -2318,6 +2318,7 @@ $A\intersection B=\setbuilder{x}{\text{$x\in A$ and $x\in B$}}$.
\end{df}
Picture set operations with \definend{Venn diagrams}.
The dark area represents the operation's result.
\begin{center}
\grf{asy/venn_union.pdf}{$A\union B$}
\hspace*{3em}
......
No preview for this file type