DistributionFunctions2(R1, R2)

distro.spad line 1122 [edit on github]

• R1 : CommutativeRing
• R2 : CommutativeRing

A package to map distributions between different rings.

R1_to_R2_coercion : R1 -> R2

R1_to_R2_coercion should be local but conditional

coerce : Distribution(R1) -> Distribution(R2)

coerce(x) coerces a distribution from the ring R1 to R2.

mapall : (Mapping(R2, R1), Distribution(R1)) -> Distribution(R2)

map(f, x) maps the moments and cumulants from the ring R1 to R2.