Math.Algebra.NonCommutative.GSBasis
findOverlap
sPoly
gb1
reduce
gb
gb'
gb2
gb2'
mbasisQA