符号表达向量为矩阵形式

Question

假设我有一个符号表达式向量，如：[-2*y+x-4,-5*y+x+13]。 如何将其分解为两个变量，比如A = [-2 -5; 1 1]和b = [-4;13]？

但是这应该动态地为n个变量和行向量的m个条目完成。