This is an old revision of the document!
PHP's gd library is missing or unable to create PNG images
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>>equals<<3, 7, 3>>.
HeadSelectSeqSubSeqAppendLenSeqTail
Module ''FiniteSets''
IsFiniteSetCardinality
Module ''Bags''
(+),(-)BagInCopiesInSubBagBagOfAllEmptyBag\sqsubseteqBagToSetIsABagBagCardinalityBagUnionSetToBag
Module ''RealTime''
RTBoundRTnownow
Module ''TLC''
:>,@@PrintAssertJavaTimePermutationsSortSeq
fponzi