Opened 7 years ago

Closed 7 years ago

## #773 closed bug (fixed)

# bug in superCommutative

Reported by: | barakat | Owned by: | somebody |
---|---|---|---|

Priority: | minor | Milestone: | 4-1-0 and higher |

Component: | dontKnow | Version: | 4-0-3 |

Keywords: | Cc: |

### Description

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

### Change History (2)

### comment:1 Changed 7 years ago by

### comment:2 Changed 7 years ago by

Resolution: | → fixed |
---|---|

Status: | new → closed |

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

**Note:**See TracTickets for help on using tickets.

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))`

`.`