Lines Matching refs:to_real
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
87 = Matrix_con (sum v) 0 v, len v == to_real s
90 m = mksquare (to_real s);
122 m = mkcircle (to_real r);
294 f = to_real first;
327 f = to_real first;
339 delete first number l = take (to_real first) l ++
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;
458 idx = to_real i;