added gen_prop.tex, schmidt.jl