exact computations with algebraic numbers

asked 2020-07-06 21:18:17 +0100

b897069
21 ●1 ●3

updated 2020-07-12 03:10:09 +0100

slelievre
17704 ●22 ●160 ●350 http://carva.org/samue...

I'm trying to do exact computations with algebraic numbers. In particular, I know to expect integer answers like 1, 0, and 3 at the end of my computations, but I'm getting something slightly off.

I noticed that if I run

sage: r = sqrt(2)
sage: a = AA(r)
sage: b = AA(1/r)
sage: c = a*b

Then I get:

sage: c
1.000000000000000?

Is this being handled in the computer as exactly 1? Otherwise, how can I do exact computations with algebraic numbers in Sage? I obtain the algebraic numbers I'm working with using algdep() to find a polynomial and .roots(QQbar) to find the roots of that polynomial.

edit retag flag offensive close merge delete

add a comment

2 Answers

Sort by » oldest newest most voted

answered 2020-07-06 22:23:25 +0100

rburing

10919 ●4 ●80 ●218 https://www.rburing.nl/

Yes, it is exact. To check:

sage: c.minpoly() # minimal polynomial over QQ
x - 1
sage: c.radical_expression()
1

edit flag offensive delete link

add a comment

answered 2020-07-12 03:12:28 +0100

slelievre
17704 ●22 ●160 ●350 http://carva.org/samue...

Computations in algebraic numbers are costly so Sage computes the product of a and b "lazily".

Some computations force it to realise the exact value of c.

Here are the one I would favour.

sage: c = AA(r) * AA(1/r)
sage: c
1.000000000000000?
sage: c.exactify()
sage: c
1

For the sake of completeness I also include those from @rburing's answer:

sage: c = AA(r) * AA(1/r)
sage: c
1.000000000000000?
sage: c.radical_expression()
1

sage: c = AA(r) * AA(1/r)
sage: c
1.000000000000000?
sage: c.minpoly()
x - 1
sage: c
1

edit flag offensive delete link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

exact computations with algebraic numbers

2 Answers

Your Answer

Question Tools

Stats

Related questions

exact computations with algebraic numbers edit

2 Answers

Your Answer

Question Tools

Stats

Related questions

exact computations with algebraic numbers