Hi Fredrik,
These papers might provide benchmark problems
for QQbar/AA arithmetic which originate in actual
math problems, though not in Sage.
Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran
On the Sign of a Trigonometric Expression
ISSAC’15, July 6–9, 2015, Bath, United Kingdom.
http://dx
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
On Mon, Apr 26, 2021 at 11:11 AM Dima Pasechnik wrote:
>
> On Mon, Apr 26, 2021 at 10:09 AM Jean-Pierre Flori wrote:
> >
> > Fix for deformation has been tagged in my fork.
> > And mentioned here:
> > https://trac.sagemath.org/ticket/30325
> > Feel free to package and review.
https://trac.sagema
On Mon, Apr 26, 2021 at 10:09 AM Jean-Pierre Flori wrote:
>
> Fix for deformation has been tagged in my fork.
> And mentioned here:
> https://trac.sagemath.org/ticket/30325
> Feel free to package and review.
I've quickly checked, and it appears to just work with modern GMP. See
https://github.com
Fix for deformation has been tagged in my fork.
And mentioned here:
https://trac.sagemath.org/ticket/30325
Feel free to package and review.
Not sure that it supports GMP instead of MPIR (which is also abandonware).
Le jeudi 22 avril 2021 à 17:44:39 UTC+2, dim...@gmail.com a écrit :
> errors buil
+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
