augmentWeylFilling -- append an entry to a row of a WeylFilling

• Usage:

  augmentWeylFilling(T, r, e)

• Inputs:
  • T, an instance of the type WeylFilling,
  • r, an integer, row index
  • e, an integer, entry to append
• Outputs:
  • an instance of the type WeylFilling, a new filling where e has been appended to the end of row r, or (if r >= #T) a new final row {e} has been created

i1 : T = weyl {{0,1},{2}}

     +-+-+
o1 = |0|1|
     |2| |
     +-+-+

o1 : WeylFilling

i2 : augmentWeylFilling(T, 0, 2)

     +-+-+-+
o2 = |0|1|2|
     |2| | |
     +-+-+-+

o2 : WeylFilling

i3 : augmentWeylFilling(T, 1, 3)

     +-+-+
o3 = |0|1|
     |2|3|
     +-+-+

o3 : WeylFilling

i4 : augmentWeylFilling(T, 2, 4)

     +-+-+
o4 = |0|1|
     |2| |
     |4| |
     +-+-+

o4 : WeylFilling