list3 http://www.openmath.org/cd/list3.ocd 2004 1 1 experimental list1 Several basic list functions are given in this CD. list_entry This symbol takes two arguments, the first a list, L say, and the second an integer, i say. It represents the function which returns the i-th element of L. The absolute value of the element i is in the interval [1..n] where n is the length of L. Specification of the second element of the list [1,..,6] 1 2 3 4 5 6 2 Specification of the second element of the list [1,..,6] counted from the end. 1 2 3 4 5 6 -2 listdiff This symbol takes two arguments both a list. It represents a function which returns a list made up of all the elements of the first list which are not in the second. Specification of the list [1,..,6], apart from the first 3 elements. 1 2 3 4 5 6 1 2 3