Re: A proposal for motion 5 "Arithmetic operations for intervals"
Ulrich Kulisch wrote:
> Arnold Neumaier schrieb:
>> It is very important, I think, that the following questions
>> - How to handle undefined real operations?
>> - allow/require mid-rad?
>> - allow/require nonstandard intervals?
>> - allow/require modal intervals?
>> are settled first.
> This is a top down approach. It may be easier to reach general
> agreement if the development starts with
> a small kernel and builds the standard around it. The development will
> be an iterative process anyhow.
I share Ulrich's view regarding the standardization process, i.e., starting
with a small kernel and building the standard around it. It is why I don't
advocate voting on topics like modal intervals until P1788 has gained some
consensus on classical intervals.
Sincerely,
Nate