Boolean and Transform Signatures

union

• signature: union shape1 shape2 ...
• result: shape-like value

fuse

• alias of union

difference

• signature: difference base cut1 cut2 ...
• result: shape-like value

cut

• alias of difference

intersection

• signature: intersection shape1 shape2 ...
• result: shape-like value

common

• alias of intersection

xor

• signature: xor shape1 shape2 ...
• result: shape-like value

Boolean rule:

• minimum arity: one shape

translate

• signature: translate x y z shape
• result kind follows input shape kind

rotate

• signature: rotate x y z shape
• result kind follows input shape kind

scale

• verifier accepts:
• scale factor shape
• scale x y z shape
• native planner supports both forms
• FreeCAD lowerer currently expects explicit x y z shape
• result kind follows input shape kind

mirror

• signature: mirror axis offset shape
• axis: string or symbol naming mirror axis
• offset: numeric plane offset
• result kind follows input shape kind

Examples:

(translate 20 0 0 (box 10 10 10))
(rotate 0 0 45 (box 10 10 10))
(scale 2 2 1 (circle 10))
(mirror 'x 0 (box 10 10 10))