Open a model to see its mathematical description.

Proportions

These controls scale the entire object uniformly along each axis and do not change its combinatorial structure.

Width 1.00

Depth 1.00

Height 1.00

Measurements

Faces

Faces are grouped by their number of vertices. Their planar shapes are normalized only for comparison.

Click a graph node to highlight the corresponding vertex or face on the model. Click it again to clear the selection.

Layout LabelsColor by

Open a model to build its graphs.

Laboratory

Загрузите свою модель, затем используйте вкладки проверки, координат и графов. Файл обрабатывается локально.

ТАЙМЕР ПРОЦЕССА00:00Ожидание

01 / Многогранный объект

Открыть SAT, JSON, STL, OBJ, OFF или PLY

Файл не открыт

Поддерживаются замкнутые ориентируемые и неориентируемые поверхности, включая самопересекающиеся исследовательские модели. Незамкнутые поверхности пока не загружаются. Компланарные STL-треугольники автоматически объединяются.

02 / Граф или карта

Открыть граф

Графы: JSON, GraphML, GEXF, GML, DOT/GV, CSV и текстовый список рёбер.

Открыть карту

Карты: JSON с обходами граней или системой вращения, MAP/ROTATION и текстовые списки циклических соседей.

02 / Расширенное изменение плоскостей

Сохранять найденную симметрию

Проверяются перестановки и смены знаков осей.

Только проверенные целые варианты

Грань / симметричная группа

Сдвиг плоскости, % габарита 0.00

Диапазон U/V, ±°Шаг U/V, °

Наклон U, ° 0.00

Наклон V, ° 0.00

Расчёт после отпускания ползунка. Недопустимый вариант отклоняется. При фиксации симметрии одновременно движется вся группа граней. Два наклона заданы в локальных осях выбранной плоскости.

03 / Целочисленный поиск

Масштаб

Макс. |координата|Смещение вершин, %Изменение рёбер, %

Смещение измеряется относительно наибольшего габарита. При разрешённом увеличении сравниваются формы после выравнивания масштаба.

Глубина поиска

Поиск с ограниченным перебором. Ближайшее возможное решение не гарантируется.

01 / Условия карты

Число гранейРод

Ориентируемость Связность / число компонент Степени вершин Допустимые степени через запятую Разрешать кратные смежности граней

Геометрическая грань считается максимальной плоской областью. Две разные грани в одной плоскости не могут иметь общее ребро: при проверке такая пара отклоняется и должна быть объединена.

02 / Профили граней

Порядок профилей

Показать профилейОтклонение ±N

Профили рассчитываются автоматически.

Профиль размеров граней

Арифметически допустимый профиль ещё не является построенной комбинаторной картой и не доказывает реализацию в R³.

03 / Проверенные карты

Комбинаторный модуль проверяет реальные карты по выбранному профилю. Полного генератора всех неизоморфных карт пока нет; целочисленный поиск на вкладке «Геометрия» координаты меняет, но обходы граней сохраняет.

Найденный вариант

04 / Архив карт

Архив загружается…

Сохранённая карта

01 / SAT / OM — общая карта

Предварительный uniform rank-4 тест выполняется до ручного или автоматического геометрического поиска.

Карта

Сначала выберите и проанализируйте карту.

02 / Параметры OM

PySAT solver

Макс. CEGAR-итерацийНарушений за итерацию

0 означает полную проверку всех edge-face пар. Незавершённый внутренний solve не чекпоинтится.

03 / Задание и доказанный статус

Задание

Задание не выбрано.

04 / После OM-CLEAN

OM-CLEAN не доказывает растяжимость. Ручную и автоматическую геометрию можно запускать сразу, не ожидая второго этапа.

Численных рестартовВремя, секунд

NON-STRETCHABLE в 0.5 не выдаётся без проверяемого отрицательного сертификата. Тайм-аут всегда означает STRETCHABILITY UNKNOWN.

01 / Topology 58

Специализированная задача: 12 плоскостей, infinity, 12 одиннадцатиугольных граней, все GP-соотношения, 528 проверок простоты и 528 edge-face CEGAR-пар.

Контрольные числа загружаются…

02 / Параметры

PySAT solver

Макс. итерацийLearn за итерацию

03 / Фоновое задание

Задание

Задание не выбрано.

OM-UNSAT строг только для uniform affine OM с перечисленными ограничениями. OM-CLEAN не доказывает stretchability или существование многогранника в R3.

PolyhedronLab

Export

Model

Image / 2D

Geometry begins with an idea.Open a polyhedral object for research in the Laboratory.

No model