Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.math.symbolic    |    Symbolic algebra discussion    |    10,432 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 9,472 of 10,432    |
|    clicliclic@freenet.de to All    |
|    Re: Test Cases for =?iso-8859-1?Q?Gr=F6b    |
|    11 Jun 17 18:19:58    |
      j4n bur53 schrieb:       >       > I am unable to run derive 6.10 on my windows 10 machine.       > On the other hand I could run maxima, which has a groebner       > basis library, and I get:       >       > (%i27)       > poly_buchberger([(5+(5+a^2)*b-a*b^2)*t,(5*a^2*b-(a+4*a^2)*b^2)       (t-1)],[t,a,b]);       > Evaluation took 0.3281 seconds (0.3281 elapsed) using 4.431 MB.       > (%o27) [(-a*b^2*t)+a^2*b*t+5*b*t+5*t,       > (-4*a^2*b^2*t)-a*b^2*t+5*a^2*b*t+4*a^2*b^2+a*b^2       > -5*a^2*b,       > 4*a*b^3*t-4*a*b^2*t-20*b^2*t+5*b*t+25*t-4*a^2*b^2       > -a*b^2+5*a^2*b,       > 20*a*b^2*t+5*b^2*t-5*a*b*t+5*b*t-25*a*t-4*a^2*b^3       > -a*b^3+4*a^3*b^2+6*a^2*b^2-5*a^3*b,       > (-5*b^2*t)+10*a*b*t-105*b*t-25*a^2*t+25*a*t-100*t       > -4*a^3*b^3+3*a^2*b^3+a*b^3+4*a^4*b^2       > +2*a^3*b^2+14*a^2*b^2+5*a*b^2-5*a^4*b       > +5*a^3*b-25*a^2*b,       > (-20*b^3*t)-405*b^2*t+85*a*b*t+115*b*t-75*a*t+500*t       > +16*a^2*b^4+4*a*b^4-16*a^3*b^3       > -36*a^2*b^3-3*a*b^3+32*a^3*b^2       > -62*a^2*b^2-20*a*b^2-15*a^3*b+100*a^2*b,       > 4*a^3*b^4+a^2*b^4-4*a^4*b^3-6*a^3*b^3-20*a^2*b^3       > -5*a*b^3+5*a^4*b^2+5*a^2*b^2-5*a*b^2       > +25*a^2*b,       > 340*b^4*t+7100*b^3*t+2760*b^2*t-9375*b*t-1000*a*t       > -5375*t-272*a^2*b^5-68*a*b^5+272*a^3*b^4       > +440*a^2*b^4+8*a*b^4-372*a^3*b^3       > +1152*a^2*b^3+300*a*b^3+200*a^3*b^2       > -600*a^2*b^2+215*a*b^2-200*a^3*b       > -1075*a^2*b,       > 20*b^5*t+400*b^4*t-220*b^3*t-975*b^2*t+250*b*t       > +625*t-16*a^2*b^6-4*a*b^6+16*a^3*b^5       > +40*a^2*b^5+4*a*b^5-36*a^3*b^4+56*a^2*b^4       > +20*a*b^4+20*a^3*b^3-120*a^2*b^3-5*a*b^3       > -75*a^2*b^2-25*a*b^2+125*a^2*b]       >       > The lcm is the polynomial 4*a^3*b^4 + .... Probably indeed       > a nasty example, 0.3281 secs isnīt that fast. Nevertheless       > I need to check what heuristic I am missing.       >       > I also get spoaradic memory overflows for this example,       > its a little monster that bugs me.       >              For this input, Maxima is almost two orders of magnitude slower than       Derive 6.10 - perhaps the implementation is inefficient, or just missing       some algorithmic tricks. The Groebner basis may also be run on the       FriCAS web interface for comparison (but I don't know name and usage of       the appropriate procedure).              And both FriCAS and Maxima must have a much faster equivalent of       Derive's POLY_GCD as well.              Martin.              --- SoupGate-Win32 v1.05        * Origin: you cannot sedate... all the things you hate (1:229/2)    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca