make-rectangular -- r7rs Definition

§

Kind

§

procedure;

Implemented by

§

• make-rectangular (from vonuvoli);

Procedure signature

§

Procedure variants:

• (((x real-not-inf-not-nan) real-zero) -> ((x real-not-inf-not-nan)))
  • inputs:
    • x of type real-not-inf-not-nan;
    • a value of type real-zero;
  • output: x of type real-not-inf-not-nan;
• ((real-not-inf-not-nan real-not-inf-not-nan) -> (complex-not-inf-not-nan))
  • inputs:
    • a value of type real-not-inf-not-nan;
    • a value of type real-not-inf-not-nan;
  • output: a value of type complex-not-inf-not-nan;

Exports

§

• scheme:complex -- (scheme complex);

Exports recursive

§

• scheme -- (scheme);

Description

§

(make-rectangular x_1 x_2)
(make-polar x_3 x_4)
(real-part z)
(imag-part z)
(magnitude z)
(angle z)

Let x_1, x_2, x_3, and x_4 be real numbers and z be a complex number such that z = x_1 + x_2*i = x_3 * e^(x_4*i) Then all of

(make-rectangular x_1 x_2)     ===>  z
(make-polar x_3 x_4)           ===>  z
(real-part z)                  ===>  x_1
(imag-part z)                  ===>  x_2
(magnitude z)                  ===>  | x_3 |
(angle z)                      ===>  x_angle

are true, where -pi <= x_angle <= pi with x_angle = x_4 + 2 pi n for some integer n.

The make-polar procedure may return an inexact complex number even if its arguments are exact. The real-part and imag-part procedures may return exact real numbers when applied to an inexact complex number if the corresponding argument passed to make-rectangular was exact.

Rationale: The magnitude procedure is the same as abs for a real argument, but abs is in the base library, whereas magnitude is in the optional complex library.

---

The text herein was sourced and adapted as described in the "R7RS attribution of various text snippets" appendix.

Referenced-types

§

• real-not-inf-not-nan;
• real-zero;
• complex-not-inf-not-nan;