(~=) symbolic non-equality relation
t = isNotEqual( a, b ) t = ( a ~= b )
symbolic
boolean
Returns true (%t) if symbolic objects a and b are equal and false (%f) otherwise.
// some symbolic stuff a = Sym("x+5") b = Sym("5+x") c = Sym("1") d = Sym("1.0") // symbolic equality? a ~= b b ~= c c ~= c 2*c ~= 2*d c ~= d
SymEngine: C++ library for fast symbolic manipulation.