Hi,

I would like to have logical operator which will spit out true if my variables are proportional to each other, something like:

a:= A*some*other*stuff;

b:=A;

evalb(a ~ b);

gives true

Is there an easy way to do this? 

Hello,

I tried implementing anti-commuting variables in my program with the use of physics package:

 Physics[setup](anticommutativeprefix=theta);

Checked that theta is anticommuting:

type(theta_i,anticommutative);

Received true, however computation like:

theta_2 * theta_1 - theta_1 * theta_2 ;

Gives 0, not accounting the anticommuation properly. How can i fix this?