Changes between Initial Version and Version 1 of Ticket #10963, comment 413


Ignore:
Timestamp:
01/16/14 21:08:37 (6 years ago)
Author:
vbraun
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963, comment 413

    initial v1  
    33The 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.
    44
    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 square-free / radical ideals. Either way thats a bit of a technicality that does fit into this analogy.
     5I 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 square-free / radical ideals. Either way thats a bit of a technicality that does fit into this analogy.