Skip to content

Port AddToIgs and AddToIgsParallel improvements to AddIgsToIgs and NormalIntersection - #285

Closed
stertooy wants to merge 2 commits into
gap-packages:masterfrom
stertooy:improv-addigstoigs
Closed

Port AddToIgs and AddToIgsParallel improvements to AddIgsToIgs and NormalIntersection#285
stertooy wants to merge 2 commits into
gap-packages:masterfrom
stertooy:improv-addigstoigs

Port AddToIgs optimisations to AddIgsToIgs

9f027a0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
latest
succeeded Oct 25, 2026 in 2m 30s