Lines Matching refs:to_real
73 extract n f = take (to_real n) @ drop (to_real f);
155 = mat.Matrix_base (insert (to_real first) rows mat.value)
157 row = replicate mat.width (to_real item);
158 rows = replicate (to_real number) row;
179 (map (insert (to_real first) cells) mat.value)
181 cells = replicate (to_real number) (to_real item);
191 delete first number l = take (to_real first) l ++
192 drop (to_real first + to_real number) l;
335 _xrange = to_real xmax - to_real xmin;
336 _yrange = to_real ymax - to_real ymin;
337 _xscale = to_real gwidth / _xrange;
338 _yscale = to_real gheight / _yrange;
341 _to_image p = [(p?0 - to_real xmin) * _xscale,
342 to_real gheight - (p?1 - to_real ymin) * _yscale];
345 _from_image p = [p?0 / _xscale + to_real xmin,
346 (to_real gheight - p?1) / _yscale + to_real ymin];
360 background = plot_image_new (to_real gwidth) (to_real gheight) 0;
363 mark_width = max_pair 1 (to_real gwidth / 100);
364 mark_height = max_pair 1 (to_real gheight / 100);
376 xaxis = plot_image_new (to_real gwidth) 1 ax_col;
377 yaxis = plot_image_new 1 (to_real gheight) ax_col;