^jt/dZddlmZddlmZmZmZmZddlm Z m Z ddl m Z ddl mZddlmZddlmZdd lmZdd lmZdd lmZdd lmZmZdd lmZddlmZddl m!Z!ddl"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*ddl+m,Z,m-Z-m.Z.m/Z/ddl0m1Z1m2Z2m3Z3m4Z4m5Z5e rddl6m7Z7ddl8m9Z9m:Z:d!dZ; d" d#dZ< d$ d%dZ=d&dZ>d'dZ?d(d)dZ@d*dZAd+dZBd,dZCd-d ZDy).a9 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**: - `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_Cut)BRepBuilderAPI_MakeFace)BRepLib_FindSurface)BRepOffsetAPI_ThruSections)BRepPrimAPI_MakePrism) ShapeFix_FaceShapeFix_Shape)TopAbs_ShapeEnum)TopExp_Explorer)TopTools_ListOfShape)TopoDSTopoDS_Compound TopoDS_Face TopoDS_Shape TopoDS_Shell TopoDS_Vertex TopoDS_Edge TopoDS_Wire) TOLERANCEBoundBoxVector VectorLike)Shape ShapeListdowncast shapetype!_make_topods_compound_from_shapes)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 isinstancerrrrr ValueErrortyperwrappedr%r# ShapeTyperTopAbs_COMPSOLIDr TopAbs_SOLIDMoreappendCurrentNextr')obj direction prism_builder extrusion shape_typesolidsexplorers Q/opt/ringagent/.cad-venv/lib/python3.12/site-packages/build123d/topology/utils.py_extrude_topods_shaper?_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) listlenr-r,r/rr AddVertexrAddWireBuildr#)objsfilledruledr7vertices vertex_count loft_builders r> _make_loftrOs}* :D 4y1}9::#Nz#++}'MNHNx=La899q47??M2 d2h&& 6 K  q t9>O  tAw 648++];K .fe_make_topods_face_from_wiresresu(9// ;IJJ'2${#K>  {" 4 E K K MABB * %DLLN DJJL)I*9d;L!+ ##J/MN Nj) !;;tzz|4)* +    1,2D2D2F1GHII    D  DLLN ;;t{{} %%r@clt|}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)rDr/extendr,) shapes_one shapes_twoshapeocct_oneocct_two occt_delta all_shapesshapes shape_deltas r>deltarqsj!Jj!J+56% 6H6+56% 6H6h)*JJz*MJvt$<&)F)LM&0PUEMMZ4O5PKP 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'r/r from_topo_dsrdiagonal)ros compositebboxs r>find_max_dimensionrzsQ!&(3V&F1f2M1992MNI  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)xyr|r}s r> isclose_brs 1a' ::r@cRt}|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)redgesr/Appendr SetArgumentsSetToolsSetRunParallelrHrr#r TopAbs_EDGEr3 __class__castr%r5 topo_parentr4r6r$) combinedobjectscombined_topo_edgesedgeoriginal_topo_edgesr7e operationrr= found_edges r> new_edgesr-sX/0 5 << #  & &t|| 45 /0%;ssyy{;!;;5 << #  & &t|| 45  !I ./ *+ T" OO Ey02B2N2NOH --/'',,Xh6F6F6H-IJ !)  Z   --/ U 'polarrWs) S( (&3wu~3F*F GGr@cv|d}|St|ttfr t|}|St|g|z}|S)zCreate a size tupleN)r,tuplerD)r7dimresults r>tuplifyr\sJ { M C% 's Mus{# Mr@c t|jtrY|Dchc]}t|j}}t |dk(r|j }|St|j}|St|j}|Scc}w)zReturn Shape's TopAbs_ShapeEnumr")r,r/rr&rEpop)r7o shapetypesrs r>unwrapped_shapetypergs|#++/478qi *8 8 z?a ^^%F Ms{{+F M3;;' M9sB )r7rr8r!returnr)F)rIzIterable[Vertex | Wire]rJboolrKrrr)N)r[rr\zIterable[TopoDS_Wire] | Nonerr)rhIterable[Shape]rirrz list[Shape])rozShape | Iterable[Shape]rfloat)g& .>g+=)r~rrrrr)rr#rr#rzShapeList[Edge])rrrrrztuple[float, float])r7rrintrz tuple | None)r7r#rr)E__doc__ __future__rmathrrrrtypingrr collections.abcr OCP.BRepr OCP.BRepAlgoAPIr OCP.BRepBuilderAPIr OCP.BRepLibrOCP.BRepOffsetAPIrOCP.BRepPrimAPIr OCP.ShapeFixrr OCP.TopAbsr OCP.TopExpr OCP.TopToolsr OCP.TopoDSrrrrrrrrbuild123d.geometryrrr r! shape_corer#r$r%r&r'zero_dr(one_dr)r*r?rOrerqrzrrrrrr@r>rs2h#++%$+6+816'&-   GF!&X= != =  =  = BJN9&9&*F9&9&x ;$'TH  r@