递归关系签名

设一个序列定义为

			(1)
			(2)
			(3)
			(4)

同时定义相关的多项式

(5)

并且令 为其判别式。佩兰序列是对应于 的特殊情况。那么，对于序列 ，整数 模 的签名定义为 6 元组 (, , , , , ) (mod )。

1. 如果一个整数 的签名（模 ）是 (, , , , , )，则它具有 S 签名。

2. 如果一个整数 的签名（模 ）同余于 ()，其中对于某个满足 的整数 ，，，并且 ，则它具有 Q 签名。

3. 如果一个整数 的签名（模 ）同余于 ()，其中 且 ，则它具有 I 签名。