Opened 7 years ago

Last modified 12 months ago

#18333 new task

Cleanup and speedup in QQbar — at Version 10

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
  • #17830: consider the natural order induced from RR for number fields with real embedding

Tasks in AA/QQbar:

  • #18303: better comparisons
  • #17886, #18356, #18242: faster qqbar operations using resultants
  • #15600: exactification is slow in do_polred
  • #16222, #18122: enhanced minpoly
  • #12745: conversion issue QQbar -> AA
  • #18106: introduce a polynomial descriptor, make sum and product be n-ary instead of binary and get rid of recursive calls
  • use firstly interval arithmetic for sign/floor/ceil/trunc/round instead of the _floor_ceil helper
  • remove the following methods from ANDescr:
    • rational_value
    • is_field_element
    • is_exact
  • fusion ANRoot and ANRootOfUnity within ANExtension
  • remove redundancy between the unary operators norm, abs, real, imag and conjugate
  • 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)
  • use directly embedded number fields in AlgebraicGenerator

Change History (10)

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)

comment:5 Changed 7 years ago by vdelecroix

  • Description modified (diff)

comment:6 Changed 7 years ago by vdelecroix

  • Description modified (diff)

comment:7 Changed 7 years ago by mmezzarobba

  • Cc mmezzarobba added

comment:8 Changed 7 years ago by vdelecroix

  • Description modified (diff)

comment:9 Changed 7 years ago by vdelecroix

  • Description modified (diff)

comment:10 Changed 7 years ago by vdelecroix

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