On Sunday, April 25, 2021 at 4:26:18 PM UTC+2 vdelecroix wrote:
> Dear Fredrik,
>
> One technical question: I thought that your ca_t implementation
> used multivariate polynomials. This is what Magma does but not
> what sage does. The latter uses expression trees and take union
> fields anytim
+1 for Vincent's zero-dimensional variety point finding. I used to
use Magma's AlgebraicallyClosedField a lot for this (for some project
which I did before Sage existed). The idea is to find the points over
Qbar, then construct the absolute field they generate, then find them
again over that fie
On Sun, 2021-04-25 at 15:07 +0200, Fredrik Johansson wrote:
> Hi all,
>
> I'm looking for benchmark problems for QQbar/AA arithmetic. Ideally such a
> problem will:
>
> * Be reducible to a short program that, apart from using QQbar/AA
> operations, is reasonably self-contained.
> * Reflect real-w
Hi Vincent,
On Sunday, April 25, 2021 at 4:26:18 PM UTC+2 vdelecroix wrote:
> Dear Fredrik,
>
> One technical question: I thought that your ca_t implementation
> used multivariate polynomials. This is what Magma does but not
> what sage does. The latter uses expression trees and take union
>
Dear Fredrik,
One technical question: I thought that your ca_t implementation
used multivariate polynomials. This is what Magma does but not
what sage does. The latter uses expression trees and take union
fields anytime there is an exactification to be done. Is it a
misconception of mine?
For "
