fn transform_simplex<D1: Domain<Idx: Copy> + Keys<D1::Idx>, D2: Domain<Idx: Debug> + From<D1> + Keys<D2::Idx>, V: MyFloat>( p: MArrD1<D1, V>, c: V, ) -> SimplexD1<D2, V>