Random families in non-zero weight: err doesn't make t have total measure 0

lalitkumarj / OMSCategory

Sage Category implementation of OMS

1 stars 1 forks source link

Random families in non-zero weight: err doesn't make t have total measure 0 #49

Closed rharron closed 11 years ago

rharron commented 11 years ago

sage: DD = FamiliesOfOverconvergentDistributions(2, base_coeffs=ZpCA(11, 4), prec_cap=[4,4]) sage: MM = FamiliesOfOMS(11, 2, coefficients=DD) sage: Phis = MM.random_element() ValueError: Family of distribution must have total measure 0 to be in image of difference operator.

I don't really see what's going wrong here...

rharron commented 11 years ago

It seems like the action for higher weight is not working!! I just compared the output of the current code to the output of the really old code and even for the simple distribution (1, 0, 0, ..., 0), the action is different!