On Saturday, November 30, 2019 at 5:10:48 PM UTC-8, vdelecroix wrote:
>
>
> Calling c.minpoly() triggers some exactification. Compare with
>
> sage: a = AA(2).sqrt()
> sage: b = AA(3).sqrt()
> sage: (a + b) * (a - b) * (b - a) * (-a -b)
> 1.000?
>
Sure, but there is no "numerical
Le 30/11/2019 à 14:52, Nils Bruin a écrit :
On Saturday, November 30, 2019 at 1:47:47 PM UTC-8, Jonathan Kliem wrote:
I don't know if the choice of RLF was appropriate for a default embedding,
but I'd be wary of embedding in AA/QQbar by default, because they are so
unpredictable in
Le dimanche 1 décembre 2019 00:16:24 UTC+1, Thierry (sage-googlesucks@xxx)
a écrit :
>
> Hi,
>
> On Fri, Nov 29, 2019 at 04:41:20PM -0800, rjf wrote:
> > I mentioned in answer to another thread about Maxima/domain/integration
> > the caution that this is likely missing the point.
> >
Hi,
On Fri, Nov 29, 2019 at 04:41:20PM -0800, rjf wrote:
> I mentioned in answer to another thread about Maxima/domain/integration
> the caution that this is likely missing the point.
> Setting a domain or passing this setting to Maxima is not a solution.
> It is likely a symptom that you are
On Saturday, November 30, 2019 at 1:47:47 PM UTC-8, Jonathan Kliem wrote:
>
>
> I don't know if the choice of RLF was appropriate for a default embedding,
>> but I'd be wary of embedding in AA/QQbar by default, because they are so
>> unpredictable in their performance. Generally, you should
Thanks for the comment.
Am Freitag, 29. November 2019 22:47:13 UTC+1 schrieb Nils Bruin:
>
>
>
> On Friday, November 29, 2019 at 12:45:45 PM UTC-8, Jonathan Kliem wrote:
>>
>> The following leads to a TypeError:
>>
>> sage: K2. = QuadraticField(2)
>> sage: K3. = QuadraticField(3)
>> sage: sqrt2 +
Concerning what minimal_approximant_basis returns: this is specified in the
documentation,
http://doc.sagemath.org/html/en/reference/matrices/sage/matrix/matrix_polynomial_dense.html#sage.matrix.matrix_polynomial_dense.Matrix_polynomial_dense.minimal_approximant_basis
but in formal (hence