Headers added for PolyAlg