Function to clean a polynomial system in lossy-semiring.h is done.