started discussion of binary quadratic forms.  lots to fill in