Maple 第三章 变量管理(3.2数据类型与结构)

3.2数据类型与结构
Maple系统提供了多种数据类型和结构,最基本的数据类型有我们前面见过的整数类型(integer),浮点数类型(float-pointing number)和字符串(string).复杂的数据类型结构则由基本的数据类型所组成,主要包括:表达式序列,列表,向量,表以及阵列.
3.2.1表达式序列
Maple的基本数据结构是表达式序列,表达式序列是一组用逗号分隔的表达式
> 1, 2, 3, 4;
                           1, 2, 3, 4
> x, y, z, w;
                           x, y, z, w
表达式序列既不是列表也不是集合,在maple中,这些类型代表不同的数据结构,各有各的不同的性质,表达式序列中允许一个表达式重复出现,即表达顺序与键入顺序一致,允许重复键入相同的表达式.在利用连接操作构造更为复杂的对象时,尝尝要用到表达式序列
表达式序列的使用非常灵活,例如串连接是构造名字的基本操作,连接符为"||":
> a || b;
                               ab
将连接操作作用于表达式序列:
> S := 1, 2, 3, 4;
                        S := 1, 2, 3, 4
> a || S;
                         a1, a2, a3, a4
3.2.2列表
把若干以逗号分隔的Maple对象用一方括号括起来,构成一个列表
> data_list := [1, 2, 3, 4, 5];
                  data_list := [1, 2, 3, 4, 5]
> polynormials := [x^2 + 3, x^2 + 3*x - 1, 2*x];
                          [ 2       2               ]
          polynormials := [x  + 3, x  + 3 x - 1, 2 x]
> particpants := [Kathy, Frank, Niklaus, Liz, "张三", "李四"];
    particpants := [Kathy, Frank, Niklaus, Liz, "张三", "李四"]
列表就是把表达式序列用方括号括起来
Maple保持列表中表达式顺序和重复次数,因此[a,b,c],[b,c,a],[a,a,b,c,b]是彼此不同的列表
由于保持顺序,用户可实现类似C语言中指针的操作
> letters := [a, b, c];
                      letters := [a, b, c]
> letters[2];
                               b
> nops(letters);
                               3
> op(letters);
                            a, b, c
> nops(x^2);
                               2
> nops(x + 2);
                               2
> op(x^2);
                              x, 2
> op(1, x^2);
                               x
> op(2, x^2);
                               2
> op(1 .. 2, x + y + z + w);
                              x, y
使用nops命令,我们可以得到列表中元素的个数,使用op命令,可以把一个列表转换为一个表达式序列,
这两条命令还可以用来告诉我们把表达式拆分成若干部分,并从其中抽取子表达式,将nops作用于表达式时,可以告诉我们表达式有多少部分
 op命令允许用户访问表达式的各个部分,并按照顺序返回表达式,也可以指定范围抽取
3.2.3集合
Maple支持数学意义上的集合,如同序列和列表一样,集合使用一对花括号括起来,并以逗号分隔.
> data_set := {-1, 0, 1, 2, 10};
                 data_set := {-1, 0, 1, 2, 10}
> unkown := {x, y, z};
                      unkown := {x, y, z}
# Maple中的集合不保持集合元素的顺序和重复次数,这点与列表不同,因此maple中的集合与数学中的集合性质完全相同
> {a, b, c}, {a, b, c}, {a, b, c};
                {a, b, c}, {a, b, c}, {a, b, c}
# 注意在maple中,整数2不同于浮点数2.0,因此下面的集合中含有三个元素,而不是两个元素
> {1, 2, 2.0};
                          {1, 2, 2.0}
# 集合石maple中很重要的一个概念,正如数学中的集合概念一样,maple也提供了很多集合的基本运算,包括交(intersect)和并(union)
> {a, b, c} union {c, d, e};
                        {a, b, c, d, e}
> {1, 2, 3, a, b, c} intersect {0, 1, a, y};
                             {1, a}
> nops(%);
                               2
> op({1, 2, 3, a, b});
                         1, 2, 3, a, b
3.2.4集合和列表上的运算
命令member可以判定一个表达式是否是集合或者列表的成员,
> particpants := [Kate, Tom, Steve];
               particpants := [Kate, Tom, Steve]
> member(Tom, particpants);
                              true
> data_set := {3, 5, 6, 7};
                    data_set := {3, 5, 6, 7}
> member(2, data_set);
                             false
从列表中选择一项可使用下标记号[n],其中n表示所求元素在列表中的位置
> particpants := [Kate, Tom, Steve];
               particpants := [Kate, Tom, Steve]
> particpants[2];
                              Tom
# Maple理解空集和空列表,这点也非常重要,其包括了其他编程语言中的空集合空列表的模式,也更符合我们对数学的认知
> empty_set := {};
                        empty_set := {}
> empty_list := [];
                        empty_list := []
# 通过集合运算,可以从已有的集合出发构造新的集合,union命令求并,利用minus命令去除某些元素
> old_set := {2, 3, 4} union {};
                      old_set := {2, 3, 4}
> new_set := old_set union {2, 5};
                    new_set := {2, 3, 4, 5}
> third_set := old_set minus {2, 5};
                      third_set := {3, 4}
3.2.5阵列
# 阵列式数据结构的扩展,列表是若干项构成的组,每个项对应一个正整数作为他的指标,表示列表中项的位置,Maple中列阵数据结构是这种思想的推广,每个元素仍关联与一个指标,但不限于一维,还可以修改个别元素,而不必定义整个阵列
# 阵列需要声明,以通知Maple阵列的维数
> squares := array(1 .. 3);
                  squares := array(1 .. 3, [])
# 为列阵元素赋值
> squres[1] := 1;
> squres[2] := 2^2;
> squres[3] := 3^2;
                         squres[1] := 1

                         squres[2] := 4

                         squres[3] := 9
# 也可以在定义列阵时候为元素赋值,同样也可以选取元素
> cubes := array(1 .. 3, [1, 8, 27]);
                      cubes := [1, 8, 27]
> squres[2];
                               4
> squres;
                             squres
> print(squares);
              [squares[1], squares[2], squares[3]]

使用print命令,起初我们可能会觉得麻烦,然而这一特点不仅使maple能更加有效的工作,而且在处理较大规模的阵列时,我们会发现这样做的好处
前述例子中阵列都是一维的,一般情况下,阵列维数可以大于一维

3.2.6表
表式列阵数据结构的扩展,两者的区别在与表的指示任意,不仅限于整数,类似于Python中的字典