[Magma]List
List
Magma 中的 List 是有限个对象的一个有序排列. 它不同于序列(sequence)必须属于某个共同的结构. List 的存储并不是紧凑的, 对于List, 所提供的运算也并不广泛. 只是用于为用户临时把各种对象放在一起而已.
构造方式
[**]//空的 List [* e1,e2,...,en *]// ei 可以是表达式
Magma 中的 List 是有限个对象的一个有序排列. 它不同于序列(sequence)必须属于某个共同的结构. List 的存储并不是紧凑的, 对于List, 所提供的运算也并不广泛. 只是用于为用户临时把各种对象放在一起而已.
[**]//空的 List [* e1,e2,...,en *]// ei 可以是表达式