ComplexFunctions2(R, S)

gaussian.spad line 602 [edit on github]

• R: CommutativeRing

• S: CommutativeRing

This package extends maps from underlying rings to maps between complex over those rings.

map: (R -> S, Complex R) -> Complex S

map(f, u) maps f onto real and imaginary parts of u.