"letsimp" honors "modulus" only partially?

Thanks for your note.

I believe the issue here is that 'modulus' is only applied to expressions
in canonical rational form (CRE) -- expressions created using 'rat'.

Ans sure enough, if you use letsimp on your problem with a 'rat' argument,
you get the desired result:

let (x^3, x + 2)$
letsimp(rat(x^31)), modulus:5 => 2

In general, if you are working with polynomials and rational functions in
expanded form, the CRE form is the best to use.

        -s

On Sun, Nov 20, 2011 at 16:09, Lutz Euler <lutz.euler at freenet.de> wrote:

> let (x^3, x + 2);