Changes between Initial Version and Version 1 of Ticket #10745, comment 8


Ignore:
Timestamp:
12/30/13 16:17:01 (8 years ago)
Author:
wuthrich
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10745, comment 8

    initial v1  
    1 I propose to close this after #13593 and #5753 as these two overlap a lot with the ticket here. Once they are closed. Then we open a new ticket enhancement for the saturation over number field (unless that exists already).
     1I propose to close this after #13593 and #5153 as these two overlap a lot with the ticket here. Once they are closed. Then we open a new ticket enhancement for the saturation over number field (unless that exists already).