Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Making the Spherical Guassian-map polyhedron a proper model of FaceGraph #8153

Merged
merged 5 commits into from
May 15, 2024
Merged

Making the Spherical Guassian-map polyhedron a proper model of FaceGraph #8153

merged 5 commits into from
May 15, 2024

Commits on Apr 20, 2024

  1. Making the polyhedron a proper model of FaceGraph

    @efifogel
    efifogel committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    2d600ad View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2024

  1. Slightly improved

    @efifogel
    efifogel committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    5b8e0a4 View commit details
    Browse the repository at this point in the history

  2. Made some nested types public

    @efifogel
    efifogel committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    aff5bc4 View commit details
    Browse the repository at this point in the history

  3. Added a call to convex_hull_3() to test the code of Arr_polyhedral_sg… 

    …m_polyhedron_3, which makes the Polyhedron atype a model of the FaceGraph concept
    @efifogel
    efifogel committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    152cc70 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. Fixed the documentation of Arrangement_on_surface_2::insert_non_inter… 

    …secting_curve()
    @efifogel
    efifogel committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    3054902 View commit details
    Browse the repository at this point in the history