define fsdist_conv using the convType of R#105

Merged

affeldt-aist merged 4 commits intomasterfrom conv_based_fsdist

Nov 20, 2023

+150-236

Commits on Nov 20, 2023

use the convex structure on R to define that on fsdist

t6s
authored and
affeldt-aist
committed
clean-up; documentation; lemmas for convn

t6s
authored and
affeldt-aist
committed
remove fsdist_convA

t6s
authored and
affeldt-aist
committed
changelog

t6s
authored and
affeldt-aist
committed