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

Re: motioin43 amended

Jürgen,

1) I think that (3) and (10) have typos:
<<<
if ([a] = \empty || [a] = \empty)
===
if ([a] = \empty || [b] = \empty)
>>>

2) The definition gives divPair([0,0], [0,0]) = ([0,0], \empty) according to (6).
Is this intentionally ?

I expect that divPair([0,0], [0,0])=(\empty, \empty).
This can be obtained if we remove (6) and (7) from definition of divPair.

3) The definition gives mulRevPair([0,1],[0,1]) = ([0,+oo), \empty) according to (14).
I expect that
mulRevPair([0,1],[0,1])={x \in R | \exists a in [0,1], \exists b in [0,1], b*x = a } =(-oo,+oo) 


  -Dima 


----- Исходное сообщение -----
От: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
Кому: rbk@xxxxxxxxxxxxx, George.Corliss@xxxxxxxxxxxxx, stds-1788@xxxxxxxxxxxxxxxxx
Отправленные: Вторник, 23 Апрель 2013 г 15:30:16 GMT +04:00 Абу-Даби, Маскат
Тема: motioin43 amended

Baker, George
   please find attached an amended verion of the divPair motion.
ready for voting. thanks to Vincent L. and Dima N
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