[sage-support] variables in finite fields

Hi: I am trying to "define" a variable to be an element of GF(2). In particular, suppose that I create GF(2^4) the following way: K=GF(2) S. = K['x'] QR=S.quotient(1+x+x^4,'a') a=FR.gen() Now I am trying to compute the following: (gamma0 + gamma1*a + gamma2*a^2 + gamma3*a^3)*(beta0 + beta1*a +

[sage-support] simplify

Sage is unable to simplify the following expression to zero: log( (a-1)/a ) - log(a-1) + log(a) I have tried assuming a>1 but that does not work. Help will be appreciated. Tanks! --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegr

[sage-support] Logic minimization

I am looking for a boolean logic minimization toolset for sage. It does not seem to be part of the standard package, is there anything you might know about this? Thanks!! Luis --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups

[sage-support] Re: Logic minimization

yen wrote: > Hi Luis, > > On Wed, Sep 23, 2009 at 6:44 AM, lastras wrote: > > > I am looking for a boolean logic minimization toolset for sage. It > > does not seem to be part of the standard package, is there anything > > you might know about this? > > Sage mod