Syntax definition cpell1qr

Description: Extend class notation to include the class of quadrant-1 Pell solutions.

	Ref	Expression
Assertion	cpell1qr	class Pell1QR