include // laser default_laser_d = 14; default_laser_l = 45; default_laser_holder_padding = [4, 1.5, 1.5]; // d - laser body diameter // l - laser body length // padding - see `laser_holder_wo_holes` for details function laser_holder_size( d = default_laser_d, l = 45, padding = default_laser_holder_padding) = ([d, l / 2, d] + padding * 2); // main frame size // in scanner coords // inner height is a bit random // TODO: choose constant size to use one frame for // many similar ranges main_frame_height_y = 150; main_frame_width_x = 34; main_frame_depth_z = 56; // wall and wall thickness $sbfwo = $scannerBodyFrontWallOffsetMm; $wawt = -$scannerBodyFrontWallOffsetMm + $scannerBodyWallThicknessMm; wt = $scannerBodyWallThicknessMm; wzo = $scannerBodyFrontWallOffsetMm; fwo = -wzo; back_wall_offset = fwo - main_frame_depth_z; bwo = back_wall_offset; top_wall_offset = -laser_holder_size()[2] / 2 + main_frame_height_y; two = top_wall_offset; // scanner coords fan_y_offset = 80; back_bottom_side_hole_offset = [0, bwo, 10]; back_top_side_hole_offset = [0, bwo, 120]; top_side_hole_offset = [0, 0, two]; front_bottom_side_hole_offset = [0, fwo, 12]; front_top_side_hole_offset = [0, fwo, 83];