Oscar.jl icon indicating copy to clipboard operation
Oscar.jl copied to clipboard

Published 20 hours ago • verified publisher icon oscar-system

Disjoint gluings

Open simonbrandhorst opened this issue 8 months ago • 13 comments

Introduces disjoint gluings. In particular when we ask a covering for a gluing which is a disjoint union, before it would give a key error in a dictionary. Not it returns an empty gluing.

simonbrandhorst avatar Jun 14 '24 09:06 simonbrandhorst