Re: GPUs. Was..Re: Should facts() show duplicate facts?

Yes, Maxima currently doesn't use numerical techniques to solve symbolic
problems. But there are some easy cases where it could.

For example, *sign(x^6+2*x+2)* could use *nroots/realroots *to determine
(reliably!) that it has no real roots and is therefore always positive.
Similarly that *assume(x>-1/2), sign(x^6+3*x+2) => pos*.

I'm actually working on some enhancements to *sign/is* that incorporate
this and other techniques.

         -s

On Fri, Aug 28, 2026 at 3:32 PM Richard Fateman <[email protected]> wrote:

> Exact arithmetic in finite fields would feed into modular arithmetic
> routines like gcd, factoring .. are there GPU routines for arbitrary
> precision integer arithmetic?
>
> Floating point evaluation is not heavily used in serial, so not clear how
> parallel would help.
> ....
>

_______________________________________________
Maxima-discuss mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/maxima-discuss