core.reduction doesn't depend on type.complex.sdk