PLURAL is a kernel extension of SINGULAR, providing many algorithms for computations ... with a Poincaré-Birkhoff-Witt (PBW) basis, (see G-algebras for ...
確定! 回上一頁