Home
last modified time | relevance | path

Searched defs:TermOrder (Results 1 – 6 of 6) sorted by relevance

/dports/math/gambit/gambit-16.0.1/src/tools/enumpoly/
H A Dineqsolv.h87 inline const term_order* TermOrder() const in TermOrder() function
H A Dquiksolv.h157 inline const term_order* TermOrder() const in TermOrder() function
/dports/math/4ti2/4ti2-Release_1_6_9/src/groebner/
H A DTermOrder.h42 TermOrder::TermOrder(int _cost_start, int _cost_end, int _rs_end) in TermOrder() function
/dports/math/gfan/gfan0.6.2/src/
H A Dtermorder.h4 class TermOrder; variable
/dports/math/gfanlib/gfan0.6.2/src/
H A Dtermorder.h4 class TermOrder; variable
/dports/math/stp/stp-2.3.3/lib/Simplifier/
H A DSubstitutionMap.cpp47 int TermOrder(const ASTNode& a, const ASTNode& b) in TermOrder() function