kill-f-make-rh ( edge-face: b-edge edge-base-face: b-edge -- )

Vocabulary

euler.operators

Inputs

edge-face	a b-edge
edge-base-face	a b-edge

Outputs

None

Definition

USING: accessors euler.b-rep typed ;

IN: euler.operators

TYPED:: kill-f-make-rh
    ( edge-face: b-edge edge-base-face: b-edge -- )
    edge-face face>> :> face edge-base-face face>> :> base-face
    face assert-base-face base-face assert-base-face
    edge-face edge-base-face assert-different-faces
    face base-face add-ring ;