aw-428.input « interpreter « testsuite « src - open-axiom - open scientific computation system

about summary refs log tree commit diff

path: root/src/testsuite/interpreter/aw-428.input

blob: 9d8f23fccae20b1208f48d06c284b561529de87d (plain)

V1 := DirectProduct(3+4,Integer)
V2 := DirectProduct(7,Integer)
V1 = V2
%::Boolean
(Integer=Float)@Boolean