Conversion between TT and BE ?

[vsraptor]

Couldn't find in the docs if there is a way to convert between TT and BE ?

Another questions :

• Is there a plans for the following functions like in PyEDA - .derivate() It is interesting that the implementation should be easy , may be :) def derivate(self, vs): return functools.reduce(operator.xor, self.iter_cofactors(vs)) - .simplify()

I have to switch between the two, because PyEDA does not seem to have .evaluate() method.