[GiNaC-list] subs does not work

Here I am trying to make a substitution. For testing, the function "has" works as shown below. But the "subs" just does not implement the substitution. cout << has(temp, JF1(wild(1), GA(wild(5)), wild(2))*JF1(wild(3), GA(wild(5)), wild(4)) , has_options::algebraic ) << endl; cout << temp.subs( JF1(wild(1),GA(wild(5)),wild(2))*JF1(wild(3),GA(wild(5)),wild(4)) == 2, subs_options::algebraic ) << endl; The functions "JF1" and "GA" are both declared using DECLARE_FUNCTION and commutative. DECLARE_FUNCTION_1P( GA ); REGISTER_FUNCTION( GA, dummy() ); Best regards, Zhao Theory Division Institute of High Energy Physics Chinese Academy of Sciences