IntegerSegment

Next: .. Up: Arithmetic Previous: new Contents Index

IntegerSegment

Usage

import from IntegerSegment Z

Parameter Type Description

Z IntegerType an integer type

Parameter	Type	Description
Z	`IntegerType`	an integer type

Description

IntegerSegment(Z) implements open and closed segments of Z, i.e.a selection of equally spaced integers in a range of the form or $[a, +\infty)$ .

Exports

PrimitiveType

InputType

OutputType

SerializableType

..: Z $\to$ % creation of a segment

(Z, Z) $\to$ %

by: (%, Z) $\to$ % change the spacing

generator: % $\to$ Generator Z iterate over a segment

high: % $\to$ Z upper bound

low: % $\to$ Z lower bound

open?: % $\to$ Boolean check whether a segment is open

step: % $\to$ Z spacing

Subsections

..
by,step
generator
high,low
open?

Next: .. Up: Arithmetic Previous: new Contents Index

Manuel Bronstein 2004-06-28

`PrimitiveType`
`InputType`
`OutputType`
`SerializableType`
`..`:	Z $\to$ %	creation of a segment
	(Z, Z) $\to$ %
`by`:	(%, Z) $\to$ %	change the spacing
`generator`:	% $\to$ `Generator` Z	iterate over a segment
`high`:	% $\to$ Z	upper bound
`low`:	% $\to$ Z	lower bound
`open?`:	% $\to$ `Boolean`	check whether a segment is open
`step`:	% $\to$ Z	spacing