在Python或Sagemath中将多元方程转换为二进制矩阵

Question

我有一个多元二次和

  

x0 + x1 * y1 + x0 * y0 + y1

这种情况下的变量是

  

{X0，X1，Y0，Y1，X0 * Y0，X1 * Y1，X0 * Y1，X1 * Y0}

所以给出前一个二次和作为输入，如何根据前面的基础收回矩阵[1,0,0,1,1,1,0,0]。

我在SageMath工作。