I think the guaranteed root isolation exists only in Fredrik's repository
and in Hecke. It is not merged in the official Nemo repository (yet). We
hope to include it in the next Nemo release.
On Thursday, July 14, 2016 at 12:44:12 AM UTC+2, Alireza Nejati wrote:
>
> To confuse two roots, the ap
To confuse two roots, the approximation error would have to be larger than
the minimum distance between two roots. I'm using PolynomialRoots.jl to
calculate roots, and it has the ability to calculate roots to very high
precision (using BigFloats) but of course it's hard to *guarantee* precision.
On Wednesday, July 13, 2016 at 10:18:06 PM UTC+2, Alireza Nejati wrote:
>
> Simplification and equality testing are *exact* operations as they work
> by distinctly specifying the roots of a minimal polynomial. Two algebraic
> numbers are distinct if their minimal polynomials are distinct. If thei
Simplification and equality testing are *exact* operations as they work by
distinctly specifying the roots of a minimal polynomial. Two algebraic
numbers are distinct if their minimal polynomials are distinct. If their
minimal polynomials are equal, then they can only be equal if they are the
s
On Wednesday, July 13, 2016 at 2:21:18 AM UTC+2, Alireza Nejati wrote:
>
> Ever wanted to do exact arithmetic, geometry, and so on? Well now you can:
>
> https://github.com/anj1/AlgebraicNumbers.jl
>
Looks nice, though it appears that equality testing and simplification uses
nonrigorous numeric
I see. Will try it, thanks for the tip
On Thursday, July 14, 2016 at 12:49:19 AM UTC+12, Tommy Hofmann wrote:
>
> You have the same problem with QQ. Use FlintQQ instead of QQ.
>
> On Wednesday, July 13, 2016 at 1:31:23 PM UTC+2, Alireza Nejati wrote:
>>
>> Tommy: Thanks!
>>
>> About ZZ, I didn't k
You have the same problem with QQ. Use FlintQQ instead of QQ.
On Wednesday, July 13, 2016 at 1:31:23 PM UTC+2, Alireza Nejati wrote:
>
> Tommy: Thanks!
>
> About ZZ, I didn't know that. Thanks. I only use ZZ when carrying out
> polynomial factoring though. For most everything else I use QQ. Would
Tommy: Thanks!
About ZZ, I didn't know that. Thanks. I only use ZZ when carrying out
polynomial factoring though. For most everything else I use QQ. Would it
make much of a difference?
Cheers,
On Wednesday, July 13, 2016 at 10:13:41 PM UTC+12, Tommy Hofmann wrote:
>
> Looks cool!
>
> It is qui
Take Tommy's advice!
On Wed, Jul 13, 2016 at 6:13 AM, Tommy Hofmann wrote:
> Looks cool!
>
> It is quite different to Hecke. You work in the field of all algebraic
> numbers, while Hecke works with elements inside an algebraic number field.
>
> I skimmed over the code and noticed that you use ZZ
Looks cool!
It is quite different to Hecke. You work in the field of all algebraic
numbers, while Hecke works with elements inside an algebraic number field.
I skimmed over the code and noticed that you use ZZ. If you care about
performance, you might want to change ZZ to FlintZZ. The variabe Z
(in your README examples, this line does balks: x = 1 + sqrt6)
On Tuesday, July 12, 2016 at 8:34:38 PM UTC-4, Alireza Nejati wrote:
>
> Indeed!
>
> Hecke.jl also has some similar abilities.
>
> On Wednesday, July 13, 2016 at 12:29:28 PM UTC+12, Jeffrey Sarnoff wrote:
>>
>> (another good use of Nem
Indeed!
Hecke.jl also has some similar abilities.
On Wednesday, July 13, 2016 at 12:29:28 PM UTC+12, Jeffrey Sarnoff wrote:
>
> (another good use of Nemo!)
>
> On Tuesday, July 12, 2016 at 8:21:18 PM UTC-4, Alireza Nejati wrote:
>>
>> Ever wanted to do exact arithmetic, geometry, and so on? Well
(another good use of Nemo!)
On Tuesday, July 12, 2016 at 8:21:18 PM UTC-4, Alireza Nejati wrote:
>
> Ever wanted to do exact arithmetic, geometry, and so on? Well now you can:
>
> https://github.com/anj1/AlgebraicNumbers.jl
>
13 matches
Mail list logo