(var, coeff, u, v)
return _mexpand(Subs(eq, (x, y), (u, v)).doit()) == 0
Check whether `(u, v)` is solution to the quadratic binary diophantine
    equation with the variable list ``var`` and coefficient dictionary
    ``coeff``.

    Not intended for use by normal users.
Check whether `(u, v)` is solution to the quadratic binary diophantine
    equation with the variable list ``var`` and coefficient dictionary
    ``coeff``.
Check whether ( u v ) is solution to the quadratic binary diophantine equation with the variable list var and coefficient dictionary coeff .
def is_solution_quad(var, coeff, u, v):
    """
    Check whether `(u, v)` is solution to the quadratic binary diophantine
    equation with the variable list ``var`` and coefficient dictionary
    ``coeff``.

    Not intended for use by normal users.
    """
    x, y = var[:2]

    eq = x**2*coeff[x**2] + x*y*coeff[x*y] + y**2*coeff[y**2] + x*coeff[x] + y*coeff[y] + coeff[Integer(1)]

    return _mexpand(Subs(eq, (x, y), (u, v)).doit()) == 0
def is_solution_quad ( var , coeff , u , v ) : x , y = var [ : 2 ] eq = x ** 2 * coeff [ x ** 2 ] + x * y * coeff [ x * y ] + y ** 2 * coeff [ y ** 2 ] + x * coeff [ x ] + y * coeff [ y ] + coeff [ Integer ( 1 ) ] return _mexpand ( Subs ( eq , ( x , y ) , ( u , v ) ) . doit ( ) ) == 0