Changes between Initial Version and Version 1 of Ticket #10963, comment 413
 Timestamp:
 01/16/14 21:08:37 (8 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #10963, comment 413
initial v1 3 3 The potential problem with additional relations is that you might have already constructed distinct categories Rings + division + finite and Fields + finite. At that point I think its fine to require that Wedderburn has to restart Sage. 4 4 5 I don't quite understand how Polybori solves this, Z/2Z has only idempotents but Z/2Z[x] does not. Of course you can add x^2=xas relation to the ideal. Or just work with squarefree / radical ideals. Either way thats a bit of a technicality that does fit into this analogy.5 I don't quite understand how Polybori solves this, `Z/2Z` has only idempotents but `Z/2Z[x]` does not. Of course you can add `x^2=x` as relation to the ideal. Or just work with squarefree / radical ideals. Either way thats a bit of a technicality that does fit into this analogy.