Added a sixth element to the tuples returned by LocalInformation for elliptic curves defined over ℚ, to match that for elliptic curves over other fields.
The basis of an elimination ideal is now reduced so as to pick up easy cases for computing the GB of the ideal. Problem reported by D. Leonard.