ГОСТ Р ИСО 10303-513—2009
р23 ;cartesian_polnt:=
cartesian_pomt Ср23’. [-12.85S7522.48.31904. -15.320889));
р24 ;cartesian_polnt:=
carlesian_point Ср24’. [-15.3208889.47.5948565. -12.8557522)).
р25 ;cartesian_point:=
carteslan_pointCp25’. [-17.3205081.46.904158.-10.0)):
р26 :cartesian_polnt :=
cartesian_pointCp26’. [-18.7938524.46.3334772.-6.84040287J).
р27 :cartesian_point:=
cartesian_pointCp27‘. [-19.6961551.45.95717.-3.4729635));
p28 :cartesian_point:=
cartesian_point Cp28’. [-20.0.45.8257569.0.0)>;
p29 :cartesian_point:=
cartesian_point Cp29’. [-19.6961551.45.95717. 3.4729635));
p30 . cartesian_point ;=
carteslan_pomt Cp30‘. [-18.7938524.46.3334772.6.84040287));
p31 :carte3ian_polnt:»
car1eslan_pplnt(•p31•. [-17.3205081.46.904158.10.0)).
p32 :cartesian_pomt:=
carteslan_pomt Cp32\ [-15.3208889.47.5948565.12.8557522));
p33 :carteslan_polnt:!»
carteslan_pomt Cp33‘. [-12.8557522.48.31904.15.320889));
p34 . cartesian_point
carleslan_pomt Cp34’. [-10.0.48.9897949.17.3205081));
p35 :cartesian_point:=
carteslan_pomt (’р35’. (-6.8404029.49.529879.18.793852]);
p36 :cartesian_point:=
carteslan_pointfp36’. [-3.4 729636.49.8792394,19.6961551)):
poly : polyline := polyline (’poly*. (p1. p2. p3. p4. pS. p6.
p7.p8.p9.p10.p11, p12.p13.p14. р15.р1б.р17.
p18. p19. p20. p21. p22. p23. p24. p25. p26. p27,
p28. p29. p30. p31. p32. p33. p34. p3S. p36. p1]>;
v1; vertex_potnt := vertex_poiM(’v1\ p1);
v2 ;vertex_pomt := vertex_pomt (’v2’. pie).
v3 : vertex_point := vertex_point (’
у
З’. pbe).
v4 ;vertex_point;» vertex_polntCv4’. pre);
edgemO :edge_curve := edge_curve (’edgemO’. v1, v1. poly. TRUE);
edgetl.edge_curve ;= edge_curve (’edgetr, v2. v2. clrctop. TRUE).
edgeb2 : edge_curve := edge_curve (’edgeb2’. v3. v3. clrcbase. TRUE);
edger3 : edge_curve := edge_curve (‘edger3’. v4. v4, circrlght. TRUE);
oemOt:onented_edge := onented_edge (’оетОГ, edgemO. TRUE);
oemOf: orienled_edge ;= oriented_edge (’oemOf, edgemO. FALSE),
oetlt:oriented_edge ;= onented_edge (’oetH’. edgetl. TRUE);
oetlf : onented_edge .= orlented_edge (’oetlf. edgetl. FALSE);
oeb2t. onented_edge := oriented_edge (’oeb2f, edgeb2. TRUE);
oeb2f: oriented_edge := onented_edge (’oeb2F. edgeb2. FALSE);
oer3t: oriented_edge := onenled_edge (’oer3t’. edger3. TRUE);
oer3f; oriented_edge := oriented_edge (’оегЗГ. edger3. FALSE);
loopb . edgeJoop := edgeJoop (’loopb’. (oeb2f));
loopt ; edge_loop := edgeJoop (’loopt1. (oetlt)),
loopmldt : edgeJoop := edgeJoop (Toopmtdt’. [oemOt)).
tooprt: edge_loop := edgeJoop {’looprt’. (oer3t)).
loopbt : edgeJoop := edgeJoop (‘loopbr, [oeb2t]);
tooplf: edge_loop ;= edge_loop (’tooptf’. [oetlf]):
loopmldf : edge_loop ;= edgeJoop flooprmdf.[oemOf)).
tooprf; edge_»oop ;= edge_1oop(’looprf. (oer3f));
37