我正在尝试根据FIPS186-3中的描述实现Miller-Rabin素性测试C.3.1.无论我做什么，我都无法让它发挥作用。说明非常具体，我认为我没有遗漏任何内容，但对于非素数，我得到了true。我做错了什么？templateTPOW(Rbase,Sexponent,constTmod){Tresult=1;while(exponent){if(exponent&1)result=(result*base)%mod;exponent>>=1;base=(base*base)%mod;}returnresult;}//useduint64_ttopreventoverflow,buton