\fraction

Description 

Operator \fraction is an extension of the \middle operator (cf. §). It allows to define a new vertex as a given fraction of segment defined by its two extremities. The two 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: Example of operator \fraction

Usage

  ab4 = \fraction(a, b, 1, 4);
  cd5_4 = \fraction(c, d, 5, 4);% cd5_4 doesn't belong to segment [c,d]

Formal structure

  RETURN_VERTEX = \fraction(VERTEX_1, VERTEX_2, NUMERATOR, DENOMINATOR);

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.
  
  NUMERATOR
  Description    : Indicates the upper integer of the fraction.
  Type           : integer.
  Allowed values : Any integer.
 
  DENOMINATOR
  Description    : Indicates the lower interger of the rational.
  Type           : integer.
  Allowed values : Any integer value excepted zero.

Return value

  RETURN_VERTEX
  Description    : Symbol reference of the new vertex created as
                   fraction  of both others.
  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 described by VERTEX_2 (for information about vertices equivalence cf. §).
• DENOMINATOR not equal to zero.