williamstein / ant Goto Github PK

see classgroup.tex line 56.

Comment: state if easy to do so and/or give reference

Working on this now. Need better highlighting for sage code. Also fix lstlisting boxes to look better.

if not there, add a macro \nciso, use \approx for now

Check text and make sure other places which use this use the macro

grep "\approx" . -rl

to avoid python idioms

make hint environment
change all exercises with hints to wrap with \begin{hint}...\end{hint}

check that it's alwasy nonzero, no dash

Is the "this work based on NSF..." supposed to be at the bottom of the page?

see pells equation 8.2.1, explain that G is abstract group.

Also try to avoid pythonic idioms to keep code as straight forward as possible

be able to copy and paste sagecell code if you want to run it from the electronic version of the book.

use \cong for canonical isomorphisms everywhere
and \approx for non-canonical ones

section 5.3.3

"""
I couldn't figure out how to
test for ideal membership in PARI, so here we just check that the
prime ideal plus the element is not the unit ideal, which since the
ideal is prime, implies membership.
"""

Someone with knowledge of PARI might need to fix this one...

add exercises into chpater on discriminants

use totally real field generated by x^3 + x^2 -5x -1
comes from new form for weight 2 modular form level 41

change to "optional but fun" exercise

3.1 is the only subsection of chapter 3. Same with 6.1.1, 10.2.1, 11.1.1, 11.2.1, 15.1.

Comment suggests removing subsection if it is the only one.

Don't overlap sagetex with sage.sty

Looking at ways to publish/build kindle file:

pandoc (seems to have trouble changing latex -> html and/or markdown and/or epub)
kindlegen (silently fails on some epubs)

amazon website has option to upload pdf to publish, so they might have other tools?

Suggested by Marc Mezzarobba. To fix copy/paste.

some arrow on fields are $K \to L$, should be changed to $K \hra L$

in factoring
change picture near 215~ish to tikz so looks nice

See line
"
Cohen and Lenstra conjecture that they do (\cite{cohen-lenstra:heuristics}).
"
in classgroup.tex

Comment: state "how many" they conjecture

explain how times are generated on sage math cloud servers and should not be taken too seriously

I need to write a CRT algorithm in sage that uses ideals, for section 5.3.1.

somewhere there is a note. it should link to

https://docs.python.org/2/reference/expressions.html#operator-precedence

any citation that cites a specific theorem or place in a book, make sure to use the parameters in \cite, so change "see \cite{} thm 22" to "see \cite{}[thm~22]"

Right above smith normal form (currently Prop 2.1.6), there is a TODO statement for a comm. diagram. I don't know what that is supposed to be if anything.

instead of having lots of little files

generator for $u_1$ is too long, might need to be shortened.

This may be a non-issue if publishers reformat everything.

Add words between lines to not look so much like a blackboard proof.

standardize by using a psuedocode package for all algorithms.

See http://en.wikibooks.org/wiki/LaTeX/Algorithms#The_algorithm_environment

A quick grep shows there are 3 algorithms:

 ~/ant$ grep -rn "begin{algorithm}"
 factoring.tex:548:\begin{algorithm}[Factoring a Finite Separable Algebra]\label{alg:factorsep}
 factoring.tex:608:\begin{algorithm}[Factoring a General Prime Ideal]\label{alg:genfac}
 galrep.tex:193:\begin{algorithm}[Elliptic Curve Group Law]\label{alg:grouplaw}

check all uses of : and see if should be switched to \colon

write parser to take sage cells to "sage: 2+2" with usual sage prompt. This will make it compatible with the sage code runner/doctests to test book code.

make sure to keep %links where necessary

output should be .py file to be ran by sage -t

But it passes the manual test given by copying and pasting code.

Also one of the lists is out of order? See doc tests in the cloud...

It doesn't seem to be included in the book... and some parts are copied into other sections...