?????????. <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>