(no subject)



?????????. <bor_fies at mail.ru> writes:
> Good day. 
> I need to simplify large expression in finite field (F2, i.e. boolean
> algebra) I have a question. How can I get this result in Maxima?
> for example:
> (%i1) rat (3*(y+z)^2)
> (%o1) z+y

Try the modulus variable:

(%i1) rat (3*(y+z)^2);
                                 2              2
(%o1)/R/                      3 z  + 6 y z + 3 y
(%i2) modulus: 2;
(%o2)                                  2
(%i3) rat (3*(y+z)^2);
                                     2    2
(%o3)/R/                            z  + y


(I presume you want the squares... :-)

Rupert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 315 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20110313/051cc9df/attachment.pgp>;