semidiscretizations