Changes between Initial Version and Version 1 of Ticket #31767, comment 12


Ignore:
Timestamp:
May 15, 2021, 5:04:44 PM (21 months ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31767, comment 12

    initial v1  
    11Actually, to construct a better refinement of `a + b` knowing the minimal polynomials `m_a(x)` and `m_b(x)` there are at least two strategies
    22- compute `m_{a+b}(x)` (eg via `composed_op`) and do refinement with it
    3 - computer better refinement of `a` and `b` and add them
     3- compute better refinement of `a` and `b` and add them
    44Depending on `deg(m_a)`, `deg(m_b)`, `deg(m_{a+b})` it might be better to use the second option.