Searched refs:ringorder_Dp (Results 1 – 8 of 8) sorted by relevance
157 !(dring->order[i]==ringorder_Dp) && in walkConsistency()177 !(sring->order[i]==ringorder_Dp) && in walkConsistency()324 !(dring->order[i]==ringorder_Dp) && in fractalWalkConsistency()341 !(sring->order[i]==ringorder_Dp) && in fractalWalkConsistency()
1043 else if(r->order[i]==ringorder_Dp) in rGetGlobalOrderMatrix()1107 else if( (r->order[0]==ringorder_dp) || (r->order[0]==ringorder_Dp) ) in rGetGlobalOrderWeightVec()
197 const bool oneGrading = (type == ringorder_Dp || type == ringorder_dp); in setOrder()242 type == ringorder_Dp || in setOrder()437 case ringorder_Dp: in prOrder()
979 || (r2->order[0]==ringorder_Dp)) in rSumInternal()1847 case ringorder_Dp: in rOrder_is_DegOrdering()1968 case ringorder_Dp: in rIsPolyVar()2677 case ringorder_Dp: in rModifyRing()2731 case ringorder_Dp: in rModifyRing()3516 case ringorder_Dp: in rComplete()3892 || (r->order[j]==ringorder_Dp) in rCheckOrdSgn()5512 r->order[j]=ringorder_Dp; in rOpposite()5517 case ringorder_Dp: /* Dp -> dp*/ in rOpposite()5800 && (r->order[p]!=ringorder_Dp) in rPlusVar()[all …]
80 ringorder_Dp, enumerator
650 case ringorder_Dp: in p_WTotaldegree()
1789 case ringorder_Dp: in rDecomposeCF()2118 case ringorder_Dp: in rDecompose_list_cf()2304 case ringorder_Dp: in rDecompose()2748 case ringorder_Dp: in rComposeOrder()2812 (R->order[j_in_R]==ringorder_Dp) || in rComposeOrder()5334 (*iv2)[1]=ringorder_Dp; in rOptimizeOrdAsSleftv()5344 || ((*iv)[1]==ringorder_Dp) in rOptimizeOrdAsSleftv()5484 case ringorder_Dp: in rSleftvOrdering2Ordering()5640 (R->order[n]==ringorder_Dp) || in rSleftvOrdering2Ordering()6214 (R->order[n]==ringorder_Dp) || in rSubring()
977 case ringorder_Dp: in freeAlgebra()