sdf_subtract — 3D sdf_csg op

• 데이터 종류: sdf × sdf → sdf

• 호출: import fullseye as fs; fs.ledger.sdf_subtract(a, b)(구현을 직접 호출하려면 import sdf_ops; sdf_ops.sdf_subtract(a, b), 원장에서 가져오려면 ops3d.get("sdf_subtract"))

사용법

차집합 A\B = max(a, -b)(A 의 안쪽 그리고 B 의 바깥쪽 = -b 의 안쪽).

b 의 부호 반전은 "B 의 밖을 안으로, B 의 안을 밖으로" 뒤집으므로(여집합), A 와의 곱이 A 에서 B 를 도려낸 형태가 된다. 비가환: sdf_subtract(a,b) != sdf_subtract(b,a).

계산: np.maximum(np.asarray(a, float64), -np.asarray(b, float64)). sdf_intersect(a, -b) 와 같다. shape 는 브로드캐스트 정합이 필요하며(부정합이면 numpy 의 ValueError) 그 밖의 검사는 하지 않는다. NaN 은 전파, ±inf 도엄밀히 전파된다(b = +inf 인 점은 -b = -inf 이므로 a 가 그대로 남는다 = "B 가 무한히 먼" 점은 A 그대로).

입력: 같은 격자 위의 2 개의 SDF(안쪽 음, 바깥쪽 양). a 가 남길 형태, b 가도려낼 형태. 거리 단위는 입력과 같다.

반환값: 브로드캐스트 후 shape 의 float64. <= 0 이 A\B 의 점유.

주의:

• B 의 안쪽에서 값은 -b > 0(B 의 표면까지의 거리)이 되므로, 도려낸 구멍의 내벽까지의 거리는 바깥에서는 엄밀, A 의 안쪽에서는 하계(CSG 의 표준적 성질).

• B 가 A 를 완전히 포함하면 모든 요소가 양(공집합). 오류는 아니다.

• 구멍 뚫기, 포켓 가공, 셸(a 와 sdf_offset(a, -t) 의 차로 두께 t 의셸)에 쓴다.

참고(샘플 데이터·문헌)

• 샘플 데이터 카탈로그(DL URL / 라이선스) —— 2-D 는 skimage.data(BSD/public)+ 합성, 3-D 는 실데이터 소스(Stanford/PDS 등)의 DL URL.

• 연산자의 내력·참고문헌 —— 이 연산자 족의 바탕이 된 연구/기법의 출처.

실행 가능한 예제(이 연산자를 실제로 호출하는 검증된 샘플)

• sdf_csg — py -3.11 examples_3d/sdf_csg.py

타입이 이어지는 다음 연산자(sdf 를 입력으로 받는 것)

sdf_to_occupancy · fuse_to_voxel · integrate · extract_surface_points · query_distance · sdf_union · sdf_intersect · sdf_smooth_union

같은 카테고리(sdf_csg)

grid_coords · sphere_sdf · box_sdf · plane_sdf · cylinder_sdf · torus_sdf · capsule_sdf · sdf_union


*Provenance: sdf_ops.py — 3D 연산자 레지스트리. 이 op 노트는 tools/opdocs.py md 가 자동 생성합니다(직접 편집하지 마세요).*

© 2026 Kazufumi Furuse — Fullseye operator documentation. Licensed under Apache-2.0.