:: deftheorem defines g_rat_add GAUSSINT:def 12 :
g_rat_add = addcomplex || G_RAT_SET;