Support for various methods for fake local ring
Modified Numerator
added Vinay as author to title.xml
removed comments
outsourced Denominator, Numerator, and Value

(declarations, installations, table entries, pictograms)
to MatricesForHomalg, HomalgToCAS, and RingsForHomalg v2013.07.12
LocalizeBaseRingAtPrime now sets globalR!.PartialQuotientRing

to have a unique AssociatedComputationRing for localizations
of the base ring at different primes