Recover the exact face structure of a rational square¶
Continuously checked
This is the exact source run by make test-examples and the ordinary Python test gate.
Domains: geometry
Source: examples/25_exact_geometry.py
# SPDX-License-Identifier: MIT
# Copyright (c) 2026 Benjamin Antieau and Deven Manam
"""Recover the exact face structure of a rational square."""
from fractions import Fraction
from noether.geometry import convex_hull
def main() -> None:
square = convex_hull([[0, 0], [1, 0], [0, 1], [1, 1], [Fraction(1, 2), Fraction(1, 2)]])
square.verify()
assert square.f_vector == [1, 4, 4, 1]
assert not square.is_vertex([Fraction(1, 2), Fraction(1, 2)])
print(f"vertices={square.vertices}; f-vector={square.f_vector}")
if __name__ == "__main__":
main()