This is an old revision of the document!
Standard Library
Modules ''Naturals'', ''Integers'', ''Reals''
Nat,Int,Real+,−,∗,/,^<=,>=,>,<..Infinity
Module ''Sequences''
The Sequences module defines operations on finite sequences. We represent a finite sequence as a tuple, so the sequence of three numbers 3, 2, 1 is the triple <<3, 2, 1>>. The Sequences module defines the following operators on sequences:
s \o t: The sequence obtained by concatenating the sequences s and t.- Example:
<<3, 7>> \o <<3>>is equal to<<3, 7, 3>>.
HeadSelectSeqSubSeqAppendLenSeq(S): The set of all sequences of elements of the set S .- Example:
Seq({3,7})is equal to<<3, 7>>.
Tail
Module ''FiniteSets''
IsFiniteSetCardinality
Module ''Bags''
(+),(-)BagInCopiesInSubBagBagOfAllEmptyBag\sqsubseteqBagToSetIsABagBagCardinalityBagUnionSetToBag
Module ''RealTime''
RTBoundRTnownow
Module ''TLC''
:>,@@PrintAssertJavaTimePermutationsSortSeq
fponzi