📄 algebra_8cpp-source.html
字号:
<a name="l00226"></a>00226 <span class="keywordflow">if</span> (skipCount >= expLen)<a name="l00227"></a>00227 {<a name="l00228"></a>00228 finished = <span class="keyword">true</span>;<a name="l00229"></a>00229 <span class="keywordflow">return</span>;<a name="l00230"></a>00230 }<a name="l00231"></a>00231 skipCount++;<a name="l00232"></a>00232 }<a name="l00233"></a>00233 <a name="l00234"></a>00234 exp >>= skipCount;<a name="l00235"></a>00235 windowBegin += skipCount;<a name="l00236"></a>00236 expWindow = word32(exp % (word(1) << windowSize));<a name="l00237"></a>00237 <a name="l00238"></a>00238 <span class="keywordflow">if</span> (fastNegate && exp.GetBit(windowSize))<a name="l00239"></a>00239 {<a name="l00240"></a>00240 negateNext = <span class="keyword">true</span>;<a name="l00241"></a>00241 expWindow = (word32(1) << windowSize) - expWindow;<a name="l00242"></a>00242 exp += windowModulus;<a name="l00243"></a>00243 }<a name="l00244"></a>00244 <span class="keywordflow">else</span><a name="l00245"></a>00245 negateNext = <span class="keyword">false</span>;<a name="l00246"></a>00246 }<a name="l00247"></a>00247 <a name="l00248"></a><a class="code" href="struct_window_slider.html#d3614a41491b556917929ba49f7c1137">00248</a> <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> exp, windowModulus;<a name="l00249"></a><a class="code" href="struct_window_slider.html#57d6977b6a829c4886066739cc4c97ff">00249</a> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> windowSize, windowBegin;<a name="l00250"></a><a class="code" href="struct_window_slider.html#0ea2defa4834fce33f3934f14438ac82">00250</a> word32 expWindow;<a name="l00251"></a><a class="code" href="struct_window_slider.html#ec23523a38233c22352f14880ed97309">00251</a> <span class="keywordtype">bool</span> fastNegate, negateNext, firstTime, finished;<a name="l00252"></a>00252 };<a name="l00253"></a>00253 <a name="l00254"></a>00254 <span class="keyword">template</span> <<span class="keyword">class</span> T><a name="l00255"></a><a class="code" href="class_abstract_group.html#00a5cd4b22aab947ec107ec93ad13122">00255</a> <span class="keywordtype">void</span> <a class="code" href="class_abstract_group.html#00a5cd4b22aab947ec107ec93ad13122">AbstractGroup<T>::SimultaneousMultiply</a>(T *results, <span class="keyword">const</span> T &base, <span class="keyword">const</span> <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> *expBegin, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> expCount)<span class="keyword"> const</span><a name="l00256"></a>00256 <span class="keyword"></span>{<a name="l00257"></a>00257 std::vector<std::vector<Element> > buckets(expCount);<a name="l00258"></a>00258 std::vector<WindowSlider> exponents;<a name="l00259"></a>00259 exponents.reserve(expCount);<a name="l00260"></a>00260 <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> i;<a name="l00261"></a>00261 <a name="l00262"></a>00262 <span class="keywordflow">for</span> (i=0; i<expCount; i++)<a name="l00263"></a>00263 {<a name="l00264"></a>00264 assert(expBegin-><a class="code" href="class_integer.html#880ab53116f2b9f527489d86ee806896">NotNegative</a>());<a name="l00265"></a>00265 exponents.push_back(<a class="code" href="struct_window_slider.html">WindowSlider</a>(*expBegin++, <a class="code" href="class_abstract_group.html#257836994abefe25b80293f4c6b10f60">InversionIsFast</a>(), 0));<a name="l00266"></a>00266 exponents[i].FindNextWindow();<a name="l00267"></a>00267 buckets[i].resize(1<<(exponents[i].windowSize-1), Identity());<a name="l00268"></a>00268 }<a name="l00269"></a>00269 <a name="l00270"></a>00270 <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> expBitPosition = 0;<a name="l00271"></a>00271 <a class="code" href="class_abstract_group.html#4a2b3308fb5c13f70fcc5746be52ba7b">Element</a> g = base;<a name="l00272"></a>00272 <span class="keywordtype">bool</span> notDone = <span class="keyword">true</span>;<a name="l00273"></a>00273 <a name="l00274"></a>00274 <span class="keywordflow">while</span> (notDone)<a name="l00275"></a>00275 {<a name="l00276"></a>00276 notDone = <span class="keyword">false</span>;<a name="l00277"></a>00277 <span class="keywordflow">for</span> (i=0; i<expCount; i++)<a name="l00278"></a>00278 {<a name="l00279"></a>00279 <span class="keywordflow">if</span> (!exponents[i].finished && expBitPosition == exponents[i].windowBegin)<a name="l00280"></a>00280 {<a name="l00281"></a>00281 <a class="code" href="class_abstract_group.html#4a2b3308fb5c13f70fcc5746be52ba7b">Element</a> &bucket = buckets[i][exponents[i].expWindow/2];<a name="l00282"></a>00282 <span class="keywordflow">if</span> (exponents[i].negateNext)<a name="l00283"></a>00283 <a class="code" href="class_abstract_group.html#45aa7c2240cb2f87184c7ad90df298ec">Accumulate</a>(bucket, Inverse(g));<a name="l00284"></a>00284 <span class="keywordflow">else</span><a name="l00285"></a>00285 <a class="code" href="class_abstract_group.html#45aa7c2240cb2f87184c7ad90df298ec">Accumulate</a>(bucket, g);<a name="l00286"></a>00286 exponents[i].FindNextWindow();<a name="l00287"></a>00287 }<a name="l00288"></a>00288 notDone = notDone || !exponents[i].finished;<a name="l00289"></a>00289 }<a name="l00290"></a>00290 <a name="l00291"></a>00291 <span class="keywordflow">if</span> (notDone)<a name="l00292"></a>00292 {<a name="l00293"></a>00293 g = <a class="code" href="class_abstract_group.html#e54ef772d5f231729e188cbe3b9173f6">Double</a>(g);<a name="l00294"></a>00294 expBitPosition++;<a name="l00295"></a>00295 }<a name="l00296"></a>00296 }<a name="l00297"></a>00297 <a name="l00298"></a>00298 <span class="keywordflow">for</span> (i=0; i<expCount; i++)<a name="l00299"></a>00299 {<a name="l00300"></a>00300 <a class="code" href="class_abstract_group.html#4a2b3308fb5c13f70fcc5746be52ba7b">Element</a> &r = *results++;<a name="l00301"></a>00301 r = buckets[i][buckets[i].size()-1];<a name="l00302"></a>00302 <span class="keywordflow">if</span> (buckets[i].size() > 1)<a name="l00303"></a>00303 {<a name="l00304"></a>00304 <span class="keywordflow">for</span> (<span class="keywordtype">int</span> j = (<span class="keywordtype">int</span>)buckets[i].size()-2; j >= 1; j--)<a name="l00305"></a>00305 {<a name="l00306"></a>00306 <a class="code" href="class_abstract_group.html#45aa7c2240cb2f87184c7ad90df298ec">Accumulate</a>(buckets[i][j], buckets[i][j+1]);<a name="l00307"></a>00307 <a class="code" href="class_abstract_group.html#45aa7c2240cb2f87184c7ad90df298ec">Accumulate</a>(r, buckets[i][j]);<a name="l00308"></a>00308 }<a name="l00309"></a>00309 <a class="code" href="class_abstract_group.html#45aa7c2240cb2f87184c7ad90df298ec">Accumulate</a>(buckets[i][0], buckets[i][1]);<a name="l00310"></a>00310 r = Add(<a class="code" href="class_abstract_group.html#e54ef772d5f231729e188cbe3b9173f6">Double</a>(r), buckets[i][0]);<a name="l00311"></a>00311 }<a name="l00312"></a>00312 }<a name="l00313"></a>00313 }<a name="l00314"></a>00314 <a name="l00315"></a><a class="code" href="class_abstract_ring.html#0f011366054a4edb80be92f968083538">00315</a> <span class="keyword">template</span> <<span class="keyword">class</span> T> T <a class="code" href="class_abstract_ring.html#0f011366054a4edb80be92f968083538">AbstractRing<T>::Exponentiate</a>(<span class="keyword">const</span> <a class="code" href="class_abstract_group.html#4a2b3308fb5c13f70fcc5746be52ba7b">Element</a> &base, <span class="keyword">const</span> <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> &exponent)<span class="keyword"> const</span><a name="l00316"></a>00316 <span class="keyword"></span>{<a name="l00317"></a>00317 <a class="code" href="class_abstract_ring.html#cd93e8ce4e2897173310c68fcb60f3e9">Element</a> result;<a name="l00318"></a>00318 <a class="code" href="class_abstract_ring.html#56b1047d5e1c57d9b3c52e20af464cfe">SimultaneousExponentiate</a>(&result, base, &exponent, 1);<a name="l00319"></a>00319 <span class="keywordflow">return</span> result;<a name="l00320"></a>00320 }<a name="l00321"></a>00321 <a name="l00322"></a><a class="code" href="class_abstract_ring.html#cbe859e24ea6ee1e22ed2a1261f7f9d0">00322</a> <span class="keyword">template</span> <<span class="keyword">class</span> T> T <a class="code" href="class_abstract_ring.html#cbe859e24ea6ee1e22ed2a1261f7f9d0">AbstractRing<T>::CascadeExponentiate</a>(<span class="keyword">const</span> <a class="code" href="class_abstract_ring.html#cd93e8ce4e2897173310c68fcb60f3e9">Element</a> &x, <span class="keyword">const</span> <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> &e1, <span class="keyword">const</span> <a class="code" href="class_abstract_ring.html#cd93e8ce4e2897173310c68fcb60f3e9">Element</a> &y, <span class="keyword">const</span> <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> &e2)<span class="keyword"> const</span><a name="l00323"></a>00323 <span class="keyword"></span>{<a name="l00324"></a>00324 <span class="keywordflow">return</span> <a class="code" href="class_abstract_ring.html#e19ef788f5ce5192e5867666ef38717f">MultiplicativeGroup</a>().AbstractGroup<T>::CascadeScalarMultiply(x, e1, y, e2);<a name="l00325"></a>00325 }<a name="l00326"></a>00326 <a name="l00327"></a>00327 <span class="keyword">template</span> <<span class="keyword">class</span> Element, <span class="keyword">class</span> Iterator> <a class="code" href="class_abstract_ring.html#cd93e8ce4e2897173310c68fcb60f3e9">Element</a> GeneralCascadeExponentiation(<span class="keyword">const</span> <a class="code" href="class_abstract_ring.html" title="Abstract Ring.">AbstractRing<Element></a> &ring, Iterator begin, Iterator end)<a name="l00328"></a>00328 {<a name="l00329"></a>00329 <span class="keywordflow">return</span> GeneralCascadeMultiplication<Element>(ring.<a class="code" href="class_abstract_ring.html#e19ef788f5ce5192e5867666ef38717f">MultiplicativeGroup</a>(), begin, end);<a name="l00330"></a>00330 }<a name="l00331"></a>00331 <a name="l00332"></a>00332 <span class="keyword">template</span> <<span class="keyword">class</span> T><a name="l00333"></a><a class="code" href="class_abstract_ring.html#56b1047d5e1c57d9b3c52e20af464cfe">00333</a> <span class="keywordtype">void</span> <a class="code" href="class_abstract_ring.html#56b1047d5e1c57d9b3c52e20af464cfe">AbstractRing<T>::SimultaneousExponentiate</a>(T *results, <span class="keyword">const</span> T &base, <span class="keyword">const</span> <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> *exponents, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> expCount)<span class="keyword"> const</span><a name="l00334"></a>00334 <span class="keyword"></span>{<a name="l00335"></a>00335 <a class="code" href="class_abstract_ring.html#e19ef788f5ce5192e5867666ef38717f">MultiplicativeGroup</a>().AbstractGroup<T>::SimultaneousMultiply(results, base, exponents, expCount);<a name="l00336"></a>00336 }<a name="l00337"></a>00337 <a name="l00338"></a>00338 NAMESPACE_END<a name="l00339"></a>00339 <a name="l00340"></a>00340 <span class="preprocessor">#endif</span></pre></div><hr size="1"><address style="text-align: right;"><small>Generated on Fri Jun 1 11:11:19 2007 for Crypto++ by <a href="http://www.doxygen.org/index.html"><img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.2 </small></address></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -