Math.Algebra.NonCommutative.GSBasis

findOverlap

sPoly

gb1

reduce

gb

gb'

gb2

gb2'

mbasisQA