Home
last modified time | relevance | path

Searched refs:rField_is_Domain (Results 1 – 15 of 15) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/libpolys/tests/
H A Drings_test.h73 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()
H A Dpolys_test.h1842 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 …]
/dports/math/singular/Singular-Release-4-2-1/libpolys/polys/
H A Dtest.cc269 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()
H A Dkbuckets.cc619 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()
/dports/math/singular/Singular-Release-4-2-1/libpolys/polys/templates/
H A Dp_Minus_mm_Mult_qq__T.cc150 if (! rField_is_Domain(r)) in p_Minus_mm_Mult_qq__T()
/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dringgb.cc271 if (!(rField_is_Domain(currRing))) in testGB()
H A Dkspoly.cc1268 if (!(rField_is_Domain(currRing))) l2 = pLength(a2); in ksCreateSpoly()
H A Dkutil.cc4501 if (!(rField_is_Domain(currRing))) enterExtendedSpoly(h, strat); in superenterpairs()
4511 if (!(rField_is_Domain(currRing))) enterExtendedSpolySig(h, hSig, strat); in superenterpairsSig()
/dports/math/singular/Singular-Release-4-2-1/libpolys/polys/monomials/
H A Dring.h489 static inline BOOLEAN rField_is_Domain(const ring r) in rField_is_Domain() function
498 #define rField_is_Domain(A) (1) macro
/dports/math/singular/Singular-Release-4-2-1/libpolys/polys/operations/
H A Dp_Mult_q.cc106 assume(!rField_is_Ring(r) || rField_is_Domain(r)); in _p_Mult_q_Bucket()
/dports/math/singular/Singular-Release-4-2-1/Singular/
H A Dipprint.cc198 if (rField_is_Domain(r)) PrintS("domain"); in ipPrint_RING()
H A Diparith.cc6388 && (!rField_is_Domain(currRing))) in jjMINOR_M()
9898 &&(!rField_is_Domain(currRing))) in check_valid()
/dports/math/singular/Singular-Release-4-2-1/kernel/linear_algebra/
H A DMinorInterface.cc526 if (rField_is_Domain(currRing)) in getMinorIdealHeuristic()
/dports/math/singular/Singular-Release-4-2-1/kernel/maps/
H A Dfast_maps.cc440 BOOLEAN zero_div= (rField_is_Ring(dest_r) && !rField_is_Domain(dest_r)); in maPoly_Substitute()
/dports/math/singular/Singular-Release-4-2-1/kernel/
H A Dideals.cc3171 if(rField_is_Domain(r) in syGetAlgorithm()