设 和
为
的两个连续临界指标,并设
为
-正规的。如果多项式
由下式定义
(1)
| |||
(2)
|
对于 , 1, ... 以及
, ...,
,那么,在以下假设下,存在一个正整数的无限集合
使得
(3)
|
其中
(4)
|
根据假设,如果 ,则多项式
与 Hadamard 多项式
相同;如果
,则构造
的算法应用于 qd 方案
,该方案适当地由列
和
限定 (Henrici 1988, pp. 642-643)。