Question: Why is Maple ignoring parentheses in set calculus?

lign1 := S*`union`(T intersect R);
                 lign1 := S (`intersect`(R, T))

lign2 := (S union T) intersect (S union R);
       lign2 := `intersect`(`union`(R, S), `union`(S, T))

verify({lign1}, {lign2});


My textbook says the expression lign1 and lign2 should be the same, but it outputs false. I suspect it's because Maple is ignoring the parenthesis in the first expression.


Please Wait...