aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/nsatz/nsatz.ml
diff options
context:
space:
mode:
authorGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2016-09-26 02:30:45 +0200
committerGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2016-09-26 16:08:48 +0200
commit5d36de8e2304661e76ac433d5dd90c13b3b86c72 (patch)
tree06b361b179fa775e2fa9f3448372a91dc5d99a24 /plugins/nsatz/nsatz.ml
parentad56f07611f78abb612e8c8c22866ea45040f11e (diff)
Fast russian peasant exponentiation in Nsatz.
Diffstat (limited to 'plugins/nsatz/nsatz.ml')
0 files changed, 0 insertions, 0 deletions