part(InfiniteNumber,InfiniteNumber,RingElement), see part(ZZ,ZZ,VisibleList,RingElement) -- select terms of a polynomial by degree or weight
part(InfiniteNumber,InfiniteNumber,VisibleList,RingElement), see part(ZZ,ZZ,VisibleList,RingElement) -- select terms of a polynomial by degree or weight