Skip to content

Rewrite IsAspherical - #158

Merged
grahamknockillaree merged 1 commit into
masterfrom
mh/IsAspherical
Aug 18, 2026
Merged

Rewrite IsAspherical#158
grahamknockillaree merged 1 commit into
masterfrom
mh/IsAspherical

Conversation

@fingolfin

Copy link
Copy Markdown
Member

... to use higher level polymaking interfaces; this makes it more
robust (e.g. it catches and reports errors, unlike Exec), and
also compatible with future improvements to polymaking.

... to use higher level polymaking interfaces; this makes it more
robust (e.g. it catches and reports errors, unlike `Exec`), and
also compatible with future improvements to polymaking.
@codecov

codecov Bot commented Aug 18, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 43.82%. Comparing base (9c9d83a) to head (fe42962).

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #158      +/-   ##
==========================================
- Coverage   43.84%   43.82%   -0.02%     
==========================================
  Files         364      364              
  Lines       66466    66443      -23     
==========================================
- Hits        29141    29118      -23     
  Misses      37325    37325              
Files with missing lines Coverage Δ
lib/Polymake/aspherical.gi 73.48% <100.00%> (-3.94%) ⬇️
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@fingolfin

Copy link
Copy Markdown
Member Author

@grahamknockillaree I hope this is OK for you. Having this in HAP would make it much easier to make some major improvements to the polymaking package :-)

@grahamknockillaree
grahamknockillaree merged commit aa00e6d into master Aug 18, 2026
5 checks passed
@grahamknockillaree
grahamknockillaree deleted the mh/IsAspherical branch August 18, 2026 13:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants