diff --git a/Reals/Grapher.json b/Reals/Grapher.json
new file mode 100644
index 0000000000000000000000000000000000000000..c7baab6f0afa6dc76571136dc34036e961e55419
--- /dev/null
+++ b/Reals/Grapher.json
@@ -0,0 +1,12 @@
+{
+  "svg": "Grapher.svg",
+  "items": [
+    {
+      "id": "fungraph",
+      "attr": "points",
+      "value": "visb_graph"
+    }
+  ],
+  "events": [
+  ]
+}
\ No newline at end of file
diff --git a/Reals/Grapher.mch b/Reals/Grapher.mch
new file mode 100644
index 0000000000000000000000000000000000000000..e64de0183a61d4add7ee099001a66599b1bf83e7
--- /dev/null
+++ b/Reals/Grapher.mch
@@ -0,0 +1,17 @@
+MACHINE Grapher
+DEFINITIONS
+  "LibraryReals.def";
+  "LibraryStrings.def";
+  
+ // generate a SVG points attribute string (e.g. for polygons) from a sequence of pairs of integers:
+ svg_points2str(points) == conc(%i.(i:dom(points)| 
+                                FORMAT_TO_STRING("~w,~w ",[real(i), points(i)])));
+ 
+ // the function to be plotted:                                                          
+ myfunction(x) == 2.0*RSQRT(x)-0.5*RSIN(2.0*x);
+ 
+ mypoints(scale) == %x.(x:1..500| 300.0-scale*myfunction(RDIV(real(x),scale)));
+ 
+ // graph plotted in rectangle (0,0) to (300,300)
+ visb_graph == svg_points2str(mypoints(30.0))
+END
\ No newline at end of file
diff --git a/Reals/Grapher.prob b/Reals/Grapher.prob
new file mode 100644
index 0000000000000000000000000000000000000000..9db0ea0d83c727dc9a92f11c84d1dfa8e786703e
--- /dev/null
+++ b/Reals/Grapher.prob
@@ -0,0 +1,3 @@
+parser_version('50d04350c3c074387e2630a671cf1a5da261b6d3').
+classical_b('Grapher',['/Users/leuschel/git_root/JAVAPROB/visb-visualisation-examples/Reals/Grapher.mch','/Users/leuschel/git_root/prob_prolog/stdlib/LibraryReals.def','/Users/leuschel/git_root/prob_prolog/stdlib/LibraryStrings.def']).
+machine(abstract_machine(pos(1,1,1,1,17,4),machine(pos(2,1,1,1,1,8)),machine_header(pos(3,1,1,9,1,16),'Grapher',[]),[definitions(pos(4,1,2,1,16,46),[expression_definition(pos(48,2,13,3,13,17),'RSIN',[identifier(pos(49,2,13,8,13,9),x)],real(pos(50,2,13,14,13,17),'0.0')),expression_definition(pos(69,2,3,3,3,47),'EXTERNAL_FUNCTION_RADD',[],total_function(pos(70,2,3,29,3,47),mult_or_cart(pos(71,2,3,29,3,38),real_set(pos(72,2,3,29,3,33)),real_set(pos(73,2,3,34,3,38))),real_set(pos(74,2,3,43,3,47)))),expression_definition(pos(75,2,16,3,16,42),'EXTERNAL_FUNCTION_RTAN',[],total_function(pos(76,2,16,29,16,42),real_set(pos(77,2,16,29,16,33)),real_set(pos(78,2,16,38,16,42)))),predicate_definition(pos(233,3,123,3,123,38),'STRING_IS_ALPHANUMERIC',[identifier(pos(234,3,123,26,123,29),sss)],equal(pos(235,3,123,35,123,38),integer(pos(236,3,123,35,123,36),1),integer(pos(237,3,123,37,123,38),1))),expression_definition(pos(7,1,7,2,8,82),svg_points2str,[identifier(pos(8,1,7,17,7,23),points)],general_concat(pos(9,1,7,28,8,82),lambda(pos(10,1,7,33,8,81),[identifier(pos(11,1,7,34,7,35),i)],member(pos(12,1,7,37,7,50),identifier(pos(13,1,7,37,7,38),i),domain(pos(14,1,7,39,7,50),identifier(pos(15,1,7,43,7,49),points))),definition(pos(16,1,8,33,8,80),'FORMAT_TO_STRING',[string(pos(17,1,8,50,8,58),'~w,~w '),sequence_extension(pos(18,1,8,59,8,79),[convert_real(pos(19,1,8,60,8,67),identifier(pos(20,1,8,65,8,66),i)),function(pos(21,1,8,69,8,78),identifier(pos(22,1,8,69,8,75),points),[identifier(pos(23,1,8,76,8,77),i)])])])))),expression_definition(pos(238,3,124,3,124,55),'EXTERNAL_PREDICATE_STRING_IS_ALPHANUMERIC',[],string_set(pos(239,3,124,49,124,55))),expression_definition(pos(240,3,15,3,15,64),'EXTERNAL_FUNCTION_STRING_APPEND',[],total_function(pos(241,3,15,39,15,64),mult_or_cart(pos(242,3,15,39,15,52),string_set(pos(243,3,15,39,15,45)),string_set(pos(244,3,15,46,15,52))),string_set(pos(245,3,15,58,15,64)))),expression_definition(pos(99,2,22,3,22,43),'EXTERNAL_FUNCTION_RSQRT',[],total_function(pos(100,2,22,30,22,43),real_set(pos(101,2,22,30,22,34)),real_set(pos(102,2,22,39,22,43)))),expression_definition(pos(268,3,113,3,113,111),'EXTERNAL_FUNCTION_FORMAT_TO_STRING',[identifier(pos(269,3,113,38,113,59),'FORMAT_TO_STRING_TYPE')],total_function(pos(270,3,113,66,113,111),mult_or_cart(pos(271,3,113,66,113,99),string_set(pos(272,3,113,66,113,72)),seq(pos(273,3,113,73,113,99),identifier(pos(274,3,113,77,113,98),'FORMAT_TO_STRING_TYPE'))),string_set(pos(275,3,113,105,113,111)))),expression_definition(pos(282,3,107,3,107,82),'EXTERNAL_FUNCTION_STRINGIFY',[identifier(pos(283,3,107,31,107,48),'PP_TO_STRING_TYPE')],total_function(pos(284,3,107,54,107,82),identifier(pos(285,3,107,54,107,71),'PP_TO_STRING_TYPE'),string_set(pos(286,3,107,76,107,82)))),expression_definition(pos(290,3,36,3,36,34),'STRING_CHARS',[identifier(pos(291,3,36,16,36,19),xxx)],function(pos(292,3,36,24,36,34),identifier(pos(293,3,36,24,36,29),chars),[identifier(pos(294,3,36,30,36,33),xxx)])),expression_definition(pos(295,3,48,3,48,71),'EXTERNAL_FUNCTION_CODES_TO_STRING',[],total_function(pos(296,3,48,42,48,71),relations(pos(297,3,48,42,48,59),integer_set(pos(298,3,48,42,48,49)),integer_set(pos(299,3,48,52,48,59))),string_set(pos(300,3,48,65,48,71)))),expression_definition(pos(122,2,7,3,7,47),'EXTERNAL_FUNCTION_RMUL',[],total_function(pos(123,2,7,29,7,47),mult_or_cart(pos(124,2,7,29,7,38),real_set(pos(125,2,7,29,7,33)),real_set(pos(126,2,7,34,7,38))),real_set(pos(127,2,7,43,7,47)))),predicate_definition(pos(304,3,126,3,126,57),'STRING_EQUAL_CASE_INSENSITIVE',[identifier(pos(305,3,126,33,126,37),sss1),identifier(pos(306,3,126,38,126,42),sss2)],equal(pos(307,3,126,48,126,57),identifier(pos(308,3,126,48,126,52),sss1),identifier(pos(309,3,126,53,126,57),sss2))),expression_definition(pos(44,1,16,2,16,46),visb_graph,[],definition(pos(45,1,16,16,16,46),svg_points2str,[definition(pos(46,1,16,31,16,45),mypoints,[real(pos(47,1,16,40,16,44),'30.0')])])),expression_definition(pos(310,3,14,3,14,44),'STRING_APPEND',[identifier(pos(311,3,14,17,14,20),xxx),identifier(pos(312,3,14,21,14,24),yyy)],function(pos(313,3,14,29,14,44),identifier(pos(314,3,14,29,14,35),append),[identifier(pos(315,3,14,36,14,39),xxx),identifier(pos(316,3,14,40,14,43),yyy)])),expression_definition(pos(329,3,84,3,84,39),'TYPED_STRING_TO_ENUM',[identifier(pos(330,3,84,24,84,25),t),identifier(pos(331,3,84,26,84,29),sss)],function(pos(332,3,84,34,84,39),empty_set(pos(333,3,84,34,84,36)),[integer(pos(334,3,84,37,84,38),1)])),predicate_definition(pos(335,3,64,3,64,29),'STRING_IS_INT',[identifier(pos(336,3,64,17,64,20),sss)],equal(pos(337,3,64,26,64,29),integer(pos(338,3,64,26,64,27),1),integer(pos(339,3,64,28,64,29),1))),predicate_definition(pos(350,3,68,3,68,32),'STRING_IS_NUMBER',[identifier(pos(351,3,68,20,68,23),sss)],equal(pos(352,3,68,29,68,32),integer(pos(353,3,68,29,68,30),1),integer(pos(354,3,68,31,68,32),1))),expression_definition(pos(355,3,112,3,112,55),'FORMAT_TO_STRING',[identifier(pos(356,3,112,20,112,34),'MyFormatString'),identifier(pos(357,3,112,35,112,47),'ListOfValues')],string(pos(358,3,112,52,112,55),'0')),expression_definition(pos(359,3,116,3,116,70),'EXTERNAL_FUNCTION_STRING_CONTAINS_STRING',[],total_function(pos(360,3,116,48,116,70),mult_or_cart(pos(361,3,116,48,116,61),string_set(pos(362,3,116,48,116,54)),string_set(pos(363,3,116,55,116,61))),bool_set(pos(364,3,116,66,116,70)))),expression_definition(pos(168,2,8,3,8,19),'RMUL',[identifier(pos(169,2,8,8,8,9),x),identifier(pos(170,2,8,10,8,11),y)],real(pos(171,2,8,16,8,19),'0.0')),expression_definition(pos(199,2,12,3,12,42),'EXTERNAL_FUNCTION_RSIN',[],total_function(pos(200,2,12,29,12,42),real_set(pos(201,2,12,29,12,33)),real_set(pos(202,2,12,38,12,42)))),predicate_definition(pos(61,2,40,3,40,21),'RLEQ',[identifier(pos(62,2,40,8,40,9),x),identifier(pos(63,2,40,10,40,11),y)],truth(pos(64,2,40,16,40,21))),expression_definition(pos(382,3,127,3,127,69),'EXTERNAL_PREDICATE_STRING_EQUAL_CASE_INSENSITIVE',[],mult_or_cart(pos(383,3,127,56,127,69),string_set(pos(384,3,127,56,127,62)),string_set(pos(385,3,127,63,127,69)))),expression_definition(pos(411,3,44,3,44,60),'STRING_CODES',[identifier(pos(412,3,44,16,44,32),string_codes_str)],function(pos(413,3,44,37,44,60),identifier(pos(414,3,44,37,44,42),codes),[identifier(pos(415,3,44,43,44,59),string_codes_str)])),expression_definition(pos(96,2,19,3,19,17),'REXP',[identifier(pos(97,2,19,8,19,9),x)],real(pos(98,2,19,14,19,17),'0.0')),predicate_definition(pos(114,2,44,3,44,20),'RLT',[identifier(pos(115,2,44,7,44,8),x),identifier(pos(116,2,44,9,44,10),y)],truth(pos(117,2,44,15,44,20))),expression_definition(pos(134,2,36,3,36,32),'EXTERNAL_FUNCTION_RPI',[],real_set(pos(135,2,36,28,36,32))),expression_definition(pos(440,3,41,3,41,78),'STRING_PADLEFT',[identifier(pos(441,3,41,18,41,32),padleft_string),identifier(pos(442,3,41,33,41,46),padleft_width),identifier(pos(443,3,41,47,41,59),padleft_char)],identifier(pos(444,3,41,64,41,78),padleft_string)),expression_definition(pos(450,3,60,3,60,26),'STRING_TO_INT',[identifier(pos(451,3,60,17,60,20),sss)],integer(pos(452,3,60,25,60,26),0)),expression_definition(pos(24,1,11,2,11,27),myfunction,[identifier(pos(25,1,11,13,11,14),x)],definition(pos(26,1,11,19,11,27),'RSQRT',[identifier(pos(27,1,11,25,11,26),x)])),expression_definition(pos(453,3,18,3,18,25),'STRING_REV',[identifier(pos(454,3,18,14,18,17),xxx)],identifier(pos(455,3,18,22,18,25),xxx)),expression_definition(pos(161,2,45,3,45,38),'EXTERNAL_PREDICATE_RGT',[],mult_or_cart(pos(162,2,45,29,45,38),real_set(pos(163,2,45,29,45,33)),real_set(pos(164,2,45,34,45,38)))),expression_definition(pos(456,3,69,3,69,49),'EXTERNAL_PREDICATE_STRING_IS_NUMBER',[],string_set(pos(457,3,69,43,69,49))),expression_definition(pos(461,3,79,3,79,70),'EXTERNAL_FUNCTION_DEC_STRING_TO_INT',[],total_function(pos(462,3,79,42,79,70),mult_or_cart(pos(463,3,79,42,79,58),string_set(pos(464,3,79,42,79,48)),integer_set(pos(465,3,79,51,79,58))),integer_set(pos(466,3,79,63,79,70)))),expression_definition(pos(467,3,89,3,89,28),'INT_TO_STRING',[identifier(pos(468,3,89,17,89,20),sss)],string(pos(469,3,89,25,89,28),'0')),expression_definition(pos(474,3,117,3,117,43),'STRING_CONTAINS_STRING',[identifier(pos(475,3,117,26,117,30),arg1),identifier(pos(476,3,117,31,117,35),arg2)],boolean_false(pos(477,3,117,38,117,43))),expression_definition(pos(480,3,94,3,94,48),'INT_TO_DEC_STRING',[identifier(pos(481,3,94,21,94,28),integer),identifier(pos(482,3,94,29,94,38),precision)],string(pos(483,3,94,43,94,48),'0.0')),expression_definition(pos(195,2,18,3,18,42),'EXTERNAL_FUNCTION_REXP',[],total_function(pos(196,2,18,29,18,42),real_set(pos(197,2,18,29,18,33)),real_set(pos(198,2,18,38,18,42)))),expression_definition(pos(487,3,120,3,120,60),'SUB_STRING',[identifier(pos(488,3,120,14,120,27),substring_str),identifier(pos(489,3,120,28,120,42),substring_from),identifier(pos(490,3,120,43,120,55),substring_to)],string(pos(491,3,120,58,120,60),'')),expression_definition(pos(57,2,32,3,32,19),'RPOW',[identifier(pos(58,2,32,8,32,9),x),identifier(pos(59,2,32,10,32,11),y)],real(pos(60,2,32,16,32,19),'0.0')),expression_definition(pos(213,3,28,3,28,75),'EXTERNAL_FUNCTION_STRING_SPLIT',[],total_function(pos(214,3,28,39,28,75),mult_or_cart(pos(215,3,28,39,28,52),string_set(pos(216,3,28,39,28,45)),string_set(pos(217,3,28,46,28,52))),relations(pos(218,3,28,59,28,75),integer_set(pos(219,3,28,59,28,66)),string_set(pos(220,3,28,69,28,75))))),expression_definition(pos(221,3,10,3,10,36),'STRING_LENGTH',[identifier(pos(222,3,10,17,10,20),xxx)],function(pos(223,3,10,25,10,36),identifier(pos(224,3,10,25,10,31),length),[identifier(pos(225,3,10,32,10,35),xxx)])),expression_definition(pos(226,3,61,3,61,57),'EXTERNAL_FUNCTION_STRING_TO_INT',[],total_function(pos(227,3,61,39,61,57),string_set(pos(228,3,61,39,61,45)),integer_set(pos(229,3,61,50,61,57)))),expression_definition(pos(65,2,30,3,30,19),'RMIN',[identifier(pos(66,2,30,8,30,9),x),identifier(pos(67,2,30,10,30,11),y)],real(pos(68,2,30,16,30,19),'0.0')),predicate_definition(pos(79,2,42,3,42,21),'RGEQ',[identifier(pos(80,2,42,8,42,9),x),identifier(pos(81,2,42,10,42,11),y)],truth(pos(82,2,42,16,42,21))),expression_definition(pos(230,3,22,3,22,38),'STRING_CONC',[identifier(pos(231,3,22,15,22,31),string_conc_list)],string(pos(232,3,22,36,22,38),'')),expression_definition(pos(246,3,54,3,54,58),'EXTERNAL_FUNCTION_STRING_TO_LOWER',[],total_function(pos(247,3,54,41,54,58),string_set(pos(248,3,54,41,54,47)),string_set(pos(249,3,54,52,54,58)))),expression_definition(pos(250,3,23,3,23,58),'EXTERNAL_FUNCTION_STRING_CONC',[],total_function(pos(251,3,23,36,23,58),seq(pos(252,3,23,36,23,47),string_set(pos(253,3,23,40,23,46))),string_set(pos(254,3,23,52,23,58)))),expression_definition(pos(28,1,13,2,13,73),mypoints,[identifier(pos(29,1,13,11,13,16),scale)],lambda(pos(30,1,13,21,13,73),[identifier(pos(31,1,13,22,13,23),x)],member(pos(32,1,13,25,13,33),identifier(pos(33,1,13,25,13,26),x),interval(pos(34,1,13,27,13,33),integer(pos(35,1,13,27,13,28),1),integer(pos(36,1,13,30,13,33),300))),mult_or_cart(pos(37,1,13,35,13,72),identifier(pos(38,1,13,35,13,40),scale),definition(pos(39,1,13,41,13,72),myfunction,[definition(pos(40,1,13,52,13,71),'RDIV',[convert_real(pos(41,1,13,57,13,64),identifier(pos(42,1,13,62,13,63),x)),identifier(pos(43,1,13,65,13,70),scale)])])))),expression_definition(pos(103,2,28,3,28,19),'RMAX',[identifier(pos(104,2,28,8,28,9),x),identifier(pos(105,2,28,10,28,11),y)],real(pos(106,2,28,16,28,19),'0.0')),expression_definition(pos(255,3,33,3,33,40),'STRING_JOIN',[identifier(pos(256,3,33,15,33,18),xxx),identifier(pos(257,3,33,19,33,22),yyy)],function(pos(258,3,33,27,33,40),identifier(pos(259,3,33,27,33,31),join),[identifier(pos(260,3,33,32,33,35),xxx),identifier(pos(261,3,33,36,33,39),yyy)])),expression_definition(pos(262,3,95,3,95,69),'EXTERNAL_FUNCTION_INT_TO_DEC_STRING',[],total_function(pos(263,3,95,43,95,69),mult_or_cart(pos(264,3,95,43,95,58),integer_set(pos(265,3,95,43,95,50)),integer_set(pos(266,3,95,51,95,58))),string_set(pos(267,3,95,63,95,69)))),expression_definition(pos(276,3,45,3,45,67),'EXTERNAL_FUNCTION_STRING_CODES',[],total_function(pos(277,3,45,38,45,67),string_set(pos(278,3,45,38,45,44)),relations(pos(279,3,45,50,45,67),integer_set(pos(280,3,45,50,45,57)),integer_set(pos(281,3,45,60,45,67))))),expression_definition(pos(118,2,41,3,41,39),'EXTERNAL_PREDICATE_RGEQ',[],mult_or_cart(pos(119,2,41,30,41,39),real_set(pos(120,2,41,30,41,34)),real_set(pos(121,2,41,35,41,39)))),expression_definition(pos(287,3,102,3,102,24),'TO_STRING',[identifier(pos(288,3,102,13,102,16),sss)],string(pos(289,3,102,21,102,24),'0')),expression_definition(pos(301,3,98,3,98,36),'INT_TO_HEX_STRING',[identifier(pos(302,3,98,21,98,28),integer)],string(pos(303,3,98,33,98,36),'0')),expression_definition(pos(128,2,33,3,33,47),'EXTERNAL_FUNCTION_RLOG',[],total_function(pos(129,2,33,29,33,47),mult_or_cart(pos(130,2,33,29,33,38),real_set(pos(131,2,33,29,33,33)),real_set(pos(132,2,33,34,33,38))),real_set(pos(133,2,33,43,33,47)))),expression_definition(pos(136,2,39,3,39,39),'EXTERNAL_PREDICATE_RLEQ',[],mult_or_cart(pos(137,2,39,30,39,39),real_set(pos(138,2,39,30,39,34)),real_set(pos(139,2,39,35,39,39)))),expression_definition(pos(140,2,5,3,5,47),'EXTERNAL_FUNCTION_RSUB',[],total_function(pos(141,2,5,29,5,47),mult_or_cart(pos(142,2,5,29,5,38),real_set(pos(143,2,5,29,5,33)),real_set(pos(144,2,5,34,5,38))),real_set(pos(145,2,5,43,5,47)))),expression_definition(pos(149,2,6,3,6,19),'RSUB',[identifier(pos(150,2,6,8,6,9),x),identifier(pos(151,2,6,10,6,11),y)],real(pos(152,2,6,16,6,19),'0.0')),expression_definition(pos(317,3,11,3,11,56),'EXTERNAL_FUNCTION_STRING_LENGTH',[],total_function(pos(318,3,11,38,11,56),string_set(pos(319,3,11,38,11,44)),integer_set(pos(320,3,11,49,11,56)))),expression_definition(pos(321,3,34,3,34,75),'EXTERNAL_FUNCTION_STRING_JOIN',[],total_function(pos(322,3,34,39,34,75),mult_or_cart(pos(323,3,34,39,34,63),relations(pos(324,3,34,39,34,55),integer_set(pos(325,3,34,39,34,46)),string_set(pos(326,3,34,49,34,55))),string_set(pos(327,3,34,57,34,63))),string_set(pos(328,3,34,69,34,75)))),expression_definition(pos(340,3,52,3,52,58),'EXTERNAL_FUNCTION_STRING_TO_UPPER',[],total_function(pos(341,3,52,41,52,58),string_set(pos(342,3,52,41,52,47)),string_set(pos(343,3,52,52,52,58)))),expression_definition(pos(344,3,99,3,99,61),'EXTERNAL_FUNCTION_INT_TO_HEX_STRING',[],total_function(pos(345,3,99,43,99,61),integer_set(pos(346,3,99,43,99,50)),string_set(pos(347,3,99,55,99,61)))),expression_definition(pos(348,3,65,3,65,46),'EXTERNAL_PREDICATE_STRING_IS_INT',[],string_set(pos(349,3,65,40,65,46))),expression_definition(pos(365,3,82,3,82,31),'STRING_TO_ENUM',[identifier(pos(366,3,82,18,82,21),sss)],function(pos(367,3,82,26,82,31),empty_set(pos(368,3,82,26,82,28)),[integer(pos(369,3,82,29,82,30),1)])),expression_definition(pos(172,2,21,3,21,18),'RLOGe',[identifier(pos(173,2,21,9,21,10),x)],real(pos(174,2,21,15,21,18),'0.0')),expression_definition(pos(175,2,34,3,34,19),'RLOG',[identifier(pos(176,2,34,8,34,9),x),identifier(pos(177,2,34,10,34,11),y)],real(pos(178,2,34,16,34,19),'0.0')),expression_definition(pos(179,2,29,3,29,47),'EXTERNAL_FUNCTION_RMIN',[],total_function(pos(180,2,29,29,29,47),mult_or_cart(pos(181,2,29,29,29,38),real_set(pos(182,2,29,29,29,33)),real_set(pos(183,2,29,34,29,38))),real_set(pos(184,2,29,43,29,47)))),expression_definition(pos(370,3,27,3,27,42),'STRING_SPLIT',[identifier(pos(371,3,27,16,27,19),xxx),identifier(pos(372,3,27,20,27,23),yyy)],function(pos(373,3,27,28,27,42),identifier(pos(374,3,27,28,27,33),split),[identifier(pos(375,3,27,34,27,37),xxx),identifier(pos(376,3,27,38,27,41),yyy)])),expression_definition(pos(203,2,31,3,31,47),'EXTERNAL_FUNCTION_RPOW',[],total_function(pos(204,2,31,29,31,47),mult_or_cart(pos(205,2,31,29,31,38),real_set(pos(206,2,31,29,31,33)),real_set(pos(207,2,31,34,31,38))),real_set(pos(208,2,31,43,31,47)))),predicate_definition(pos(209,2,46,3,46,20),'RGT',[identifier(pos(210,2,46,7,46,8),x),identifier(pos(211,2,46,9,46,10),y)],truth(pos(212,2,46,15,46,20))),expression_definition(pos(377,3,83,3,83,91),'EXTERNAL_FUNCTION_STRING_TO_ENUM',[identifier(pos(378,3,83,36,83,55),'STRING_TO_ENUM_TYPE')],total_function(pos(379,3,83,61,83,91),string_set(pos(380,3,83,61,83,67)),identifier(pos(381,3,83,72,83,91),'STRING_TO_ENUM_TYPE'))),expression_definition(pos(51,2,27,3,27,47),'EXTERNAL_FUNCTION_RMAX',[],total_function(pos(52,2,27,29,27,47),mult_or_cart(pos(53,2,27,29,27,38),real_set(pos(54,2,27,29,27,33)),real_set(pos(55,2,27,34,27,38))),real_set(pos(56,2,27,43,27,47)))),expression_definition(pos(386,3,42,3,42,74),'EXTERNAL_FUNCTION_STRING_PADLEFT',[],total_function(pos(387,3,42,41,42,74),mult_or_cart(pos(388,3,42,41,42,62),mult_or_cart(pos(389,3,42,41,42,55),string_set(pos(390,3,42,41,42,47)),integer_set(pos(391,3,42,48,42,55))),string_set(pos(392,3,42,56,42,62))),string_set(pos(393,3,42,68,42,74)))),expression_definition(pos(394,3,19,3,19,54),'EXTERNAL_FUNCTION_STRING_REV',[],total_function(pos(395,3,19,36,19,54),string_set(pos(396,3,19,36,19,42)),string_set(pos(397,3,19,48,19,54)))),expression_definition(pos(398,3,119,3,119,69),'EXTERNAL_FUNCTION_SUB_STRING',[],total_function(pos(399,3,119,36,119,69),mult_or_cart(pos(400,3,119,36,119,58),mult_or_cart(pos(401,3,119,36,119,50),string_set(pos(402,3,119,36,119,42)),integer_set(pos(403,3,119,43,119,50))),integer_set(pos(404,3,119,51,119,58))),string_set(pos(405,3,119,63,119,69)))),expression_definition(pos(83,2,4,3,4,19),'RADD',[identifier(pos(84,2,4,8,4,9),x),identifier(pos(85,2,4,10,4,11),y)],real(pos(86,2,4,16,4,19),'0.0')),expression_definition(pos(87,2,17,3,17,17),'RTAN',[identifier(pos(88,2,17,8,17,9),x)],real(pos(89,2,17,14,17,17),'0.0')),expression_definition(pos(90,2,37,3,37,14),'RPI',[],real(pos(91,2,37,10,37,14),'3.14')),expression_definition(pos(406,3,103,3,103,76),'EXTERNAL_FUNCTION_TO_STRING',[identifier(pos(407,3,103,31,103,45),'TO_STRING_TYPE')],total_function(pos(408,3,103,51,103,76),identifier(pos(409,3,103,51,103,65),'TO_STRING_TYPE'),string_set(pos(410,3,103,70,103,76)))),expression_definition(pos(92,2,20,3,20,43),'EXTERNAL_FUNCTION_RLOGe',[],total_function(pos(93,2,20,30,20,43),real_set(pos(94,2,20,30,20,34)),real_set(pos(95,2,20,39,20,43)))),expression_definition(pos(416,3,53,3,53,62),'STRING_TO_LOWER',[identifier(pos(417,3,53,19,53,38),string_to_lower_str)],identifier(pos(418,3,53,43,53,62),string_to_lower_str)),expression_definition(pos(419,3,85,3,86,79),'EXTERNAL_FUNCTION_TYPED_STRING_TO_ENUM',[identifier(pos(420,3,85,42,85,61),'STRING_TO_ENUM_TYPE')],total_function(pos(421,3,86,24,86,79),mult_or_cart(pos(422,3,86,24,86,55),pow_subset(pos(423,3,86,24,86,48),identifier(pos(424,3,86,28,86,47),'STRING_TO_ENUM_TYPE')),string_set(pos(425,3,86,49,86,55))),identifier(pos(426,3,86,60,86,79),'STRING_TO_ENUM_TYPE'))),expression_definition(pos(107,2,24,3,24,42),'EXTERNAL_FUNCTION_RABS',[],total_function(pos(108,2,24,29,24,42),real_set(pos(109,2,24,29,24,33)),real_set(pos(110,2,24,38,24,42)))),expression_definition(pos(111,2,23,3,23,18),'RSQRT',[identifier(pos(112,2,23,9,23,10),x)],real(pos(113,2,23,15,23,18),'0.0')),expression_definition(pos(427,3,37,3,37,66),'EXTERNAL_FUNCTION_STRING_CHARS',[],total_function(pos(428,3,37,38,37,66),string_set(pos(429,3,37,38,37,44)),relations(pos(430,3,37,50,37,66),integer_set(pos(431,3,37,50,37,57)),string_set(pos(432,3,37,60,37,66))))),expression_definition(pos(433,3,78,3,78,51),'DEC_STRING_TO_INT',[identifier(pos(434,3,78,21,78,35),decimal_string),identifier(pos(435,3,78,36,78,45),precision)],integer(pos(436,3,78,50,78,51),0)),expression_definition(pos(437,3,47,3,47,45),'CODES_TO_STRING',[identifier(pos(438,3,47,19,47,38),codes_to_string_seq)],string(pos(439,3,47,43,47,45),'')),predicate_definition(pos(445,3,73,3,73,33),'STRING_IS_DECIMAL',[identifier(pos(446,3,73,21,73,24),sss)],equal(pos(447,3,73,30,73,33),integer(pos(448,3,73,30,73,31),1),integer(pos(449,3,73,32,73,33),1))),expression_definition(pos(146,2,25,3,25,17),'RABS',[identifier(pos(147,2,25,8,25,9),x)],real(pos(148,2,25,14,25,17),'0.0')),expression_definition(pos(153,2,14,3,14,42),'EXTERNAL_FUNCTION_RCOS',[],total_function(pos(154,2,14,29,14,42),real_set(pos(155,2,14,29,14,33)),real_set(pos(156,2,14,38,14,42)))),expression_definition(pos(157,2,43,3,43,38),'EXTERNAL_PREDICATE_RLT',[],mult_or_cart(pos(158,2,43,29,43,38),real_set(pos(159,2,43,29,43,33)),real_set(pos(160,2,43,34,43,38)))),expression_definition(pos(165,2,15,3,15,17),'RCOS',[identifier(pos(166,2,15,8,15,9),x)],real(pos(167,2,15,14,15,17),'0.0')),expression_definition(pos(458,3,51,3,51,62),'STRING_TO_UPPER',[identifier(pos(459,3,51,19,51,38),string_to_upper_str)],identifier(pos(460,3,51,43,51,62),string_to_upper_str)),expression_definition(pos(185,2,9,3,9,47),'EXTERNAL_FUNCTION_RDIV',[],total_function(pos(186,2,9,29,9,47),mult_or_cart(pos(187,2,9,29,9,38),real_set(pos(188,2,9,29,9,33)),real_set(pos(189,2,9,34,9,38))),real_set(pos(190,2,9,43,9,47)))),expression_definition(pos(470,3,90,3,90,57),'EXTERNAL_FUNCTION_INT_TO_STRING',[],total_function(pos(471,3,90,39,90,57),integer_set(pos(472,3,90,39,90,46)),string_set(pos(473,3,90,51,90,57)))),expression_definition(pos(191,2,10,3,10,19),'RDIV',[identifier(pos(192,2,10,8,10,9),x),identifier(pos(193,2,10,10,10,11),y)],real(pos(194,2,10,16,10,19),'0.0')),expression_definition(pos(478,3,74,3,74,50),'EXTERNAL_PREDICATE_STRING_IS_DECIMAL',[],string_set(pos(479,3,74,44,74,50))),expression_definition(pos(484,3,106,3,106,24),'STRINGIFY',[identifier(pos(485,3,106,13,106,16),sss)],string(pos(486,3,106,21,106,24),'0'))])])).
diff --git a/Reals/Grapher.svg b/Reals/Grapher.svg
new file mode 100644
index 0000000000000000000000000000000000000000..1816ddf534cf4de88e0b775a8bbee6e33d3522b1
--- /dev/null
+++ b/Reals/Grapher.svg
@@ -0,0 +1,10 @@
+<svg height="300" width="500">
+    
+    <polyline id = "fungraph"
+       points="0,0 0,1 10,1 10,0 90,0 90,1 100,1 100,0"
+       stroke="black" 
+       fill="none"
+       opacity="0.70"
+        />
+    <rect x="0" y="0" width="500" height="300" fill="none" stroke="black">
+</svg>