问题

软件 >> Magma
Questions in category: Magma (Magma).

[Magma]List

Posted by haifeng on 2011-08-13 15:51:41 last update 2011-08-13 15:52:22 | Answers (0) | 收藏


List

Magma 中的 List 是有限个对象的一个有序排列. 它不同于序列(sequence)必须属于某个共同的结构. List 的存储并不是紧凑的, 对于List, 所提供的运算也并不广泛. 只是用于为用户临时把各种对象放在一起而已.

构造方式

[**]//空的 List
[* e1,e2,...,en *]// ei 可以是表达式