OpenMath Content Dictionary: sequence1

Canonical URL:
www.cristal.win.tue.nl/...
CD File:
sequence1.ocd
CD as XML Encoded OpenMath:
sequence1.omcd
Defines:
list2seq, seq2list, sequence
Date:
2001-05-12
Version:
1
Review Date:
2003-04-01
Status:
experimental
Uses cd:CD:
arith1, logic1, relation1, set1, setname1

This CD defines symbols for sequences, which are semantically close to lists, but not quite the same.


sequence

Description:

The symbol to represent an n-ary operator, grouping its arguments.

Example:
Expressing that variables a and b represent integers:
  
sequence ( a , b ) Z
Signatures:
sts


[Next: list2seq] [Last: seq2list] [Top]

list2seq

Description:

This symbol represents the unary function whose argument should be a list. The result is the corresponding sequence.

Example:
The objects
  
list2seq ( ( a , b ) )
and
  
sequence ( a , b )
both represent the sequence a, b.
Signatures:
sts


[Next: seq2list] [Previous: sequence] [Top]

seq2list

Description:

This symbol represents the unary function whose argument should be a sequence. The result is the corresponding list.

Example:
The list [a,b] can be obtained from the sequence:
  
seq2list ( sequence ( a , b ) )
Signatures:
sts


[First: sequence] [Previous: list2seq] [Top]