Implemented a better search for highest weight elements in tensor products.
Created tensor product of crystals category.
Implemented other tensor product categories.
Cleanup of commented out code.
Trac 16540: convert exponent to integer in finite field exponentiation
Merge branch 'public/crystals/highest_weight_tensor-16451' of trac.sagemath.org:sage into public/crystals/highest_weight_tensor-16451
Made changes that Nicolas and I talked about.
Fix and test for Kashiwara convention of tensor products.
Fixed typo
typo from #16714(comment 59)
more typos in rst docs
vi-induced typo in #16847
Fixed trivial doctest failure due to new format.
Trac #16451: Implement tensor product of cystals categories and a better search for highest weight elements

Currently in a tensor product of crystals, we search through all
elements and filter. However if given a highest weight element in a
tensor product `a (x) b`, then `b` must be highest weight. This means we
can use a backtracing algorithm to find all highest weight elements
which this ticket implements.

This first implements the categories of tensor products of crystals
(currently all crystal subcategories are monoidal under tensor
products).

This also changes the output of the current `highest_weight_vectors()`
to return a tuple since we don't want to allow modifications to the
output of a `@cached_method`.

URL: http://trac.sagemath.org/16451
Reported by: tscrim
Ticket author(s): Travis Scrimshaw
Reviewer(s): Anne Schilling, Nicolas M. Thiery
Trac #16540: Regression in Pari finite field interface

In Sage 6.2

{{{
sage: GF(11^23, 'a').gen()^Zmod(11)(1)
1
}}}

In 5.9 this used to give

{{{
sage: GF(11^23, 'a').gen()^Zmod(11)(1)
a
}}}

URL: http://trac.sagemath.org/16540
Reported by: defeo
Ticket author(s): Peter Bruin
Reviewer(s): Jeroen Demeyer
Trac #16847: LP-related typos

few annoying typos fixed

URL: http://trac.sagemath.org/16847
Reported by: dimpase
Ticket author(s): Dima Pasechnik
Reviewer(s): Nathann Cohen