Symbolic and numerical computation in determining P-critical unit forms and Tits P-critical posets

A computation of positive one-peak posets that are Tits-sincere

“…is the Euler matrix of I (see [22]- [30]). Following [7]- [8] and [17]- [18], we call I positive if each (or some) of the forms q I , q I , and q I is positive, that is, q I (v) > 0 for any v = (v 1 , . .…”