to_poly_solve
最大值中的函数返回 a%union
但我想使用列表。
既然不起作用,如何将%union
s 变成列表?listify
这个功能对我有用:
LISTIFY(Union) := block(
[res : []],
(for si in Union do res : append(res, [si])),
return (res)
);
用法:
abc : %union([a = 2], [b = 3]);
LISTIFY(abc);
输出:
%union([a=2],[b=3])
[[a=2],[b=3]]
abc : %union([a = 2], [b = 3]);
args(abc);