add filets

This commit is contained in:
zhao
2023-06-18 14:34:08 -04:00
parent 064e43397f
commit 59cf26a686
23 changed files with 109 additions and 17 deletions

View File

@ -10,16 +10,17 @@ module halfspace(vpos, p) {
cube(size=[inf, inf, inf], center=true);
} else {
translate(p)
align(a=ref, b = vpos)
alignPlanar(a=ref, b = vpos)
translate(v = [0, 0, -inf/2])
cube(size = [inf, inf, inf], center = true);
}
module align(a,b) {
rot_axis = cross(a,b);
angle = acos(a*b/(norm(a)*norm(b)));
}
rotate(v=rot_axis, a=angle)
children(0);
}
module alignPlanar(a,b) {
rot_axis = cross(a,b);
angle = acos(a*b/(norm(a)*norm(b)));
rotate(v=rot_axis, a=angle)
children(0);
}