Re: Big Bug in patched Maple 10 ?

"Robert Israel" <israel@xxxxxxxxxxx> writes:

> Phil Carmody wrote:
> > israel@xxxxxxxxxxx (Robert Israel) writes:
>
> > > And (i mod 10)^2, with i as a symbolic
> > > variable, evaluates to i^2.
>
> > That requires a leap of faith. Why is reduction modulu 10
> > an operation that just gets binned, but raising to the 2nd
> > power an operation that doesn't. Non-orthogonal behaviour.
> > It wouldn't bin an addition, multiplication or division by
> > a constant either, I'm sure; why is modular reduction
> > treated differently?
>
> One reason that i mod 10 gets evaluated to i is so that mod
> can be used with polynomials (and more general expressions):

Are you trying thus to contrast it against addition,
multiplication and exponentiation? Woh?!?!

> thus (365*x^26 + 525) mod 10 is evaluated as 5*x^26 + 5.

There are certain laws of distribution of one operation
over another that permit you to perform transformations
that will push constants to one side where they can thus
be simplified. (i mod 10)^2 in _no_ way matches any such
rule. Even the example you site changes its value with
the evaluation you state. That makes it a pretty wacky
example of "evaluation".

Phil
--
If a religion is defined to be a system of ideas that contains unprovable
statements, then Godel taught us that mathematics is not only a religion, it
is the only religion that can prove itself to be one. -- John Barrow
.

Relevant Pages

  • Re: predicting cycle sizes of 2r+1 mod p on (0..p-1)
    ... > Phil Carmody wrote: ... only use FFTs for bignums. ... > My siever will never be quick but it's a good learning experience. ... If a religion is defined to be a system of ideas that contains unprovable ...
    (sci.math)
  • Re: this is the time to pray
    ... > Phil Carmody wrote: ... > I love science, and have no truck with anything, religion or otherwise, ... To catch the cranks in action, then sci.math, sci.logic, and sci.physics ...
    (alt.lang.asm)
  • Re: Release of RosAsm V.2.025a
    ... > Phil Carmody wrote: ... and quit posting things that demonstrate that ... at a straw man argument has failed miserably. ... If a religion is defined to be a system of ideas that contains unprovable ...
    (alt.lang.asm)
  • Re: HLA History
    ... > Phil Carmody wrote: ... Hell, 2k, post it ... > Someone wants to beep the speaker, ... If a religion is defined to be a system of ideas that contains unprovable ...
    (alt.lang.asm)
  • Re: Big Bug in patched Maple 10 ?
    ... >>> That requires a leap of faith. ... Why is reduction modulu 10 ... >the evaluation you state. ...
    (sci.math)