Drichlet ring is now included in FriCAS The Dirichlet Ring The Dirichlet Ring is the ring of arithmetical functions In general we only assume that the coefficient ring is a ring. If happens to be commutative, then so is the Dirichlet ring, and in this case it is even an algebra. Apart from the operations inherited from those categories, we only provide some convenient coercion functions. |