Ask Your Question
0

Solving boolean variables symbolically

asked 2014-08-14 08:46:30 -0600

pp gravatar image

updated 2014-08-14 08:59:23 -0600

I need to solve some boolean variables symbolically (in terms of the other symbols):

Suppose we are given an expression like expr = (xy == 0), then I would like to have

solve(expr, x)

~y

Is it possible to do in sage? Something like this, but in boolean variables.

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted
1

answered 2014-08-14 11:33:45 -0600

kcrisman gravatar image

Maybe PolyBoRi would be useful, since you seem to have polynomials?

edit flag offensive delete link more

Comments

Yes. These expressions are polynomials.

pp gravatar imagepp ( 2014-08-14 14:17:54 -0600 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2014-08-14 08:46:30 -0600

Seen: 26 times

Last updated: Aug 14 '14