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

Re: P1788/D9.2 draft (10.5.5)



P-1788,

On 05/27/2014 04:48 AM, Frédéric Goualard wrote:
Dear Dimitri,


On 27/05/2014 10:35, Dmitry Nadezhin wrote:
Frederic,

The relations X/Y = Z and X = ZY are not exactly equivalent.

The tuple (x=0, y=0, z=1) belongs to the second relation, but it
doesn't belong to the first relation.

Thank you for your answer. However, I beg to differ on this. As I
understand it, 0/0 is an indeterminate form, which means that any
value for z is admissible when x=0 and y=0. Hence, (x=0, y=0, z=1) should
be kept as a solution.


Others, can you please help us with this one?  Can we review
the consequences of our decision to make intervals subsets of
the real numbers, along with our decisions concerning
decorations (and in particular, decorations corresponding
to partial domains of definition)?  Can we also review the
corresponding sections of the standard draft, to make sure
those sections are clear, and specify what it should be?

Baker


--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------