枫树中声明的契约

Question

在枫树中，我已经声明了

var := {m[1], m[2], m[3], 
m[4], m[5], m[6], 
m[7], m[8], m[9], 
m[10], m[11], m[12], 
m[13], m[14], m[15],
m[16], m[17], m[18], 
m[19],m[20], m[21], 
m[22], m[23], m[24],
m[25], m[26], m[27],
m[28], m[29], m[30],
m[31], m[32], m[33],
m[34], m[35], m[36],
m[37], m[38], m[39],
m[40]};

但是太长了。如何声明更短？

Answer 1

您可以使用 seq 命令为 m[i] 项创建序列：

var := { seq( m[i], i = 1..40 ) };

枫树中声明的契约

Compact declared in maple

maple