Mathematica 9中如何解含约束的二元二次不定方程?