Syntax definition cpell14qr

Description: Extend class notation to include the class of positive Pell solutions.

	Ref	Expression
Assertion	cpell14qr	class Pell14QR