Home
last modified time | relevance | path

Searched refs:ringorder_ls (Results 1 – 6 of 6) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/singmathic/
H A Dsingmathic.cc247 const bool revlexFromLeft = type == ringorder_ls; in setOrder()
449 case ringorder_ls: in prOrder()
/dports/math/singular/Singular-Release-4-2-1/libpolys/polys/monomials/
H A Dring.cc1768 case ringorder_ls: in rGetOrderType()
1836 (r->order[0] == ringorder_ls || in rHasSimpleLexOrder()
1972 case ringorder_ls: in rIsPolyVar()
2684 r_ord=ringorder_ls; in rModifyRing()
3178 || (order[0] == ringorder_ls) in rSetDegStuff()
3221 || (order[1] == ringorder_ls) in rSetDegStuff()
3485 case ringorder_ls: in rComplete()
5465 case ringorder_ls: in rOpposite()
5530 case ringorder_ls: in rOpposite()
5805 && (r->order[p]!=ringorder_ls)) in rPlusVar()
[all …]
H A Dring.h83 ringorder_ls, enumerator
H A Dp_polys.cc646 case ringorder_ls: in p_WTotaldegree()
/dports/math/singular/Singular-Release-4-2-1/Singular/
H A Dipshell.cc1794 case ringorder_ls: in rDecomposeCF()
2308 case ringorder_ls: in rDecompose()
2741 case ringorder_ls: in rComposeOrder()
2817 (R->order[j_in_R]==ringorder_ls)) in rComposeOrder()
5477 case ringorder_ls: in rSleftvOrdering2Ordering()
5645 (R->order[n]==ringorder_ls)) in rSleftvOrdering2Ordering()
6219 (R->order[n]==ringorder_ls)) in rSubring()
/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/gfanlib/
H A DtropicalStrategy.cc198 else if (r->order[0] == ringorder_ls) in constructStartingRing()