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` の

殻)に使う。

• 範例資料目錄(下載 URL / 授權) —— 2-D 用 skimage.data(BSD/公有領域)加合成圖,3-D 給出真實資料源(Stanford/PDS 等)的下載 URL。

• 運算子來歷與參考文獻 —— 該運算子族所依據的研究/方法出處。

• sdf_csg — py -3.11 examples_3d/sdf_csg.py

*Provenance: sdf_ops.py — 3D 運算子登記表。本條目由 tools/opdocs.py md 自動產生(請勿手動編輯)。*

sdf_subtract — 3D sdf_csg op