Sequence

Exports

• LinearStructureType R
  UnivariateFreeAlgebra R
  #:	% $\to$ Z	number of computed elements
  bound:	% $\to$ MachineInteger	upper bound on the support size
  finite?:	% $\to$ Boolean	check whether the support is finite
  sequence:	Stream R $\to$ %	create a sequence

• if R has Ring then
  

• random:

  () $\to$ %

  random sequence