We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0a28043 commit d5e6379Copy full SHA for d5e6379
src/absolutecontinuity.jl
@@ -58,21 +58,15 @@ function representative(μ)
58
function f(μ)
59
# Check if we're done
60
isprimitive(μ) && return μ
61
-
62
ν = basemeasure(μ)
63
64
- # TODO: Make sure we don't leave the equivalence class
65
- # Make sure not to leave the equivalence class
66
- # (ν ≪ μ) || return μ
67
68
return ν
69
end
70
71
fix(f, μ)
72
73
74
-# TODO: ≪ needs more work
75
function ≪(μ, ν)
76
μ == ν && return true
77
representative(μ) ≪ representative(ν) && return true
+ return false
78
0 commit comments