Constraints and infix ^

[Patrick Durusau <patrick@durusau.net>]

Greetings!

Just a quick note to check my understanding of the "constraint" listing 
for each function.

Under 6.3.5 Infix Operator "^"

Constraints: OR(Left != 0; Right != 0)

Am I reading that correctly to prohibit both, 0^(some number) as well as 
(some number)^0?

It has been a while but I seem to recall that (some number)^0 is valid, 
although it simply returns 1.

Yes?

Or have I mis-read the constraint notation?

Hope everyone is having a great day!

Patrick

-- 
Patrick Durusau
patrick@durusau.net
Chair, V1 - US TAG to JTC 1/SC 34
Convener, JTC 1/SC 34/WG 3 (Topic Maps)
Editor, OpenDocument Format TC (OASIS), Project Editor ISO/IEC 26300
Co-Editor, ISO/IEC 13250-1, 13250-5 (Topic Maps)