Julien Puydt (Dec 05 2022 at 17:44): Julien Puydt (Dec 05 2022 at 17:44):Why does it require the ranges to be disjoint? As far as I know the most common use of glueing is to define functions by cases, and the glued parts all have the very same target...
Cyril Cohen (Dec 05 2022 at 18:17):glue f g was built so that it is bijective if and only if f and g are. I did not see another way to make it happen.patch f g does the job you seem to have in mind. Julien Puydt (Dec 06 2022 at 07:21):Ok, thanks.
Notification Bot (Dec 06 2022 at 07:21):Julien Puydt has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC