Searched refs:ringorder_rp (Results 1 – 6 of 6) sorted by relevance
246 const bool lexFromRight = type == ringorder_rp; in setOrder()433 case ringorder_rp: in prOrder()
3179 || (order[0] == ringorder_rp) in rSetDegStuff()3222 || (order[1] == ringorder_rp) in rSetDegStuff()3495 case ringorder_rp: in rComplete()3895 || (r->order[j]==ringorder_rp)) in rCheckOrdSgn()5361 r->order[j]=ringorder_rp; in rOpposite()5365 case ringorder_rp: /* rp -> lp */ in rOpposite()5396 r->order[j]=ringorder_rp; in rOpposite()5426 r->order[j]=ringorder_rp; in rOpposite()5501 r->order[j]=ringorder_rp; in rOpposite()5802 && (r->order[p]!=ringorder_rp) in rPlusVar()[all …]
79 ringorder_rp, enumerator
652 case ringorder_rp: in p_WTotaldegree()
1793 case ringorder_rp: in rDecomposeCF()2309 case ringorder_rp: in rDecompose()2749 case ringorder_rp: in rComposeOrder()2814 (R->order[j_in_R]==ringorder_rp) || in rComposeOrder()5345 || ((*iv)[1]==ringorder_rp)) in rOptimizeOrdAsSleftv()5485 case ringorder_rp: in rSleftvOrdering2Ordering()5642 (R->order[n]==ringorder_rp) || in rSleftvOrdering2Ordering()6216 (R->order[n]==ringorder_rp) || in rSubring()
988 case ringorder_rp: in freeAlgebra()