in de/synthetic.py [0:0]
def delete_rows(self, table, edit_points, edit_size=10):
pieces = []
for start, end in zip([0] + edit_points, edit_points + [1]):
start_idx = int(start * len(table))
end_idx = int(end * len(table))
if end == 1:
pieces.append(table.slice(start_idx, end_idx - start_idx))
else:
pieces.append(table.slice(start_idx, end_idx - start_idx - edit_size))
return pa.concat_tables(pieces).combine_chunks()