Partial (literate) implementation of Rain's algorithm
Create README.md
Added .gitignore
Added licence file
first draft of the embedding algorithm.
no complexity analysis, still very messy.
isomorphism not done yet.
sage implementations of embedding and isomorphism
a few extra refs
all algorithms are in.
Added script to study multiplication in the dual basis.
Done analyzing multiplication in the dual basis
flint implementation of embedding and isomorphism (1st algo only so far).
very rough 1st section about more general embeddings.
Done secs 1 and 2. Trace formulas now.
rewrote a bit the F_p-bar section
Done writing embedding on the dual basis.
Rewriting of 4.1 and 4.2, added Eric's inverse embedding technique
Restated InverseEmbed in an even simpler way.

Now uses residue form. Still no elementary proof not involving
transposition techniques, though.
Better understanding of transpose embed. Started isomorphism.
a few extra refs
new version