getting ready for lyap(PDEProduct)