progress on nonhomogeneous dirichlet bc
nonhom Dirichlet BC works for PGD