Added polyutil.jl