Opened 7 years ago
Last modified 12 months ago
#18333 new task
Cleanup and speedup in QQbar — at Version 12
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: |
Description (last modified by )
This is a task ticket for speed up and cleaning in sage.rings.qqbar
Prerequisites on number fields/polynomials/interval arithmetic
- #18332: implement
is_integer
andis_rational
on number field elements - #18334: implement
unique_sign
andunique_trunc
on interval field elements - #18337: implement
real
andimag
on real intervals - #17830: consider the natural order induced from
RR
for number fields with real embedding - #19362: refine root
- #18356: implement composed_op from [BFSS]
Tasks in AA/QQbar
:
- #18303: better comparisons
- #17886, #18242: faster exactification operations using power series and resultants (see also #18356)
- #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
andANRootOfUnity
withinANExtension
- remove redundancy between the unary operators
norm
,abs
,real
,imag
andconjugate
- enhanced
sage_input
forANExtension
- better powering (
__pow__
) usingANExtension
and fix convention for powering inAA
vsQQbar
- reimplement
_real_refine_interval
without these ugly dictionaries (see also #17895) - use directly embedded number fields in
AlgebraicGenerator
as comparison there is faster (see #17830 and #19824). We might want that these embedded number field carries an interval of fixed precision with them (let say64
) to avoid reevaluation in most cases.
Change History (12)
comment:1 Changed 7 years ago by
- Description modified (diff)
comment:2 Changed 7 years ago by
- Description modified (diff)
comment:3 Changed 7 years ago by
- Description modified (diff)
comment:4 Changed 7 years ago by
- Description modified (diff)
comment:5 Changed 7 years ago by
- Description modified (diff)
comment:6 Changed 7 years ago by
- Description modified (diff)
comment:7 Changed 7 years ago by
- Cc mmezzarobba added
comment:8 Changed 7 years ago by
- Description modified (diff)
comment:9 Changed 7 years ago by
- Description modified (diff)
comment:10 Changed 7 years ago by
- Description modified (diff)
comment:11 Changed 6 years ago by
comment:12 Changed 6 years ago by
- Description modified (diff)
- Milestone changed from sage-6.7 to sage-wishlist
Note: See
TracTickets for help on using
tickets.
about slowness of QQbar, see #19910.