Opened 7 years ago

Last modified 12 months ago

#18333 new task

Cleanup and speedup in QQbar — at Version 4

Reported by: vdelecroix Owned by:
Priority: major Milestone: sage-wishlist
Component: number fields Keywords:
Cc: mmezzarobba, gagern, cheuberg Merged in:
Authors: Vincent Delecroix Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by vdelecroix)

This is a task ticket for speed up and cleaning in sage.rings.qqbar

Prerequisites on number fields/interval arithmetic

  • #18332: implement is_integer and is_rational on number field elements
  • #18334: implement unique_sign and unique_trunc on interval field elements
  • #18337: implement real and imag on real intervals

Actual tasks:

  • #18303: better comparisons
  • #17886 and #18242: faster qqbar operations using resultants
  • #15600: exactification is slow in do_polred
  • use firstly interval arithmetic for sign/floor/ceil/trunc/round
  • remove the following methods from ANDescr:
    • rational_value
    • is_field_element
    • is_exact
  • fusion ANRoot and ANRootOfUnity within ANExtension
  • enhanced sage_input for ANExtension
  • better powering (__pow__) using ANExtension and fix convention for powering in AA vs QQbar
  • reimplement _real_refine_interval without these ugly dictionaries (see also #17895)
  • make number field elements compare themselves and use that

Change History (4)

comment:1 Changed 7 years ago by vdelecroix

  • Description modified (diff)

comment:2 Changed 7 years ago by vdelecroix

  • Description modified (diff)

comment:3 Changed 7 years ago by vdelecroix

  • Description modified (diff)

comment:4 Changed 7 years ago by vdelecroix

  • Description modified (diff)
Note: See TracTickets for help on using tickets.