DEFINITIONS
  "LibrarySVG.def";
  VISB_JSON_FILE == "";
  MAX_temp == 25;
  MAX_now == 42;
  ycoord(yy) == MAX_temp - yy;
  VISB_SVG_OBJECTS0 == rec(svg_class:"polygon", stroke:"lightgray", `stroke-width`:0.25, fill:"gray",
       transform: ```translate(0,${MAX_temp})```,
       points:svg_axis((0..(MAX_now)),1,(MAX_now),2)
      );

  VISB_SVG_BOX == rec(height:MAX_temp*10, width:MAX_now*10, viewBox:```0 0 ${MAX_temp} ${MAX_now}```);
  
  Curve(Var,Col,Name,Desc) == (
    rec(svg_class:"circle", r:0.5, cx: (now), cy: ycoord(Var(now)), fill:Col,
        title:```Value of ${Name} at time ${now} = ${Var(now)}```),
    rec(svg_class:"text",x:now+2, y:ycoord(Var(now)), text:Name, `font-size`:2.0,
         `alignment-baseline`:"middle",
         title:Desc),
    rec(svg_class:"polyline",
                points: UNION(i).(i:1..now &  i:dom(t1_c)| {(i,ycoord(Var(i))) }),
         `stroke-width`:0.3, stroke:Col, fill:"none"));
  
  VISB_SVG_OBJECTS1 == (Curve(temp,"red","temp","Temperature of Reactor"),
                        Curve(t1_c,"blue","t1_c","time since rod 1 used"),
                        Curve(t2_c,"purple","t2_c","time since rod 2 used"));
