feat: the pathwise variation process - #494

Merged

RemyDegenne merged 21 commits into

RemyDegenne:masterfrom

CoolRmal:variation-process

Jul 29, 2026

Commits on Jul 17, 2026

Commits on Jul 18, 2026

two assumptions
CoolRmal
committed
c8bc776
doc string and todo
CoolRmal
committed
8003635

Commits on Jul 19, 2026

golf+separability
CoolRmal
committed
9624278
move
CoolRmal
committed
40f6f70

Commits on Jul 25, 2026

add adapted, golf eVariationOn_eq_comp_val_of_dense
CoolRmal
committed
e78bfc4

Commits on Jul 26, 2026

Finish golf
CoolRmal
committed
8d54bdd
final
CoolRmal
committed
66c0a15
Merge branch 'master' into variation-process
CoolRmal
authored
1f2a99b
minor change
CoolRmal
committed
f234b2e
Merge remote-tracking branch 'refs/remotes/origin/variation-process' into variation-process
CoolRmal
committed
92fb929
fix import
CoolRmal
committed
b855a00
fix: use non-deprecated countable_setOfPred_isolated_right_within

CoolRmal
and
claude
committed
665e422

Commits on Jul 28, 2026

refactor: split VariationProcess into function and process files

CoolRmal
and
claude
committed
0eb836d
split
CoolRmal
committed
5d81d33
delete min_import
CoolRmal
committed
d940b83

Commits on Jul 29, 2026

move measurability to the process file
RemyDegenne
committed
023a0f2
minor
RemyDegenne
committed
afa217d