OFFSET
1,1
COMMENTS
This is a subsequence of A242666.
For details on indefinite binary quadratic primitive forms F = a*x^2 + b*x*y + c*y^2 (gcd(a, b, c) = 1), also denoted by F = [a, b, c], with discriminant Disc = b^2 - 4*a*c = 28 = 2^2*7, see A358946 and A358947.
Each primitive form, properly equivalent to the reduced principal form F_p = [1, 4, -3] for Disc = 28 (used in -A242666), represents the given negative k = -a(n) values (and only these) properly with X = (x, y), i.e., gcd(x, y) = 1. Modulo an overall sign change in X one can choose x nonnegative.
There are A359477(n) representative parallel primitive forms (rpapfs) of discriminant Disc = 28 for k = -a(n). This gives the number of proper fundamental representations (x, y), with x >= 0, of each primitive form [a, b, c], properly equivalent to the principal form F_p of Disc = 28.
EXAMPLE
k = -a(1) = -3: the 2 = A359477(1) representative parallel primitive forms (rpapfs) for Disc = 28 are [-3, 2, 2] and, [-3, 4, 1]. See the examples in A358947 for k = 57 = 3*19, and for the fundamental representations see A359477.
CROSSREFS
KEYWORD
nonn
AUTHOR
Wolfdieter Lang, Jan 10 2023
STATUS
approved