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

Re: motioin43 amended

Am 23.04.2013 14:32, schrieb Dmitry Nadezhin:

Jürgen,

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



you're right


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

yes but b=[0,0] has to be excluded from that case 0 \subset b


I expect that divPair([0,0], [0,0])=(\empty, \empty)

that is (7)
.

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)

= mulRev([0,1],[0,1]) clearly mulRev(a,b) has to be the default
Jürgen



   -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



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