Vocabulary
sequences

Inputs
seqa sequence


Outputs
eltan object


Word description
Outputs the greatest element of seq.

Errors
Throws an error if the sequence is empty.

See also
min, max, infimum

Definition