5 spike_top_width = 21.04;
7 spike_botpos_height = 9.5;
8 spike_botpos_width = 11.68;
12 module NegativePlan(){
14 (spike_top_width - spike_botpos_width) /
15 (main_height - spike_botpos_height);
17 x0 = (spike_botpos_width - x4z * spike_botpos_height)/2;
18 x1 = spike_top_width/2;
29 module PositivePlan(){
30 w = spike_top_width + topwall_width*2;
31 translate([ -w/2, 0 ])
32 square([ w, main_height ]);