У меня есть файл json (размером около 40 МБ), который содержит координаты нескольких полигонов в массиве. В простейшем виде это выглядит так:
[
{"id":"0", "coords":[ [0,0], [0,1], [1,1], [1,0], [0,0] ]},
{"id":"1", "coords":[ [1,0], [1,1], [2,1], [2,0], [1,0] ]},
{"id":"2", "coords":[ [1,1], [1,2], [2,2], [2,1], [1,1] ]},
{"id":"3", "coords":[ [0,1], [0,2], [1,2], [1,1], [0,1] ]},
]
В настоящее время мой javascript читает это и на лету внутри браузера преобразует его в объект geo json.
Я хочу преобразовать это в формат topo json. Как я могу сделать это, пожалуйста? Можно ли сделать это прямо для массива координат или мне сначала нужно создать geo json, затем сохранить его где-нибудь в моей файловой системе и, наконец, передать его в мою процедуру (в Python может быть?), Которая будет выполнять преобразование в topo json?
В идеале я хотел бы создать топо json внутри браузера сразу после разбора файла json с диска, но я не знаю, возможно ли это.
Любая помощь с благодарностью!