numerator -- r7rs Definition

§

Kind

§

procedure;

Implemented by

§

• numerator (from vonuvoli);

Procedure signature

§

Procedure variants:

• (((n integer)) -> ((n integer)))
  • input: n of type integer;
  • output: n of type integer;
• ((rational-zero) -> (integer-zero))
  • input: a value of type rational-zero;
  • output: a value of type integer-zero;
• ((rational-not-zero) -> (integer-not-zero))
  • input: a value of type rational-not-zero;
  • output: a value of type integer-not-zero;

Exports

§

• scheme:base -- (scheme base);

Exports recursive

§

• scheme -- (scheme);

Description

§

(numerator q)
(denominator q)

These procedures return the numerator or denominator of their argument; the result is computed as if the argument was represented as a fraction in lowest terms. The denominator is always positive. The denominator of 0 is defined to be 1.

(numerator (/ 6 4))    ===>  3
(denominator (/ 6 4))  ===>  2
(denominator
  (inexact (/ 6 4)))   ===>  2.0

---

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

Referenced-types

§

• integer;
• rational-zero;
• integer-zero;
• rational-not-zero;
• integer-not-zero;