How to evaluate a PSolve expression in ryacas When I evaluate the following with explicit coefficients, I get the correct answer,