Changes between Initial Version and Version 1 of Ticket #31767, comment 12
 Timestamp:
 May 15, 2021, 5:04:44 PM (21 months ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #31767, comment 12
initial v1 1 1 Actually, 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 2 2  compute `m_{a+b}(x)` (eg via `composed_op`) and do refinement with it 3  compute rbetter refinement of `a` and `b` and add them3  compute better refinement of `a` and `b` and add them 4 4 Depending on `deg(m_a)`, `deg(m_b)`, `deg(m_{a+b})` it might be better to use the second option.