Changes between Version 2 and Version 4 of Ticket #19955


Ignore:
Timestamp:
12/23/18 09:10:28 (3 years ago)
Author:
vdelecroix
Comment:

Hi Marc,

Replying to mmezzarobba:

Hi Vincent,

I think you told me that you no longer wanted to do that, and I agree. It would be nice to have a way of computing directly on ANRoots using resultants (in addition to the version using union(), I think, rather than as a replacement), but ANUnaryExpr and ANBinaryExpr should either remain or be replaced by a more general polynomial descriptor as suggested in #18106 (or perhaps merge with LazyAlgebraic, #24503?)

#24503 is indeed what I intended to do first. That is moving the numerical part of polynomial root evaluation to the real/complex lazy fields.

And on the other hand, computing with resultants is by far too slow if you work with a fixed number field of degree < 10.

→ wontfix?

Looks reasonable to me.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #19955

    • Property Status changed from new to needs_review
    • Property Authors changed from Vincent Delecroix to
    • Property Milestone changed from sage-7.1 to sage-duplicate/invalid/wontfix
  • Ticket #19955 – Description

    v2 v4  
     1This ticket is abandoned as computing with resultants is too slow.
     2-------------------------------------
     3Original description
     4
    15This is a follow up of #19954 where we:
    26 - create a new descriptor `ANRootRational` as a descriptor for roots of '''irreducible''' polynomials with '''rational''' coefficients