Re: GPUs. Was..Re: Should facts() show duplicate facts?
David Scherfgen via Maxima-discuss <[email protected]>
| Newsgroups | gmane.comp.mathematics.maxima.general |
|---|---|
| Message-ID | <CAMTHLKhGfTghPf1x9_YdipEYx-=S0tnOHXHZ+eOZaQ=fkmR7cQ@mail.gmail.com> |
Oh, that sounds interesting. I've been working on something like that, too. Can you show some example expressions of which your solution can determine the sign? Am Fr., 28. Aug. 2026 um 22:12 Uhr schrieb Stavros Macrakis < [email protected]>: > 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 > _______________________________________________ Maxima-discuss mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/maxima-discuss