Advanced Search

Question: A problem with `OR` in structured types creation

Question:A problem with `OR` in structured types creation

Andriy 270 Maple
structured type
November 24 2014
1

Hello
I encountered with a problem in understanding of structured types. I test following structured types:



the result is

true
false
false

I cannot understand two last results as I expected to receive trues. Could you explain me the result?
Thank you.

UPD
A code appropriate for copy/pase along with short problem solution is presented below

restart;
`type/A1`:={integer, rational};
`type/A2`:=integer or rational; #  it matchs the expressions that literally contain `or` (see @Carl Love's
answer below)
`type/A3`:=OR(integer, rational); # `Or` should be used rather then `OR` (see @acer's
answer below)

x:=5;
type(x, A1);
type(x, A2);
type(x, A3);
Please Wait...