[PPL-devel] something not clear...

[Alessandro Vincenzi]

Hi,

i've started to read the ppl documentation, and i've found a doubt
reading section at page 8:

1.4.5 Removing Dimensions from the vector space.

and in particular, how the remove_space_dimension works.

In fact from the example i can not understand why applying the operator
on the singleton set {(3,1,0,2)^T} in R^4 with the variable set {x_1,
x_2} we obtain just {(3,2)^T}. Namely, i can not understand which is the
connection between the set of variables gived to the operator and the
two dimensions removed from P (i.e the second and the third).

Instead, the remove_higher_space_dimension operator is simpler because
is easy to understand that it removes all the dimensions  i >= m.

Thanks,

Alessandro Vincenzi