Searched refs:rField_is_Domain (Results 1 – 15 of 15) sorted by relevance
73 TS_ASSERT( rField_is_Domain(r) ); in test_Z13_t()97 TS_ASSERT( rField_is_Domain(r) ); in test_QQ_t()120 TS_ASSERT( rField_is_Domain(r) ); in test_Z11_x_y_z()144 TS_ASSERT( rField_is_Domain(r) ); in test_QQ_x_y_z()179 TS_ASSERT( rField_is_Domain(r) ); in test_Z13_t_GF()226 TS_ASSERT( rField_is_Domain(r) ); in test_QQ_x_y_z_ord_2_lp()
1842 TS_ASSERT( rField_is_Domain(r) ); in test_Z13_t()1866 TS_ASSERT( rField_is_Domain(r) ); in test_QQ_t()1978 TS_ASSERT( rField_is_Domain(r) ); in test_Q_Ext_a()2034 TS_ASSERT( rField_is_Domain(s) ); in test_Q_Ext_a()2079 TS_ASSERT( rField_is_Domain(r) ); in test_Q_Ext_b()2135 TS_ASSERT( rField_is_Domain(s) ); in test_Q_Ext_b()2224 TS_ASSERT( rField_is_Domain(r) ); in test_Z_17_Ext_a()2280 TS_ASSERT( rField_is_Domain(s) ); in test_Z_17_Ext_a()2304 TS_ASSERT( rField_is_Domain(r) ); in test_Q_Ext_s_t()2353 TS_ASSERT( rField_is_Domain(s) ); in test_Q_Ext_s_t()[all …]
269 TS_ASSERT( rField_is_Domain(r) ); in test_Z13_t()293 TS_ASSERT( rField_is_Domain(r) ); in test_QQ_t()316 TS_ASSERT( rField_is_Domain(r) ); in test_Z11_x_y_z()339 TS_ASSERT( rField_is_Domain(r) ); in test_QQ_x_y_z()376 TS_ASSERT( rField_is_Domain(r) ); in test_Z13_t_GF()
619 if (rField_is_Ring(r) && !(rField_is_Domain(r))) in kBucket_Mult_n()638 if (rField_is_Ring(r) && !(rField_is_Domain(r))) in kBucket_Mult_n()746 if ((rField_is_Ring(r) && !(rField_is_Domain(r))) in kBucket_Minus_m_Mult_p()
150 if (! rField_is_Domain(r)) in p_Minus_mm_Mult_qq__T()
271 if (!(rField_is_Domain(currRing))) in testGB()
1268 if (!(rField_is_Domain(currRing))) l2 = pLength(a2); in ksCreateSpoly()
4501 if (!(rField_is_Domain(currRing))) enterExtendedSpoly(h, strat); in superenterpairs()4511 if (!(rField_is_Domain(currRing))) enterExtendedSpolySig(h, hSig, strat); in superenterpairsSig()
489 static inline BOOLEAN rField_is_Domain(const ring r) in rField_is_Domain() function498 #define rField_is_Domain(A) (1) macro
106 assume(!rField_is_Ring(r) || rField_is_Domain(r)); in _p_Mult_q_Bucket()
198 if (rField_is_Domain(r)) PrintS("domain"); in ipPrint_RING()
6388 && (!rField_is_Domain(currRing))) in jjMINOR_M()9898 &&(!rField_is_Domain(currRing))) in check_valid()
526 if (rField_is_Domain(currRing)) in getMinorIdealHeuristic()
440 BOOLEAN zero_div= (rField_is_Ring(dest_r) && !rField_is_Domain(dest_r)); in maPoly_Substitute()
3171 if(rField_is_Domain(r) in syGetAlgorithm()