\middle

Description 

Operator \middle defines a new vertex as middle of segment given by its two extremities. The two given parameters are symbols representing two vertices. This is not mandatory that an edge defined with those two vertices actually exists.
This operator should only appear within a step block.

Figure: Point ab2 is built as the middle of edge [a, b]

Usage

  ab2 = \middle(a,b);

Formal structure

  RETURN_VERTEX = \middle(VERTEX_1, VERTEX_2);

Parameters

  VERTEX_1
  Description    : Indicates the first vertex of the segment.
  Type           : Symbol, vertex identifier.
  Allowed values : Any vertex identifier previously defined.
  
  VERTEX_2
  Description    : Indicates the second vertex of the segment.
  Type           : Symbol, vertex identifier.
  Allowed values : Any vertex identifier previously defined.

Return value

  RETURN_VERTEX
  Description    : New vertex middle of given other vertices
  Type           : Symbol, vertex identifier
  Allowed values : Any vertex identifier not already defined

Conditions

• Vertex defined by VERTEX_1 should not be equivalent to the one describe by VERTEX_2 (equivalence notion is explains in ).