xref: /dports/math/frobby/frobby-0.9.1/test/specialIdeals/e5.multi

R = QQ[a];
p =
 -a +
 1;