ComplexFunctions2(R, S)

gaussian.spad line 603 [edit on github]

• R : CommutativeRing
• S : CommutativeRing

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

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

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