Commit 9335f8ea authored by Emmanuel Thomé's avatar Emmanuel Thomé

doc for appendix A

parent d33986f4
......@@ -69,6 +69,11 @@ follows:
sage: formulas(8)
[lots of output]
The actual formula for raising an element to the power `$c=(p+1-t_0)/r$`,
as given for example in Appendix A of the paper, can be derived from the
source code of `final_expo_k68.sage` (second part of the function
`count_formula_k8`).
Using the search program
========================
......
......@@ -86,6 +86,9 @@ def count_formula_k8(i, c):
c4 = (c3*2 + d3) * (2*U+V) + u**2 + y**2
assert c4 == (c3 + d3/2) * T + e4
## Explicit formulas as given in Appendix A can be obtained by the
## following set of operations.
counts = counter()
# 2y 2u 2m
a = counts.get_element()
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment