Home
last modified time | relevance | path

Searched refs:ringorder_wp (Results 1 – 16 of 16) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/kernel/groebner_walk/
H A DwalkProc.cc158 !(dring->order[i]==ringorder_wp) && in walkConsistency()
178 !(sring->order[i]==ringorder_wp) && in walkConsistency()
325 !(dring->order[i]==ringorder_wp) && in fractalWalkConsistency()
342 !(sring->order[i]==ringorder_wp) && in fractalWalkConsistency()
H A DwalkSupport.cc1050 else if(r->order[i]==ringorder_wp) in rGetGlobalOrderMatrix()
1113 else if( (r->order[0]==ringorder_wp) || (r->order[0]==ringorder_Wp) || in rGetGlobalOrderWeightVec()
/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/singmathic/
H A Dsingmathic.cc200 (type == ringorder_a || type == ringorder_Wp || type == ringorder_wp); in setOrder()
252 type == ringorder_wp || in setOrder()
441 case ringorder_wp: in prOrder()
/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/gfanlib/
H A DcontainsMonomial.cc71 rGraded->order[0] = ringorder_wp; in searchForMonomialViaStepwiseSaturation()
150 rGradedNew->order[0] = ringorder_wp; in searchForMonomialViaStepwiseSaturation()
H A DtropicalCurves.cc82 s->order[h+1] = ringorder_wp; in genericlyWeightedOrdering()
/dports/math/gfan/gfan0.6.2/src/
H A Dsingular.cpp67 ret->order[0]=ringorder_wp;//degree revlex in mySingularRingDegRevLex()
/dports/math/gfanlib/gfan0.6.2/src/
H A Dsingular.cpp67 ret->order[0]=ringorder_wp;//degree revlex in mySingularRingDegRevLex()
/dports/math/polymake/polymake-4.5/bundled/singular/apps/ideal/include/internal/
H A DsingularTermOrderData.h185 ord[0] = ringorder_wp; in get_ord()
/dports/math/singular/Singular-Release-4-2-1/libpolys/polys/monomials/
H A Dring.cc1765 case ringorder_wp: in rGetOrderType()
1853 case ringorder_wp: in rOrder_is_DegOrdering()
1868 case ringorder_wp: in rOrder_is_WeightedOrdering()
1969 case ringorder_wp: in rIsPolyVar()
2674 case ringorder_wp: in rModifyRing()
2714 case ringorder_wp: in rModifyRing()
3078 || (order[i]== ringorder_wp) in rSetFirstWv()
3187 || (order[0] == ringorder_wp) in rSetDegStuff()
3232 || (order[1] == ringorder_wp) in rSetDegStuff()
3564 case ringorder_wp: in rComplete()
[all …]
H A Dring.h81 ringorder_wp, enumerator
H A Dp_polys.cc636 case ringorder_wp: in p_WTotaldegree()
/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/systhreads/
H A Dlintree.cc563 case ringorder_wp: in encode_ring()
641 case ringorder_wp: in decode_ring_raw()
716 case ringorder_wp: in ref_ring()
/dports/math/singular/Singular-Release-4-2-1/kernel/
H A Dideals.cc1648 if (origR->OrdSgn==1) ord[1] = ringorder_wp; in idElimination()
1692 ord[1] = ringorder_wp; in idElimination()
1710 ord[1] = ringorder_wp; in idElimination()
/dports/math/singular/Singular-Release-4-2-1/Singular/links/
H A DssiLink.cc236 case ringorder_wp: in ssiWriteRing_R()
546 case ringorder_wp: in ssiReadRing()
/dports/math/singular/Singular-Release-4-2-1/libpolys/polys/
H A Dshiftop.cc979 case ringorder_wp: in freeAlgebra()
/dports/math/singular/Singular-Release-4-2-1/Singular/
H A Dipshell.cc2711 case ringorder_wp: in rComposeOrder()
5286 (*iv)[1]=ringorder_wp; in rOptimizeOrdAsSleftv()
5307 if ((*iv)[1]==ringorder_wp) in rOptimizeOrdAsSleftv()
5465 case ringorder_wp: in rSleftvOrdering2Ordering()