GBtype -- a key used in a Groebner basis, under which is stored a list, recording the type of Groebner basis computation done.
![[top]](top.gif)
![[index]](index.gif)