Searched refs:is_irrat_x (Results 1 – 2 of 2) sorted by relevance
1367 bool is_irrat_x = m_util.is_irrational_algebraic_numeral(arg1); in mk_power_core() local1369 if (!is_num_x && !is_irrat_x) in mk_power_core()1420 SASSERT(is_irrat_x); in mk_power_core()
1365 bool is_irrat_x = m_util.is_irrational_algebraic_numeral(arg1); in mk_power_core() local1367 if (!is_num_x && !is_irrat_x) in mk_power_core()1418 SASSERT(is_irrat_x); in mk_power_core()