period function, monotonicity, isochronicity, Lienard equation, polynomial systems