| /dports/math/yices/yices-2.6.2/src/mcsat/bv/explain/ |
| H A D | arith_norm.c | 61 …term_t* monom, // terms to analyse (can have some NULL_TERMs); after this function: contains vari… in analyse_array()
79 …term_t* monom, // monomials (NULL_TERM for polynomial constants); ARRAY IS MODIFIED BY THE F… in analyse_BV()
120 …term_t* monom, // monomials (NULL_TERM for polynomial constants); ARRAY IS MODIFIED BY THE F… in analyse_BV64()
365 term_t monom[n_monom]; // where we place the monomials in arith_analyse() local
380 term_t monom[n_monom]; // where we place the monomials in arith_analyse() local
727 term_t monom[n_monom]; // First, we inhabit the monomials, recursively normalising them in arith_normalise_upto() local
756 term_t monom[n_monom]; in arith_normalise_upto() local
|
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/tests/polys/ |
| H A D | test_polytools.py | 926 def func(monom, coeff): argument
932 def func2(monom, coeff): argument
938 def func3(monom, coeff): argument
944 def func4(monom, coeff): argument
1238 def rev_lex(monom): argument
|
| /dports/math/py-brial/BRiAl-1.2.10/tests/ |
| H A D | BooleMonomialTest.cc | 79 BooleMonomial monom(exponent, ring); in BOOST_FIXTURE_TEST_SUITE() local
156 monom_type monom(ring); in BOOST_AUTO_TEST_CASE() local
|
| H A D | MonomialFactoryTest.cc | 91 BooleMonomial monom = factory(exponent, ring); in BOOST_AUTO_TEST_CASE() local
|
| H A D | PolynomialFactoryTest.cc | 116 BoolePolynomial monom = factory(exponent, ring); in BOOST_AUTO_TEST_CASE() local
|
| H A D | BoolePolyRingTest.cc | 362 BooleMonomial monom = x*y*z; in BOOST_AUTO_TEST_CASE() local
|
| H A D | BoolePolynomialTest.cc | 431 BooleMonomial monom(ring); in BOOST_AUTO_TEST_CASE() local
|
| /dports/math/brial/BRiAl-1.2.10/tests/ |
| H A D | BooleMonomialTest.cc | 79 BooleMonomial monom(exponent, ring); in BOOST_FIXTURE_TEST_SUITE() local
156 monom_type monom(ring); in BOOST_AUTO_TEST_CASE() local
|
| H A D | MonomialFactoryTest.cc | 91 BooleMonomial monom = factory(exponent, ring); in BOOST_AUTO_TEST_CASE() local
|
| H A D | PolynomialFactoryTest.cc | 116 BoolePolynomial monom = factory(exponent, ring); in BOOST_AUTO_TEST_CASE() local
|
| H A D | BoolePolyRingTest.cc | 362 BooleMonomial monom = x*y*z; in BOOST_AUTO_TEST_CASE() local
|
| H A D | BoolePolynomialTest.cc | 431 BooleMonomial monom(ring); in BOOST_AUTO_TEST_CASE() local
|
| /dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/gfanlib/ |
| H A D | containsMonomial.cc | 38 poly monom = NULL; in checkForMonomialViaSuddenSaturation() local
217 ideal I; poly monom; in checkForMonomial() local
|
| /dports/math/singular/Singular-Release-4-2-1/kernel/fglm/ |
| H A D | fglm.h | 31 poly monom; variable
|
| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/acro/packages/pebbl/src/example/pebbl/ |
| H A D | serialMonomial.cpp | 883 void maxMonomialData::getFilteredCovg(const monomialObj &monom, in getFilteredCovg()
917 void maxMonomialData::getPosCovg(const monomialObj & monom, in getPosCovg()
933 void maxMonomialData::getNegCovg(const monomialObj & monom, in getNegCovg()
950 void maxMonomialData::getCovg(const monomialObj & monom, in getCovg()
998 size_type maxMonomialData::getDistantVar(const monomialObj &monom, in getDistantVar()
1079 monomialObj monom = monomArg; // non const copy in getPosCovgFast() local
1149 monomialObj monom = monomArg; // non const copy in getNegCovgFast() local
2551 maxMonomSolution::maxMonomSolution(const monomialObj & monom) in maxMonomSolution()
|
| /dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/orderings/ |
| H A D | COrderingBase.h | 166 monom_type monom(const set_type& rhs) const { in monom() function
|
| /dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/orderings/ |
| H A D | COrderingBase.h | 166 monom_type monom(const set_type& rhs) const { in monom() function
|
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/polys/ |
| H A D | monomials.py | 33 def __new__(cls, monom, gens=None): argument
|
| /dports/math/py-sympy/sympy-1.9/sympy/polys/tests/ |
| H A D | test_polytools.py | 1049 def func(monom, coeff): argument
1055 def func(monom, coeff): argument
1377 rev_lex = lambda monom: tuple(reversed(monom)) argument
|
| /dports/math/giacxcas/CoCoALib-0.99700/src/AlgebraicCore/ |
| H A D | geobucket.C | 366 void geobucket::myAddMulLM(ConstRefRingElem monom, in myAddMulLM()
372 void geobucket::myAddMulLM(ConstRefRingElem monom, in myAddMulLM()
|
| /dports/math/cocoalib/CoCoALib-0.99712/src/AlgebraicCore/ |
| H A D | geobucket.C | 366 void geobucket::myAddMulLM(ConstRefRingElem monom, in myAddMulLM()
372 void geobucket::myAddMulLM(ConstRefRingElem monom, in myAddMulLM()
|
| /dports/math/stp/stp-2.3.3/lib/Simplifier/ |
| H A D | BVSolver.cpp | 145 const ASTNode& monom = *it; in ChooseMonom() local
190 const ASTNode& monom = *it; in ChooseMonom() local
|
| /dports/math/symmetrica/symmetrica-e29c85915f368d6fb2f89d703b6695ff29ab9eae/src/ |
| H A D | hiccup.c | 359 OP mo_mp,monom; local
553 OP a,b,c,perm,poly,monom,temp; local
847 OP tab,temp,new,coeff,monom,ext; local
2301 OP temp,ext,monom,koeff,new,big_list,partit,perm; local
3794 OP perm,temp,new,coeff,monom,ext; local
4058 OP temp,ext,monom,koeff,new,big_list,partit,perm; local
|
| H A D | sb.c | 347 OP monom = callocobject(); local
1503 OP monom = callocobject(); local
1762 OP monom; local
|
| /dports/math/py-sympy/sympy-1.9/sympy/polys/ |
| H A D | monomials.py | 517 def __init__(self, monom, gens=None): argument
|