Thank you for your detailed explaination. On 2018-10-25 11:09, John Cremona wrote: > Personally I cannot think of a reason why one would want this abs() to > be returned as an algebraic number, since the whole point of absolute > values in algebraic number theory is that they like in some completion > (RR, CC, Qp or an extension of Qp). One could try to special-case > cyclotomic fields -- which makes sense *only* because they have an > automorphism of order 2 which can be identified with complex conjugation > -- but a function whose return values had a parent which depended on the > input would surely not be useful.
What my troubles are, is that by using abs my computation gets inexact, which I want to avoid at all cost. (So I think I just have to treat CyclotomicFields etc. special) Daniel -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
