make-vefs ( pos1: point pos2: point -- edge: b-edge )


Vocabulary
euler.operators

Inputs
pos1a point
pos2a point


Outputs
edgea b-edge


Definition


TYPED:: make-vefs
( pos1: point pos2: point -- edge: b-edge )
b-rep get :> b-rep pos1 b-rep new-vertex
:> v1 v1 make-loop-face :> e1 pos2 b-rep new-vertex
:> v2 v2 e1 make-edge :> e2 e2 e1 next-edge<<
e1 e2 opposite-edges e2 ;