Function length of elements is odd

length of elements is odd

Format:

length of elements is odd

Input:

Output:

Conditional properties that reference this function:

• if (length of stack xs) % 2 = 1, then length of xs is odd (link)
• if the following are true:
  • the element at index src of stack towers = src_tower
  • get subtowersrc_tower = sub_tower
  • length of sub_tower is odd

  then towers of hanoi towers = towers of hanoi top disks towers

  (link)

Comments

Please log in to add comments