Changes between Initial Version and Version 1 of Ticket #31586, comment 13


Ignore:
Timestamp:
May 13, 2021, 7:21:28 PM (19 months ago)
Author:
Samuel Lelièvre
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31586, comment 13

    initial v1  
    11Though I'm thinking this `return 0`
    2 should be return `QQ.zero()`...
     2should be `return QQ.zero()`...