Complex multiplication can be thought of as just a different function than real multiplication, defined *: C x C -> C or something like that, right? > rich dat

Complex multiplication can be thought of as just a different function than real multiplication, defined *: C x C -> C or something like that, right? > rich datetime type would also have "behavior rules" such as adding 1 day to Saturday makes it wrap around back to Sunday because of modular arithmetic. Conceptually, it's a overloaded method, that's a function, again, with syntactic sugar. Functions are defined from one set to other. The fact that we use same names or symbols doesn't change that types, for all simple purposes, correspond to sets in math.