Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Motion P1788/M007.01_NaI: Discussion period begins

Arnold Neumaier schrieb:
The motion was for having a unique NaI, in which case the propagation rule is OK. 

But I think there should either be no NaI (which I'd favor),
or there should be NaI with payload.


what do you propose for illegal construction ?
1.  return emptyset
2.  return emptyset with payload
3.  return emptyset and set a sticky flag
4.  just set the flag
5.  raise an exception
6.  terminate

I think in section 2.3 remarks Vienna proposal favors option 2.
 which I consider equivalent to a unique NaI

Juergen


Thus I think the motion should not be supported.


To prepare for a possible NaI with payload and to estimate its
likely cost, those interested in having NaI should, as John
Pryce suggested in another mail, collect the desired uses for
NaI and which propagation rules these uses imply.


Arnold Neumaier


--
=======
      o          Prof. Dr. J. Wolff v. Gudenberg,  Informatik 2
     / \         Univ. Wuerzburg,  Am Hubland,   D-97074 Wuerzburg
 info2 o        Tel.: +49 931 / 31-86602  Fax: +49 931 / 888-6603
   / \  Uni             e-mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
  o   o Wuerzburg         http://www2.informatik.uni-wuerzburg.de/