bug in superCommutative

[barakat]

The exterior algebra over a single variable does not work properly:

LIB "matrix.lib"; ring a1 = (0),(e),dp; def A1 = superCommutative(1); setring A1; e^2;

e2

e^2==0;

0

ring a2 = (0),(e,f),dp; def A2 = superCommutative(1); setring A2; e^2;

0

e^2==0;

1

[Oleksandr]

As far as i remember, the point is that it is a commutative algebra, which apriori, is faster implemented in Singular.

Alas! Simplification for such algebras has to be done manually: e.g. NF(e^2, std(0)).

[hannes]

one needs to set option(qringNF) for that. see fix ffdadd7ef141b5fff1d2e6d2a395efef9aeccef9