[back] [prev] [next] [index] [root]
z := Comp(a, b);
z
a
b
kash> z := Comp(1, 2); > 1 + 2*i
<- back[back] [prev] [next] [index] [root]