Set up MetaPost and MetaObj for drawing diagrams.

diff --git a/Report.tex b/Report.tex
index 367d0935be5f1da9e3bec3afea84405b8d8faf05..40b94b66e55a0a0e9d858cd3f58195c68487a60d 100644 (file)
--- a/Report.tex
+++ b/Report.tex
@@ -5,6 +5,7 @@
 \input Utils/Formats
 \input Utils/Lambda
 \input Utils/Shortcuts
+\input Utils/Metapost
 
 \usetypescript [Custom]
 

diff --git a/Utils/Metapost.tex b/Utils/Metapost.tex
new file mode 100644 (file)
index 0000000..cac69dd
--- /dev/null
+++ b/Utils/Metapost.tex
@@ -0,0 +1,19 @@
+% Some setup for metapost
+\startMPinclusions 
+
+% Use metaobj for drawing objects
+input metaobj; 
+
+% Set some defaults for pretty pictures
+setObjectDefaultOption("Box")("framewidth")(.75mm);
+setObjectDefaultOption("Circle")("framewidth")(.75mm);
+setObjectDefaultOption("Circle")("circmargin")(3mm);
+%ahlength := 1.5mm;
+ahangle := 60;
+
+setCurveDefaultOption("linewidth",.75mm);
+% Add a nodesep that's equal to the linewidth, since the linewidth isn't
+% included in the bounding box for line cutoff.
+setCurveDefaultOption("nodesep",curve_linewidth_default);
+
+\stopMPinclusions