Changes between Initial Version and Version 1 of Ticket #27366, comment 33


Ignore:
Timestamp:
04/15/21 20:09:22 (6 months ago)
Author:
gh-kliem
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #27366, comment 33

    initial v1  
    1515
    1616This is extremely stupid. At least it should throw an error instead of giving a false negative. But its pointless to be fixed here.
     17
     18Edit: I realized that equality checks should never throw an error. So it is really hard to do the right thing here. The base ring of algebraic polyhedra has a specified embedding into `RLF`, which makes it incomparable with `AA`.