Basic Operations

Next: Arithmetical Operations Up: Rational (rational.h) Previous: Rational (rational.h)

Basic Operations

Constructors

Algorithm:      c := Rational(a)

Input:      $a\in\textsf{Digit}$ .

Output:      $c\in\textsf{Rational}$ such that $c = \frac{a}{1}\quad\Box$

Algorithm:      c := Rational(a, b)

Input:      $a\in\textsf{Integer}, b\in\textsf{Natural}\mbox{ where }b\not=0$ .

Output:      $c\in\textsf{Rational}$ such that $c = \frac{a}{b}\quad\Box$

Algorithm:      c := Rational(a)

Input:      $a\in\textsf{Integer}$ .

Output:      $c\in\textsf{Rational}$ such that $c = \frac{a}{1}\quad\Box$

Algorithm:      c := Rational(a)

Input:      $a\in\textsf{Rational}$ .

Output:      $c\in\textsf{Rational}$ such that $c = a\quad\Box$
Selectors

Algorithm:      c := a.numerator()

Input:      $a\in\textsf{Rational}$ .

Output:      $c\in\textsf{Integer}$ such that $c = a_1\mbox{ where }\frac{a_1}{a_2}=a\quad\Box$

Algorithm:      c := numerator(a)

Input:      $a\in\textsf{Rational}$ .

Output:      $c\in\textsf{Integer}$ such that $c = a_1\mbox{ where }\frac{a_1}{a_2}=a\quad\Box$

Algorithm:      c := a.denominator()

Input:      $a\in\textsf{Rational}$ .

Output:      $c\in\textsf{Natural}$ such that $c = a_2\mbox{ where }\frac{a_1}{a_2}=a\quad\Box$

Algorithm:      c := denominator(a)

Input:      $a\in\textsf{Rational}$ .

Output:      $c\in\textsf{Natural}$ such that $c = a_2\mbox{ where }\frac{a_1}{a_2}=a\quad\Box$
Assignments

Algorithm:      c := c = a

Input:      $a,c\in\textsf{Rational}$ .

Output:      $c\in\textsf{Rational}$ such that $c = a\quad\Box$

Algorithm:      c := c = a

Input:      $a\in\textsf{Integer}, c\in\textsf{Rational}$ .

Output:      $c\in\textsf{Rational}$ such that $c = \frac{a}{1}\quad\Box$

Algorithm:      c := b = a

Input:      $a\in\textsf{Digit}, b\in\textsf{Rational}$ .

Output:      $b\in\textsf{Rational}, c\in\textsf{Digit}$ such that $b = \frac{a}{1}, c = a\quad\Box$

Algorithm:		`c := Rational(a)`
Input:		$a\in\textsf{Digit}$ .
Output:		$c\in\textsf{Rational}$ such that $c = \frac{a}{1}\quad\Box$

Algorithm:		`c := Rational(a, b)`
Input:		$a\in\textsf{Integer}, b\in\textsf{Natural}\mbox{ where }b\not=0$ .
Output:		$c\in\textsf{Rational}$ such that $c = \frac{a}{b}\quad\Box$

Algorithm:		`c := Rational(a)`
Input:		$a\in\textsf{Integer}$ .
Output:		$c\in\textsf{Rational}$ such that $c = \frac{a}{1}\quad\Box$

Algorithm:		`c := Rational(a)`
Input:		$a\in\textsf{Rational}$ .
Output:		$c\in\textsf{Rational}$ such that $c = a\quad\Box$

Algorithm:		`c := a.numerator()`
Input:		$a\in\textsf{Rational}$ .
Output:		$c\in\textsf{Integer}$ such that $c = a_1\mbox{ where }\frac{a_1}{a_2}=a\quad\Box$

Algorithm:		`c := numerator(a)`
Input:		$a\in\textsf{Rational}$ .
Output:		$c\in\textsf{Integer}$ such that $c = a_1\mbox{ where }\frac{a_1}{a_2}=a\quad\Box$

Algorithm:		`c := a.denominator()`
Input:		$a\in\textsf{Rational}$ .
Output:		$c\in\textsf{Natural}$ such that $c = a_2\mbox{ where }\frac{a_1}{a_2}=a\quad\Box$

Algorithm:		`c := denominator(a)`
Input:		$a\in\textsf{Rational}$ .
Output:		$c\in\textsf{Natural}$ such that $c = a_2\mbox{ where }\frac{a_1}{a_2}=a\quad\Box$

Algorithm:		`c := c = a`
Input:		$a,c\in\textsf{Rational}$ .
Output:		$c\in\textsf{Rational}$ such that $c = a\quad\Box$

Algorithm:		`c := c = a`
Input:		$a\in\textsf{Integer}, c\in\textsf{Rational}$ .
Output:		$c\in\textsf{Rational}$ such that $c = \frac{a}{1}\quad\Box$

Algorithm:		`c := b = a`
Input:		$a\in\textsf{Digit}, b\in\textsf{Rational}$ .
Output:		$b\in\textsf{Rational}, c\in\textsf{Digit}$ such that $b = \frac{a}{1}, c = a\quad\Box$

Next: Arithmetical Operations Up: Rational (rational.h) Previous: Rational (rational.h)

Piologie Version 1.2
3/3/1998