Concept to represent bivariate polynomials of degree 1 whose coefficients are of a type that is a model of the concept RingNumberType.
RingNumberType
CopyConstructible
Assignable
DefaultConstructible
AlgebraicKernelForCircles