complete doctesting for abstract_ring. And: fixed an integer division bug with derivatives, fixed a bug with change_ring, forms ring and spaces now use the default comparison function and functors use __eq__ instead of __cmp__, a more elaborate method is used to determine the base ring