Ji5dZddlmZddlmZmZmZmZddlm Z m Z ddl m Z ddl mZddlmZmZmZddlmZdd lmZdd lmZdd lmZdd lmZmZdd lmZddl m!Z!ddl"m#Z#ddl$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-ddl.m/Z/m0Z0m1Z1m2Z2ddl3m4Z4m5Z5m6Z6m7Z7m8Z8e rddl9m:Z:ddl;m d$ d%dZ? d&dZ@ d' d(dZA d)dZBd*dZCd+dZDd,d-dZEd.dZFd/d ZGd0d!ZHd1d"ZIy)2a~ build123d topology name: utils.py by: Gumyr date: January 07, 2025 desc: This module provides utility functions and helper classes for the build123d CAD library, enabling advanced geometric operations and facilitating the use of the OpenCascade CAD kernel. It complements the core library by offering reusable and modular tools for manipulating shapes, performing Boolean operations, and validating geometry. Key Features: - **Geometric Utilities**: - `polar`: Converts polar coordinates to Cartesian. - `tuplify`: Normalizes inputs into consistent tuples. - `find_max_dimension`: Computes the maximum bounding dimension of shapes. - **Shape Creation**: - `_make_loft`: Creates lofted shapes from wires and vertices. - `_make_topods_compound_from_shapes`: Constructs compounds from multiple shapes. - `_make_topods_face_from_wires`: Generates planar faces with optional holes. - **Boolean Operations**: - `_topods_bool_op`: Generic Boolean operations for TopoDS_Shapes. - `new_edges`: Identifies newly created edges from combined shapes. - **Enhanced Math**: - `isclose_b`: Overrides `math.isclose` with a stricter absolute tolerance. This module is a critical component of build123d, supporting complex CAD workflows and geometric transformations while maintaining a clean, extensible API. license: Copyright 2025 Gumyr Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. ) annotations)radianssincosisclose)Any TYPE_CHECKING)Iterable) BRep_Tool)BRepAlgoAPI_BooleanOperationBRepAlgoAPI_CutBRepAlgoAPI_Splitter)BRepBuilderAPI_MakeFace)BRepLib_FindSurface)BRepOffsetAPI_ThruSections)BRepPrimAPI_MakePrism) ShapeFix_FaceShapeFix_Shape)TopAbs_ShapeEnum)TopExp_Explorer)TopTools_ListOfShape) TopoDSTopoDS_BuilderTopoDS_Compound TopoDS_Face TopoDS_Shape TopoDS_Shell TopoDS_Vertex TopoDS_Edge TopoDS_Wire) TOLERANCEBoundBoxVector VectorLike)Shape ShapeListdowncast shapetypeunwrap_topods_compound)Vertex)EdgeWirec<t|}|%t|tttt t fstdt|t||j}t|j}|j}|tjk(rg}t!|tj"}|j%rI|j't|j)|j+|j%rIt-|}|S)aextrude Extrude a Shape in the provided direction. * Vertices generate Edges * Edges generate Faces * Wires generate Shells * Faces generate Solids * Shells generate Compounds Args: direction (VectorLike): direction and magnitude of extrusion Raises: ValueError: Unsupported class RuntimeError: Generated invalid result Returns: TopoDS_Shape: extruded shape zextrude not supported for )r# isinstancerrr rr ValueErrortyperwrappedr(r& ShapeTyperTopAbs_COMPSOLIDr TopAbs_SOLIDMoreappendCurrentNext!_make_topods_compound_from_shapes)obj direction prism_builder extrusion shape_typesolidsexplorers i/workspace/moltex-experiments/.pixi/envs/default/lib/python3.12/site-packages/build123d/topology/utils.py_extrude_topods_shaperC`s(y!I {*  [+|L5d3i[ABB)#y/@/@AM,,./I$$&J%666"9.>.K.KLmmo MM(8#3#3#56 7 MMOmmo6f= cvt|}t|dkr td|Dcgc]}t|jt s|!}}t|}|dkDr td|dk(rEt|djt s(t|djt s td|dk(r^t|dk(r tdt|djt rt|djt s td t ||}|D]n}t|jt r|j|j9t|jtsT|j|jp|j|jScc}w) amake loft Makes a loft from a list of wires and vertices. Vertices can appear only at the beginning or end of the list, but cannot appear consecutively within the list nor between wires. Args: wires (list[Wire]): section perimeters ruled (bool, optional): stepped or smooth. Defaults to False (smooth). Raises: ValueError: Too few wires Returns: TopoDS_Shape: Lofted object zMore than one wire is requiredzOnly two vertices are allowedr%rz=The vertex must be either at the beginning or end of the listz=You can't have only 2 vertices to loft; try adding some wiresz9The vertices must be at the beginning and end of the list) listlenr0r/r2rr AddVertexr AddWireBuildr&)objsfilledruledr;vertices vertex_count loft_builders rB _make_loftrSsy* :D 4y1}9::#Ntz#++}'MtHNx=La899q47??M2 d2h&& 6 K  q t9>O  tAw 648++];K .fe  {" 4 E K K MABB * %DLLN djjl+I*9d;L! ##J/MN N$"     1,2D2D2F1GHII    D  DLLN == ''rDct|}t|}t}|D]}|j|t}|D]}|j||j||j ||j d|j t|j}t|tr t|d}|S)zGeneric boolean operation for TopoDS_Shapes Args: args: Iterable[TopoDS_Shape]: tools: Iterable[TopoDS_Shape]: operation: BRepAlgoAPI_BooleanOperation | BRepAlgoAPI_Splitter: Returns: TopoDS_Shape T) rHrAppend SetArgumentsSetToolsSetRunParallelrLr(r&r/rr*)argstools operationargr;toolresults rB_topods_bool_opr|s :D KE  C 3 !D C3 t T" OO ioo' (F&/*'5 MrDclt|}t|}|Dchc]}|j}}|Dchc]}|j}}t||z }g}||fD]'}|jt|tr|ng|)|Dcgc]}|j|vs|}}|Scc}wcc}wcc}w)z@Compare the OCCT objects of each list and return the differences)rHr2extendr/) shapes_one shapes_tworZocct_oneocct_two occt_delta all_shapesshapes shape_deltas rBdeltarAsj!Jj!J+56:% :H6+56:% :H6h)*JJz*Jvt$<&)F)L+&0PjUEMMZ4O5jKP 76 QsB'B, B1B1ct|tr|n|g}t|Dcgc]}|jc}}t j |t d}|jScc}w)z2Return the maximum dimension of one or more shapesT) toleranceoptimal)r/r r:r2r" from_topo_dsr!diagonal)rs compositebboxs rBfind_max_dimensionrPsU!&(3V&F1f2Mf199f2MNI  i ND ==3NsA!c t||||S)aDetermine whether two floating point numbers are close in value. Overridden abs_tol default for the math.isclose function. Args: x (float): First value to compare y (float): Second value to compare rel_tol (float, optional): Maximum difference for being considered "close", relative to the magnitude of the input values. Defaults to 1e-9. abs_tol (float, optional): Maximum difference for being considered "close", regardless of the magnitude of the input values. Defaults to 1e-14 (unlike math.isclose which defaults to zero). Returns: True if a is close in value to b, and False otherwise. )rel_tolabs_tol)r)xyrrs rB isclose_brXs 1a' ::rDcRt}|jD]*}|j|j|j,t}|Dcgc]}|jD]}|c}}D]*}|j|j|j,t }|j ||j ||jd|jg}t|jtj} | jrk|jjt!| j#} || _|j'| | j)| jrkt+|Scc}}w)anew_edges Given a sequence of shapes and the combination of those shapes, find the newly added edges Args: objects (Shape): sequence of shapes combined (Shape): result of the combination of objects Returns: ShapeList[Edge]: new edges T)redgesr2rrr rsrtrurLrr&r TopAbs_EDGEr6 __class__castr(r8 topo_parentr7r9r') combinedobjectscombined_topo_edgesedgeoriginal_topo_edgesr;erxrrA found_edges rB new_edgesrjsN/0  << #  & &t|| 4! /0%;gssyy{!{g; << #  & &t|| 4<  !I ./ *+ T" OO Ey02B2N2NOH --/'',,Xh6F6F6H-IJ !)  Z   --/ U 'g+=)rrrrrr)rr&rr&rzShapeList[Edge])rrrrrztuple[float, float])r;rrintrz tuple | None)r;r&rr)J__doc__ __future__rmathrrrrtypingrr collections.abcr OCP.BRepr OCP.BRepAlgoAPIr r rOCP.BRepBuilderAPIr OCP.BRepLibrOCP.BRepOffsetAPIrOCP.BRepPrimAPIr OCP.ShapeFixrr OCP.TopAbsr OCP.TopExpr OCP.TopToolsr OCP.TopoDSrrrrrrrrr build123d.geometryr!r"r#r$ shape_corer&r'r(r)r*zero_dr+one_dr,r-rCrSr:rpr|rrrrrrrrDrBrs+3j#++%$ 7+816'&-   GFUU!&X= != =  =  = @.2JN6(6(*F6(6(r$ $ !$C$ $N ;$'TH  rD