It's sometimes helpful to ask a domain for an arbitrary point within. Here I try calling leftendpoint:
https://github.com/JuliaApproximation/QuasiArrays.jl/blob/81657bb97a4bc2a42f71ef156c5b9429959fa1ae/src/quasireducedim.jl#L285
This is used to determine the type of a function via typeof(f(pointchoice(d))).(Though this is wrong for open sets...).
Should pointchoice be moved here? Or does it exist already?
(Of course, "Axiom of Choice" would imply there exists an implementation of pointchoice which works for every domain .... the requirement that each domain implements it's own pointchoice actually means we don't believe in the Axiom of Choice 😅)
It's sometimes helpful to ask a domain for an arbitrary point within. Here I try calling
leftendpoint:https://github.com/JuliaApproximation/QuasiArrays.jl/blob/81657bb97a4bc2a42f71ef156c5b9429959fa1ae/src/quasireducedim.jl#L285
This is used to determine the type of a function via
typeof(f(pointchoice(d))).(Though this is wrong for open sets...).Should
pointchoicebe moved here? Or does it exist already?(Of course, "Axiom of Choice" would imply there exists an implementation of
pointchoicewhich works for every domain .... the requirement that each domain implements it's ownpointchoiceactually means we don't believe in the Axiom of Choice 😅)