Posted by haifeng on 2011-08-13 15:51:41 last update 2011-08-13 15:52:22 | Answers (0) | 收藏
Magma 中的 List 是有限个对象的一个有序排列. 它不同于序列(sequence)必须属于某个共同的结构. List 的存储并不是紧凑的, 对于List, 所提供的运算也并不广泛. 只是用于为用户临时把各种对象放在一起而已.
[**]//空的 List [* e1,e2,...,en *]// ei 可以是表达式