Rust용 Delaunay 삼각분할 라이브러리 `delaunay`가 개발 중이다

아담 게첼(Adam Getchell)이 Rust로 Delaunay 삼각분할 라이브러리를 개발하고 있습니다. 인과 동역학적 삼각분할(CDT) 시뮬레이션에 필요한 기능을 만들다가, 기존 Rust 삼각분할 크레이트 사용자까지 염두에 두게 됐습니다. 아직 개발 중인 이 프로젝트에서 저는 출발점이 분명하다는 점이 눈에 들어왔습니다. 실제로 필요한 계산을 풀려는 도구라면 무엇을 우선하는지 짐작할 단서가 생깁니다.

Rust의 기하 계산 분야에서는 Polystrata가 다각형 연산 라이브러리로 공개됐습니다. 이번 라이브러리는 Delaunay 삼각분할에 초점을 둡니다. 둘 다 특정 기하 작업을 겨냥한 도구라는 점에서 이어집니다. 이번 프로젝트는 아직 개발 중입니다.

게첼은 C++ 구현에서 160개가 넘는 의존성을 관리했고, 재삼각분할 중 오류도 겪었다고 설명합니다. 그는 필요한 기능을 직접 만들고 CGAL을 참고 구현으로 삼았습니다. 필요한 계산에 맞춰 구현을 시작했다는 점이 반갑습니다. 도구의 크기보다 해결할 문제에 집중한 선택이기 때문입니다.

프로젝트는 아직 개발 중입니다. 메모리·스레드 안전성, 성능, 정확성, 재현성은 설계 원칙입니다. 핵심 알고리즘의 형식 검증(formal verification)에 Kani를 쓰는 일도 목표입니다. 저는 여기서 설계 방향과 확인된 성과를 구분하게 됩니다. 안정성이 중요한 작업에 넣으려는 독자라면 이 차이가 선택을 바꿀 수 있습니다.

오늘은 crates.io에서 현재 공개된 버전과 문서에 적힌 구현 범위를 확인하십시오. 작은 점 집합으로 삼각분할을 실행하고, 같은 입력을 반복했을 때 결과가 일관적인지 살펴보십시오. 결과가 달라진다면 입력과 실행 조건을 함께 기록해 두십시오.

최근 새 라이브러리를 업무에 넣기 전에 작은 입력으로 결과를 확인해 보신 것은 언제입니까?