-- -*- M2-comint -*- {* hash: 11056225 *}

i1 : bott({3,0,0},0)

o1 = {{3, 0, 0, 0}, 0, 20}

o1 : List

i2 : bott({3,0,0},1)

o2 = 0

i3 : bott({3,0,0},2)

o3 = 0

i4 : bott({3,0,0},3)

o4 = {{2, 0, 0, 0}, 2, 10}

o4 : List

i5 : bott({2,1,0},0)

o5 = {{2, 1, 0, 0}, 0, 20}

o5 : List

i6 :