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

Re: Constructors motion 30 Version 2: small amendment



John, P1788

Am 07.02.2012 12:35, schrieb John Pryce:
P1788

Generally I have had a fair amount of agreement with the revised Motion 30. I send it again with a small change suggested by Dan Zuras: the "virtual" constructors have "bare" inserted in their names and the others have "dec" removed from their names, since being decorated is the default.

Also shall num2interval(x) be abolished as Vincent suggests? Views please.
yes, nums2interval(x,x) is just as good and makes it obvious that the interval is a point interval and not an enclosure of an expression.

It can be re-invented at a language level.
with the semantics of  an enclosure !
Jürgen



--
-                Prof. Dr. Juergen Wolff von Gudenberg
     o           Lehrstuhl fuer Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602 Fax ../31 86603
  / \  Uni       E-Mail:wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg