Hello! Then I try to solve linear equation like
import cdb.core.manip as man expr:= G - 2*F * X =0; man.isolate(expr, $F$);
I get something like that
I think it's not ok. It's a bug, or I'm doing something wrong?