############################################################################
#
# this is the code of exercise 4.5.1
#
###########################################################################
isinspan := function( v , lv )
return( v in List (Cartesian(List(lv, x-> [0..Maximum(v)])),x -> x*lv) );
end;