Home
last modified time | relevance | path

Searched defs:is_monomial (Results 1 – 20 of 20) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/sage-brial/brial/
H A Dgeneral_boolean_polynomial.py280 def is_monomial(self): member in GeneralBooleanPolynomial
/dports/math/brial/BRiAl-1.2.10/sage-brial/brial/
H A Dgeneral_boolean_polynomial.py280 def is_monomial(self): member in GeneralBooleanPolynomial
/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/
H A Drpolynomial.cpp165 bool is_monomial(polynomial const * p) { in is_monomial() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/
H A Drpolynomial.cpp165 bool is_monomial(polynomial const * p) { in is_monomial() function
/dports/math/piranha/piranha-0.11/src/
H A Dpolynomial.hpp2243 struct is_monomial { struct
2244 static const bool value = false;
2248 struct is_monomial<monomial<T, S>> { struct
2249 static const bool value = true;
/dports/math/py-piranha/piranha-0.11/src/
H A Dpolynomial.hpp2243 struct is_monomial { struct
2244 static const bool value = false;
2248 struct is_monomial<monomial<T, S>> { struct
2249 static const bool value = true;
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/dd/
H A Ddd_pdd.h336 bool is_monomial() const { return m.is_monomial(root); } in is_monomial() function
H A Ddd_pdd.cpp657 bool pdd_manager::is_monomial(PDD p) { in is_monomial() function in dd::pdd_manager
/dports/math/z3/z3-z3-4.8.13/src/math/dd/
H A Ddd_pdd.h345 bool is_monomial() const { return m.is_monomial(root); } in is_monomial() function
H A Ddd_pdd.cpp759 bool pdd_manager::is_monomial(PDD p) { in is_monomial() function in dd::pdd_manager
/dports/math/z3/z3-z3-4.8.13/src/math/subpaving/
H A Dsubpaving_t.h549 …bool is_monomial(var x) const { return m_defs[x] != 0 && m_defs[x]->get_kind() == constraint::MONO… in is_monomial() function
/dports/math/py-Diofant/Diofant-0.13.0/diofant/polys/
H A Drootisolation.py642 I_L = I_L1_L, I_L2_L, I_L3_L, I_L4_L
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/subpaving/
H A Dsubpaving_t.h549 …bool is_monomial(var x) const { return m_defs[x] != 0 && m_defs[x]->get_kind() == constraint::MONO… in is_monomial() function
/dports/math/py-sympy/sympy-1.9/sympy/polys/
H A Drings.py845 def is_monomial(self): member in PolyElement
H A Dpolyclasses.py880 def is_monomial(f): member in DMP
H A Dpolytools.py3957 def is_monomial(f): member in Poly
/dports/math/form/form-4.2.1/sources/
H A Dpoly.cc2253 bool poly::is_monomial () const { in is_monomial() function in poly
/dports/devel/tigcc/tigcc-0.96.b8_10/tigcc/tigcclib/include/c/
H A Destack.h176 #define is_monomial _rom_call(short,(CESI),2D9) macro
/dports/math/giacxcas/giac-1.6.0/src/
H A Dsignalprocessing.cc1476 bool is_monomial(const gen &g,const identificateur &x,gen &n,gen &a,gen &b,gen &c,GIAC_CONTEXT) { in is_monomial() function
H A Dgen.cc9665 static bool is_monomial(const gen & a){ in is_monomial() function