解决IntegerMod中的非线性系统（2）

Question

我想用Matlab（MuPAD）解决域IntegerMod（2）中的非线性系统。我尝试了一个简单的例子：

solve({ poly(a*b, [a, b], Dom::IntegerMod(2)) })

错误：只能解决该字段上的线性系统。 [solvelib :: domsolve]

知道如何解决这个问题吗？

一种可能的解决方案是a=0, b=0，对吗？