^ju dZddlmZddlmZmZmZmZmZddl m Z m Z m Z m Z ddl mZddlmZddlmZddlmZmZdd lmZdd lmZdd lmZmZdd lmZm Z m!Z!m"Z"m#Z#m$Z$dd l%m&Z&ddl'm(Z(m)Z)ddl*m+Z+m,Z,m-Z-m.Z.m/Z/m0Z0m1Z1m2Z2ddl3m4Z4ddl5m6Z6ddl7m8Z8m9Z9m:Z:m;Z;mZ>m?Z?m@Z@ddlAmBZBddlCmDZDmEZEddlFmGZGmHZHddlImJZJmKZKddlLmMZMmNZNmOZOmPZPddlQmRZRddlSmTZTe rddlUmVZVe dZWe>e9e?ddde;dddZXeeXZYd5dZZd6d Z[ d7d!Z\d8d"Z] d9d#Z^e d:d$Z_e d;d%Z_dd(Zad?d)Zbd@d*Zc dAd+ZdeJjd, dBd-ZfeJjd, dCd.ZgeJjd, dDd/Zh dEd0Zi dFd1Zj dGd2Zk dHd3Zly4)Ia build123d topology name: constrained_lines.py by: Gumyr date: September 07, 2025 desc: This module generates lines and arcs that are constrained against other objects. 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)atan2cosisnansinpi)overload TYPE_CHECKINGCallableTypeVar)cast) BRep_Tool)BRepAdaptor_Curve)BRepBuilderAPI_MakeEdgeBRepBuilderAPI_MakeVertex)BRepLib)GCPnts_AbscissaPoint) Geom_Curve Geom_Plane)Geom2d_CartesianPoint Geom2d_Circle Geom2d_Curve Geom2d_Line Geom2d_PointGeom2d_TrimmedCurve)Geom2dAdaptor_Curve)Geom2dAPI_ProjectPointOnCurveGeom2dAPI_InterCurveCurve)Geom2dGcc_Circ2d2TanOnGeom2dGcc_Circ2d2TanRadGeom2dGcc_Circ2d3TanGeom2dGcc_Circ2dTanCenGeom2dGcc_Circ2dTanOnRadGeom2dGcc_Lin2dTanOblGeom2dGcc_Lin2d2TanGeom2dGcc_QualifiedCurve)GeomAbs_CurveType)GeomAPI) gp_Ax2dgp_Ax3 gp_Circ2dgp_Dirgp_Dir2dgp_Lin2dgp_Plngp_Pntgp_Pnt2d)IntAna2d_AnaIntersection)Standard_ConstructionErrorStandard_Failure) TopoDS_Edge TopoDS_Vertex)SagittaTangency)Axis TOLERANCEVector VectorLike)Vertex) ShapeList)EdgeTWrap?c||z |z|zS)z(Map parameter u into [first, first+per).)ufirstperiods ]/opt/ringagent/.cad-venv/lib/python3.12/site-packages/build123d/topology/constrained_lines.py_norm_on_periodrJas I % ''cXt|||}t|||}||z }|dkr||z }|S)z^ Forward (positive) delta from u1 to u2 on a periodic domain anchored at 'first'. rB)rJ)u1u2rGrHu1nu2ndeltas rI_forward_deltarRfs> "eV ,C "eV ,C #IE s{  LrKctj|tt}tj|\}}t j |t }t|||}t||j}|||||fS)z8Convert a TopoDS_Edge into 2d curve & extract properties) rCurve_sfloatRange_sr(To2d_s_pln_xyrr&value)edgeposition_constainthcurve3drGlasthcurve2dadapt2dqcurves rI_edge_to_qualified_2dravsx   uw8H##D)KE4~~h0H"(E48G&g/A/G/G HF 8UD' 11rKct|||d}t|tj}t j ||S)z@Build a 3D edge on XY from a trimmed 2D circle segment [u1, u2].T)rr_surf_xyr@rBuildCurves3d_s) h2d_circlerMrNarc2d circle_edges rI_edge_from_circlerhs;  BD 9E)%:??AK K( rKc|||| td|jrt|||jn|}||tz k\xr ||tzkS)z?Normalize (if periodic) then test [first, last] with tolerance.z$Invalid parameters to _param_in_trim) TypeError IsPeriodicrJPeriodr:)rFrGr]h2ds rI_param_in_trimrns_ yEMT\S[>??36>>3C5#**,/A " " ?dY.>)>?rKcyNrEobj constaints rI _as_gcc_argrts rKcyrprErqs rIrtrts (QualifiedCurve, h2d, first, last, True) - Vector -> (CartesianPoint, None, None, None, False) z.Can't create a qualified curve from empty edger)TNF) rj isinstancewrappedr5rar1XYr)rrrsgp_pnts rIrtrtsh HII#++{+$S[[)rKcptt|j|jdj }tt|j|jdj }t ||}|j s td|jS)ad Build a finite Edge from two 2D contact points. Parameters ---------- p1, p2 : gp_Pnt2d Endpoints of the line segment (in 2D). edge_factory : type[Edge], optional Factory for building the Edge subtype (defaults to Edge). Returns ------- TopoDS_Edge Finite line segment between the two points. rz'Failed to build edge from line contacts) rr0rzr{r>rIsDone RuntimeErrorr@)p1p2v1v2mk_edges rI_edge_from_liners& #6"$$&"$$&!#< = D D FB "6"$$&"$$&!#< = D D FB%b"-G >> DEE <<>rKct|jj|jj}t |j j|j j}t t||S)z2Build a 2D reference line from an Axis (XY plane).)r1positionrzr{r- directionr.r))axprs rI_gp_lin2d_from_axisrsK .A0A GAqM ""rKc ddlm}m}m} ddlm}|d|d|d|di}|j|d t|d S#t $r ddlm}Y:wxYw#t$rtt|cYSwxYw) z;Debugging facility that works with OCP's GccEnt enum valuesr)GccEnt_enclosedGccEnt_enclosingGccEnt_outside)GccEnt_unqualified)GccEnt_noqualifierenclosed enclosingoutside unqualifiedzunknown()) OCP.GccEntrrrr ImportErrorrgetint Exceptionstr)qrrrrmappings rI_qstrrsPP L 5 Z k I    {{1Q233 L K L 3q6{s1 A<(AA A AAA10A1c|Dcgc]9}t|djtrt|djnd;}}|Dcgc])}|duxr!|j t j k(+}}t|r t|S|j}t|j|jd}t|} tt|||D]Y\} \} } }t|dtr| s!||djz j |dj"ksN| t$z| | <[| Scc}wcc}w)aa Adjusts solution-circle parameters by adding pi if the solution circle is enclosed within a tangent circular edge. Only applies when at least one tangent input is non-circular: GccAna_Circ2d3Tan (invoked for all-circle inputs) already computes the correct tangent direction for the enclosed case, so no offset is needed there. rN)rxryr5rGetTyper'GeomAbs_CirclealllistLocationr;rzr{ enumeratezip arc_centerlengthradiusr) tangent_tuplesrparamstadaptsais_circ center_pnt center_vrtparsipar circ_flags rI_enclosed_circ_param_offsetrsG&  !A$,, 4 adll + F   I!))+):)I)IIIG  7|F|J  :J >1LBhDG  K5s >E .E )sagittac|Dcgc]&}t|tr|n|tjf(}}|Dcgc] }t | }}t tt |\}tg||t}|jr|jdk(r tddfd } g} td|jdzD]} |j| } t} |j| | \}}| d|s=t}|j!| |\}}| d|sf|t"j$k(r| j't)| ||t)| ||}t+|d}| j-||j.t1| Dcgc] }|| c}Scc}wcc}wcc}w)a Create all planar circular arcs of a given radius that are tangent/contacting the two provided objects on the XY plane. Inputs must be coplanar with ``Plane.XY``. Non-coplanar edges are not supported. Args: tangencies (tuple[Edge, PositionConstraint] | Edge | Vertex | VectorLike: Geometric entity to be contacted/touched by the circle(s) radius (float): Circle radius for all candidate solutions. Raises: ValueError: Invalid input ValueError: Invalid curve RuntimeError: no valid circle solutions found Returns: ShapeList[Edge]: A list of planar circular edges (on XY) representing both the minor and major arcs between the two tangency points for every valid circle solution. rzUnable to find a tangent arcc@|sdSt||||Sz9Does the given parameter value lie within the edge range?TrnrrFe_firste_lasth_eis_edges rI_okz _make_2tan_rad_arcs.._okg5  D (6q'!*fQiQTUVQW(X rKr=c>tjt|SrprLength_sres rIz%_make_2tan_rad_arcs..$8$A$ABSTUBV$WrKkeyrrrFrUreturnbool)rxtupler8 UNQUALIFIEDrtmaprr r:r NbSolutionsrrange ThisSolutionr1 Tangency1 Tangency2r7BOTHextendrsortedappendrYr?)rr edge_factory tangenciesrrresultsq_ogccr solutionsrrru_circ1u_arg1ru_circ2u_arg2arcsrrrrrs @@@@rI_make_2tan_rad_arcsr<s>KUEFZ5 !8+?+?'@@N )771{A7G7),UCM)B&Cgvw ! :3 : : :C ::<3??,19::  $&I 1coo'!+ ,!2**1-Z--2.1f~ Z--2.1f~  gll "   7gwO P-dGWEDWD   T'--0 1C!2D y9!l1o9 ::s 8h:s+GG*G c0t||gzDcgc]&}t|tr|n|tjf(}}|Dcgc] }t | }}t tt|\}tddd}tt|D cgc]} | r| | z dz | z} } tdkDrt|d|d|tg| } nBt|dtsJt|dtsJt|d|d|t} | jr| j!dk(r t#ddfd } g} td| j!dzD]} | j%| }t'}| j)| |\}}| d|s=t'}| j+| |\}}| d|sft-||||g\}}|t.j0k(r| j3t5|||t5|||}t7|d}| j9||j:t=| Dcgc] }|| c}Scc}wcc}wcc} wcc}w) a Create all planar circular arcs whose circle is tangent to two objects and whose CENTER lies on a given locus (line/circle/curve) on the XY plane. Notes ----- - `center_on` is treated as a **center locus** (not a tangency target). r=rz6Unable to find a tangent arc with center_on constraintc@|sdSt||||Srrrs rIrz_make_2tan_on_arcs.._okrrKc>tjt|Srprrs rIrz$_make_2tan_on_arcs..rrKrr)rrxrr8rrtrrrrlensumrr:rrrrrr1rrrr7rrrrrrYr?) center_onrrrrrrradapt_onrguessesrrrrrrrrrrrrrrrrs @@@@rI_make_2tan_on_arcsrs$j!YK/ 5 !8+?+?'@@N )771{A7G7*-UCM)B&Cgvw"3q671:vayAH s>*+ 1: WQZ 1$wqz1G  7|a$SVSVXyS7S#a&,///#a&,///$SVSVXyI ::<3??,1STT  $&I 1coo'!+ ,2**1-Z--2.1f~ Z--2.1f~ 6 D7G"4  gll "   7gwO P-dGWEDWD   T'--0 172: y9!l1o9 ::K 8n:s+JJ  J.Jc|Dcgc]&}t|tr|n|tjf(}}|Dcgc] }t | }}t tt |\}ttdDcgc]}||z dz |zc}}d} tg|t|} | jr| jdk(r t| d fd } g} td| jdzD] }| j|}t!}| j#||\}}| d|s>t!}| j%||\}}| d|sgt!}| j'||\}}| d|st)|||||g\}}}|t*j,k(r| j/t1|||t1|||}t3|d }| j5||j6t9| Dcgc] }|| c}Scc}wcc}wcc}w#ttf$r} t| | d} ~ wwxYwcc}w) aw Create planar circular arc(s) on XY tangent to three provided objects. The circle is determined by the three tangency constraints; the returned arc(s) are trimmed between the two tangency points corresponding to `tangencies[0]` and `tangencies[1]`. Use `sagitta` to select the shorter/longer (or both) arc. Inputs must be representable on Plane.XY. rz4Unable to find a circle tangent to all three objectsNrc@|sdSt||||Srrrs rIrz_make_3tan_arcs.._okrrKr=c>tjt|Srprrs rIrz!_make_3tan_arcs..Gs2;;rr;r1rzr{rtrPnt2dr:r?r+r)r-rrlrrhr&r"rrrrrrn)tangencycenterr object_one obj1_qualloc_xyzbasec2dvq_o1h_e1e1_firste1_lastis_edge1solutions_topordxdyrrrmperrrr _u_on_circu_on_argrs rI_make_tan_cen_arcsrNsm((E" ( I ((*>*>I &&!%+__%@&//fQPQlf~tvv )466GII+=> 6NqssACC  /:*i.P+D$'8(*N  4)>? JJL!##%#%%'/B "WrBw 3 & >R= hsC&891=D!jjl/S#>?$ 8999$T+@+EyQ JJLS__.2 ? > ? 2q#//+a/0 DA##A&DB#&==B#7 Jx7D Q %C**,C  ! !"3Cc"B C D ~>!l1o> ??>s9Kct|tr|\}}n|tj}}t ||\}t|tr|dn|}t|j t s tdt|j tj\}} } } } t|| |t} | jr| jdk(r tddfd }g}td| jdzD]}| j|}t!}| j#||\}}||s<|j%}t'|| }t)t*|j-d}t/|| | | st1|}|j3}|j5t7|d|t9|Dcgc] }|| c}Scc}w)uE Create planar circle(s) on XY that: - are tangent/contacting a single object, and - have a fixed radius, and - have their CENTER constrained to lie on a given locus curve. Notes ----- - The center locus must be a 2D curve (line/circle/any Geom2d curve) — i.e. an Edge after projection to XY. - With only one tangency, the natural geometric result is a full circle; arc cropping would require an additional endpoint constraint. This routine therefore returns closed circular edges (2π trims) for each valid solution. rz;center_on must be an Edge (line/circle/curve) for TanOnRad.z1Unable to find circle(s) for TanOnRad constraintsc(sdSt|S)NTr)rFrrrrs rI_ok1z#_make_tan_on_rad_arcs.._ok1s#tS8Wd)SSrKr=rB)rFrUrr)rxrr8rrtryr5rjrar#r:rrrrrr1rrrtcastrU Parameterrnrrlrrhr?)rrrrr r ron_obj_h_on2don_firston_lastrrrrrrrrrcenter2dproju_onrmrrrrrrs @@@@rI_make_tan_on_rad_arcsr)s.(E" ( I ((*>*>I /:*i.P+D$'8( 59Yq\yF fnnk 2UVV.C,,.*Avx( #469 EC ::<3??,1NOOTT$&I 1coo'!+ ,;**1- J"}}Q2 HH~ ==?-Xv>UDNN1-.dHgv> D!jjl*3S9:-;0 y9!l1o9 ::9sG+ct|tr|\}}n|tj}}t ||\}}}}}t|t r2t |j|j}t||t} nKt|tr|\} } n|tj} } t | | \} } }}}t|| t} | jr| jdk(r tdg}td| jdzD]}t| j!|}t#||}|j%d}t|t r!t |j|j}nt#| }|j%d}|j'|}t)|s |tkr|j+t-||t/|Dcgc] }|| c}Scc}w)z Construct line(s) tangent to two curves. Parameters ---------- curve1, curve2 : Edge Target curves. Returns ------- ShapeList[Edge] Finite tangent line(s). rz%Unable to find common tangent line(s)r=)rxrr8rrtr;r1rzr{r%r:rrrrrrrPointDistancerrrr?) tangency1 tangency2rr r q1c1r"pnt_2dr object_two obj2_qualq2c2 out_edgesrlin2dinter_ccpt1pt2 separationrs rI_make_2tan_linesr<s&)U# ) I )8+?+?I !*i8OBAq!)V$)++y{{3!"fi8 i '$- !J $-x/C/C J%j)<B1a!"b)4 ::<3??,1BCC#%I 1coo'!+ ,4C,,Q/0-UB7nnQ i (9;; 4C0;H..#C\\#&   Y 6 c23'4( y9!l1o9 ::9s)G?ct|tr|\}}n|tj}}t t |j j dz tkr tdt||\}}}}}|j }t|j|j} | |z} tt| t| } t!|} t#|| t|} g}t%d| j'dzD]}t)}| j+||t-|| }t/|| }|j1r|j3dk(r[|j5dj7}|j9|}t;|s |tkr|j=t?||tA|Dcgc] }|| c}Scc}w)z Construct line(s) tangent to a curve and forming a given angle with a reference line (Axis) per Geom2dGcc_Lin2dTanObl. Trimmed between: - the tangency point on the curve, and - the intersection with the reference line. r=z1reference Axis can't be perpendicular to Plane.XYr)!rxrr8rr~rZr: ValueErrorrtrr{rzr-rrrr$rrr1rr.r2rNbPointsr+Valuer,rrrr?)r referenceanglerr r q_curver"ref_dir theta_ref theta_absdir2dref_linroutrp_tantan_lineinterp_isectr;rs rI_make_tan_oriented_linesrO2s(E" ( I ((*>*>I  3y""$$ % )*Y6LMM%j)<GQ1a!!Ggii+IE!I S^S^ 4E"),G )U CCC 1coo'!+ ,4  aE5))7;||~!1Q!6 ++a.&&(^^G,   Y 6  ?5'23'4* s3!l1o3 443s GN)rFrUrGrUrHrUrrU) rMrUrNrUrGrUrHrUrrU)rZr5r[r8rzPtuple[Geom2dGcc_QualifiedCurve, Geom2d_Curve, float, float, Geom2dAdaptor_Curve])rerrMrUrNrUrr5) rF float | NonerGrPr]rPrmzGeom2d_Curve | Nonerr)rrr@rsr8rzVtuple[Geom2dGcc_QualifiedCurve, Geom2d_Curve | None, float | None, float | None, bool])rrr;rsr8rz4tuple[Geom2d_CartesianPoint, None, None, None, bool])rrz Edge | Vectorrsr8rzntuple[Geom2dGcc_QualifiedCurve | Geom2d_CartesianPoint, Geom2d_Curve | None, float | None, float | None, bool])rr+rMrUrNrUrzlist[TopoDS_Edge])rr1rr1rr5)rr9rr.)rr)rz$list[tuple[Edge | Vector, Tangency]]rr+r list[float]rrQ) r%tuple[Edge, Tangency] | Edge | VectorrrUrr7rCallable[[TopoDS_Edge], Edge]rShapeList[Edge]) rrRrr@rr7rrSrrT)rrRrr7rrSrrT)rrRrzVectorLike | VertexrrSrrT) rrRrr@rrUrrSrrT)r-tuple[Edge, Tangency] | Edger.rRrrSrrT) rrUrBr9rCrUrrSrrT)m__doc__ __future__rmathrrrrrtypingr r r r r rOCP.BReprOCP.BRepAdaptorrOCP.BRepBuilderAPIrr OCP.BRepLibr OCP.GCPntsrOCP.Geomrr OCP.Geom2drrrrrrOCP.Geom2dAdaptorr OCP.Geom2dAPIrr OCP.Geom2dGccrr r!r"r#r$r%r& OCP.GeomAbsr' OCP.GeomAPIr(OCP.gpr)r*r+r,r-r.r/r0r1 OCP.IntAna2dr2 OCP.Standardr3r4 OCP.TopoDSr5r6build123d.build_enumsr7r8build123d.geometryr9r:r;r<zero_dr> shape_corer?build123d.topology.one_dr@rArXrcrJrRrarhrnrtrrrrrSHORTrrrrr)r<rOrErKrIrps:#++== -Q++2R   *   2E13BB!- sC-vc3/DE F g  (  2 2+32U2(@@(@0<@CV@ @  "   ? ?$?9? ? B. $)28#,'8' ' ' 'Z}}W;6W; W;W;0 W;  W;z}}U;6U;U;U;0 U;  U;t}}];6]; ];0]; ];@P@3P@ P@0 P@  P@fJ;3J;J;  J; 0 J;  J;d<;+<;4<;0 <;  <;~<5*<5<5 <5 0 <5  <5rK