Why this result?



Barton Willis wrote:

> (%i7) m : matrix([5,7], [5,x])$
> 
> (%i8) columnspace(m);
> Proviso:  {x-7#0}
> (%o8) span(matrix([5],[5]),matrix([7],[x]))
> 
what is proviso? I can't find a module like that...