/dports/math/cvc4/CVC4-1.7/test/regress/regress1/nl/ |
H A D | sqrt-problem-1.smt2 | 8 (assert (let ((.def_48 (<= X (to_real 300)))) 9 (let ((.def_47 (<= (to_real (- 300)) X))) 11 (let ((.def_44 (<= |sqrt{10}| (to_real 300)))) 12 (let ((.def_43 (<= (to_real (- 300)) |sqrt{10}|))) 14 (let ((.def_40 (<= |sqrt{8}| (to_real 300)))) 15 (let ((.def_39 (<= (to_real (- 300)) |sqrt{8}|))) 17 (let ((.def_35 (<= (to_real 0) |sqrt{8}|))) 19 (let ((.def_33 (= .def_31 (to_real 3)))) 20 (let ((.def_29 (<= (to_real 0) |sqrt{10}|))) 23 (let ((.def_21 (<= X (to_real 2)))) [all …]
|
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.10/ |
H A D | Matrix.def | 73 extract n f = take (to_real n) @ drop (to_real f); 158 rows = replicate (to_real number) row; 181 cells = replicate (to_real number) (to_real item); 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; 342 to_real gheight - (p?1 - to_real ymin) * _yscale]; 346 (to_real gheight - p?1) / _yscale + to_real ymin]; [all …]
|
H A D | Image.def | 29 = image_new (to_real nwidth) (to_real nheight) (to_real nbands) 148 = [], to_real n == 0 977 (to_real nxres) (to_real nyres) 978 (to_real nxoff) (to_real nyoff)); 1008 ramp = Image (fn (to_real nwidth) (to_real nheight)); 1130 (to_real wrap) align.value (to_real dpi)); 1395 _result = Image (im_eye (to_real nwidth) (to_real nheight) 1428 grey = im_fgrey (to_real nwidth) (to_real sheight) * 1448 black = image_new (to_real psize) (to_real psize) 1 1479 strip = make_xy (to_real pwidth * to_real npatches) pheight; [all …]
|
H A D | _stdenv.def | 423 (to_real xoff) (to_real yoff), 859 (to_real x) (to_real y) (to_real w) (to_real h) 860 (to_real u) (to_real v), 893 (to_real max_error) (to_real max_iterations) (to_real order) 939 (to_real x) (to_real y) (to_real w) (to_real h), is_image im 1221 (to_real x1) (to_real y2) (to_real y3) 1233 (to_real s) (to_real m) (to_real h) 1234 (to_real sa) (to_real ma) (to_real ha), is_image in 1255 (to_real b) (to_real w) 1256 (to_real s) (to_real m) (to_real h) [all …]
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/harfbuzz-ng/src/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real () - param.min_x.to_real ()); in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real () - param.max_y.to_real ()); in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/harfbuzz-ng/src/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real () - param.min_x.to_real ()); in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real () - param.max_y.to_real ()); in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/native/libharfbuzz/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real () - param.min_x.to_real ()); in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real () - param.max_y.to_real ()); in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 … font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/lang/spidermonkey78/firefox-78.9.0/gfx/harfbuzz/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real () - param.min_x.to_real ()); in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real () - param.max_y.to_real ()); in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/devel/p5-Data-Types/Data-Types-0.17/t/ |
H A D | types.t | 147 ok( to_real(0) == 0 ); 148 ok( to_real(100) == 100 ); 149 ok( to_real(0.22) == 0.22 ); 150 ok( to_real(-4) == -4 ); 151 ok( to_real(-3.4) == -3.4 ); 152 ok( to_real('foo3.5') == 3.5 ); 153 ok( to_real('-35foo') == -35 ); 154 ok( to_real('foo-3') == -3 ); 155 ok( to_real('40foo') == 40 ); 158 ok( ! defined to_real('') ); [all …]
|
/dports/www/firefox-esr/firefox-91.8.0/gfx/harfbuzz/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/www/firefox/firefox-99.0/gfx/harfbuzz/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/mail/thunderbird/thunderbird-91.8.0/gfx/harfbuzz/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/print/harfbuzz/harfbuzz-3.4.0/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/print/harfbuzz-icu/harfbuzz-3.4.0/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/print/harfbuzz-hb-view/harfbuzz-3.4.0/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/www/lagrange/lagrange-1.7.3/lib/harfbuzz/src/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/native/libharfbuzz/ |
H A D | hb-ot-cff2-table.cc | 129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents() 130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents() 139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents() 140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents() 156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to() 159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to() 163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to() 164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to() 165 … font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
|
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.26/ |
H A D | Image.def | 31 = image_new (to_real nwidth) (to_real nheight) (to_real nbands) 397 (to_real nxres) (to_real nyres) 398 (to_real nxoff) (to_real nyoff)); 418 = cache (to_real tile_width) (to_real tile_height) 1632 (to_real wrap) align.value (to_real dpi)); 1888 _result = Image (im_eye (to_real nwidth) (to_real nheight) 1921 grey = im_fgrey (to_real nwidth) (to_real sheight) * 1941 black = image_new (to_real psize) (to_real psize) 1 2027 size = (to_real nstep * 2 + 1) * to_real psize - 2032 (to_real psize - to_real sepsize); [all …]
|
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.24/ |
H A D | Image.def | 31 = image_new (to_real nwidth) (to_real nheight) (to_real nbands) 397 (to_real nxres) (to_real nyres) 398 (to_real nxoff) (to_real nyoff)); 418 = cache (to_real tile_width) (to_real tile_height) 1520 (to_real wrap) align.value (to_real dpi)); 1776 _result = Image (im_eye (to_real nwidth) (to_real nheight) 1809 grey = im_fgrey (to_real nwidth) (to_real sheight) * 1829 black = image_new (to_real psize) (to_real psize) 1 1915 size = (to_real nstep * 2 + 1) * to_real psize - 1920 (to_real psize - to_real sepsize); [all …]
|
/dports/graphics/nip2/nip2-8.7.1/share/nip2/start/ |
H A D | Matrix.def | 39 = Matrix (identity_matrix (to_real s)), to_real s != len v; 51 = transpose [[to_real s, to_real s + to_real t .. to_real e]]; 67 to_real s != _s || to_real t != _t || to_real e != _e 294 f = to_real first; 327 f = to_real first; 340 drop (to_real first + to_real number) l; 365 f = to_real first; 366 n = to_real number; 397 f = to_real first; 398 n = to_real number; [all …]
|
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/8.4/ |
H A D | Matrix.def | 39 = Matrix (identity_matrix (to_real s)), to_real s != len v; 51 = transpose [[to_real s, to_real s + to_real t .. to_real e]]; 67 to_real s != _s || to_real t != _t || to_real e != _e 294 f = to_real first; 327 f = to_real first; 340 drop (to_real first + to_real number) l; 365 f = to_real first; 366 n = to_real number; 397 f = to_real first; 398 n = to_real number; [all …]
|
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.38/ |
H A D | Matrix.def | 39 = Matrix (identity_matrix (to_real s)), to_real s != len v; 51 = transpose [[to_real s, to_real s + to_real t .. to_real e]]; 67 to_real s != _s || to_real t != _t || to_real e != _e 294 f = to_real first; 327 f = to_real first; 340 drop (to_real first + to_real number) l; 365 f = to_real first; 366 n = to_real number; 397 f = to_real first; 398 n = to_real number; [all …]
|
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.40/ |
H A D | Matrix.def | 39 = Matrix (identity_matrix (to_real s)), to_real s != len v; 51 = transpose [[to_real s, to_real s + to_real t .. to_real e]]; 67 to_real s != _s || to_real t != _t || to_real e != _e 294 f = to_real first; 327 f = to_real first; 340 drop (to_real first + to_real number) l; 365 f = to_real first; 366 n = to_real number; 397 f = to_real first; 398 n = to_real number; [all …]
|
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/8.3/ |
H A D | Matrix.def | 39 = Matrix (identity_matrix (to_real s)), to_real s != len v; 51 = transpose [[to_real s, to_real s + to_real t .. to_real e]]; 67 to_real s != _s || to_real t != _t || to_real e != _e 294 f = to_real first; 327 f = to_real first; 340 drop (to_real first + to_real number) l; 365 f = to_real first; 366 n = to_real number; 397 f = to_real first; 398 n = to_real number; [all …]
|
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/8.2/ |
H A D | Matrix.def | 39 = Matrix (identity_matrix (to_real s)), to_real s != len v; 51 = transpose [[to_real s, to_real s + to_real t .. to_real e]]; 67 to_real s != _s || to_real t != _t || to_real e != _e 294 f = to_real first; 327 f = to_real first; 340 drop (to_real first + to_real number) l; 365 f = to_real first; 366 n = to_real number; 397 f = to_real first; 398 n = to_real number; [all …]
|