add reducedim.jl & reduced_shape & reduced_length tested