Create isInfinite.sagews