元魏北天竺沙门菩提留支译，先列僧佉计一，毗世计异，尼犍子计俱，若提子计不俱，次一一破之。