all (all (polyreduce ([1, 0, 3]) == [1, 0, 3]))
