Computing residue class rings and Picard groups of orders

Let K be a global field and O be an order of K. We develop algorithms for the computation of the unit group of residue class rings for ideals in O. As an application we show how to compute the unit group and the Picard group of O provided that we are able to compute the unit group and class group of the maximal order O˜ of K.