-- -*- M2-comint -*- {* hash: 143364136 *}
i1 : isHF({1,3,6,7,5,3})
o1 = true
i2 : isHF({2,3,4,3,2}) --doesn't start with a 1 in degree 0
o2 = false
i3 : isHF({1,3,6,8,14,3}) --growth from 8 to 14 is too high
o3 = false
i4 :
-- -*- M2-comint -*- {* hash: 143364136 *}
i1 : isHF({1,3,6,7,5,3})
o1 = true
i2 : isHF({2,3,4,3,2}) --doesn't start with a 1 in degree 0
o2 = false
i3 : isHF({1,3,6,8,14,3}) --growth from 8 to 14 is too high
o3 = false
i4 :
::
::
::
