这部分主要涉及的是模运算,用于gcd,结式以及通过对素数取模构建过滤器避免不必要的计算,这是因为系数增长会导致gcd的计算成本增加。
基本概念
- IEEE 754标准
- 扩展精度浮点数 在一些处理器上,传统的FPU使用扩展的精度。但是在实现Residue类的时候需要尾数精度
- FPU 浮点运算单元
- 结式resultant 指由两个多项式的系数所构成的一种行列式,或称Sylvester行列式,结式可判断两个多项式是否有公根、是否互素,以及判断多项式是否有重根。
- 数论基础 里面包含了关于同余的定义
这部分主要涉及的是模运算,用于gcd,结式以及通过对素数取模构建过滤器避免不必要的计算,这是因为系数增长会导致gcd的计算成本增加。