Discriminants of indefinite integral binary quadratic forms admitting 3 or 6 torsion. Are there any results known about the discriminants of indefinite integral binary quadratic forms admitting automorphisms of order 3 or 6? It seems reasonable to expect that any  permissible discriminants ought to be quite small and, if so, one would hope that there might be some classical results on the matter. 
Thanks!
 A: The structure of the automorphism group becomes clear when one looks at the Conway topograph of a given form.  For an indefinite form not representing 0 the topograph has an infinite periodic river separating the positive and negative values, so there is always an infinite cyclic subgroup of the automorphism group, in addition to the order 2 automorphism $(x,y)\mapsto(-x,-y)$ that acts trivially on the topograph. Some forms have additional order 2 symmetries reflecting across lines perpendicular to the river, giving an infinite dihedral subgroup of the automorphism group. If "anti-automorphisms" that change the sign of the values of a form are allowed as automorphisms, there can also be 180 degree rotational symmetries or glide reflection symmetries. Overall, five of the seven frieze groups are realizable as symmetries of the topograph. The two that aren't realizable involve reflections across the river, which cannot be symmetries of the topograph.
In particular all torsion in the automorphism group is 2-torsion, of order either 2 or 4.
A: Any non-identity automorphism is either an involution (i.e. period $2$) or of infinite order; in particular periods $3$ and $6$ do not occur.  Proof: the $\bf Z$-automorphism group is contained in the $\bf R$-automorphism group; but over $\bf R$, an indefinite binary form is equivalent with $Q(x,y) = xy$, whose automorphism group consists of the matrices of the form $\bigl({{a \; 0^{\phantom{-1}}} \atop {0 \; a^{-1}}}\!\bigr)$ or $\bigl({{0^{\phantom{-1}} \; a } \atop {a^{-1} \; 0}}\!\bigr)$, of which the latter is always an involution, and the former is of infinite order unless $a=1$ (identity) or $a=-1$ (involution). $\Box$
A: There is also the article by M.Uludag, A.Zeytin and M.Durmus here. Theoretically, an indefinite binary quadratic form can be seen as an infinite dessin d'enfant of Grothendieck. It's automorphism group becomes visible in this context.
You can have a look the application InfoMod here, in development by more or less the same team. The application is also available for android smart phones I guess.
