Home
last modified time | relevance | path

Searched refs:leadterm (Results 1 – 25 of 41) sorted by relevance

12

/dports/math/py-brial/BRiAl-1.2.10/libbrial/src/
H A DLexOrder.cc123 exp_type leadterm; in leadExp() local
127 leadterm.reserve(poly.lexLeadDeg()); in leadExp()
130 outiter(leadterm) ; in leadExp()
134 return leadterm; in leadExp()
/dports/math/brial/BRiAl-1.2.10/libbrial/src/
H A DLexOrder.cc123 exp_type leadterm; in leadExp() local
127 leadterm.reserve(poly.lexLeadDeg()); in leadExp()
130 outiter(leadterm) ; in leadExp()
134 return leadterm; in leadExp()
/dports/math/py-brial/BRiAl-1.2.10/tests/
H A DDegRevLexAscOrderTest.cc140 BooleMonomial leadterm = z*v*w; in BOOST_AUTO_TEST_CASE() local
141 poly = x*y + x*v + leadterm; in BOOST_AUTO_TEST_CASE()
142 BOOST_CHECK_EQUAL(order.lead(poly,3), BooleMonomial(leadterm)); in BOOST_AUTO_TEST_CASE()
143 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
155 BOOST_CHECK_EQUAL(order.lead(poly,3), leadterm); in BOOST_AUTO_TEST_CASE()
159 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
164 BOOST_CHECK_EQUAL(order.lead(poly,3), leadterm); in BOOST_AUTO_TEST_CASE()
H A DDegLexOrderTest.cc169 BooleMonomial leadterm = z*v*w; in BOOST_AUTO_TEST_CASE() local
170 poly = x*y + x*v + leadterm; in BOOST_AUTO_TEST_CASE()
172 BOOST_CHECK_EQUAL(order.lead(poly, 3), BooleMonomial(leadterm)); in BOOST_AUTO_TEST_CASE()
173 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
185 BOOST_CHECK_EQUAL(order.lead(poly,3), leadterm); in BOOST_AUTO_TEST_CASE()
189 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
194 BOOST_CHECK_EQUAL(order.lead(poly,3), leadterm); in BOOST_AUTO_TEST_CASE()
198 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
/dports/math/brial/BRiAl-1.2.10/tests/
H A DDegRevLexAscOrderTest.cc140 BooleMonomial leadterm = z*v*w; in BOOST_AUTO_TEST_CASE() local
141 poly = x*y + x*v + leadterm; in BOOST_AUTO_TEST_CASE()
142 BOOST_CHECK_EQUAL(order.lead(poly,3), BooleMonomial(leadterm)); in BOOST_AUTO_TEST_CASE()
143 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
155 BOOST_CHECK_EQUAL(order.lead(poly,3), leadterm); in BOOST_AUTO_TEST_CASE()
159 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
164 BOOST_CHECK_EQUAL(order.lead(poly,3), leadterm); in BOOST_AUTO_TEST_CASE()
H A DDegLexOrderTest.cc169 BooleMonomial leadterm = z*v*w; in BOOST_AUTO_TEST_CASE() local
170 poly = x*y + x*v + leadterm; in BOOST_AUTO_TEST_CASE()
172 BOOST_CHECK_EQUAL(order.lead(poly, 3), BooleMonomial(leadterm)); in BOOST_AUTO_TEST_CASE()
173 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
185 BOOST_CHECK_EQUAL(order.lead(poly,3), leadterm); in BOOST_AUTO_TEST_CASE()
189 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
194 BOOST_CHECK_EQUAL(order.lead(poly,3), leadterm); in BOOST_AUTO_TEST_CASE()
198 BOOST_CHECK_EQUAL(order.leadExp(poly,3), BooleExponent(leadterm)); in BOOST_AUTO_TEST_CASE()
/dports/multimedia/v4l-utils/linux-5.13-rc2/arch/x86/math-emu/
H A Dpoly_l2.c176 static const unsigned long leadterm = 0xb8000000; variable
237 mul32_Xsig(&arg_signif, leadterm); in log2_kernel()
/dports/multimedia/v4l_compat/linux-5.13-rc2/arch/x86/math-emu/
H A Dpoly_l2.c176 static const unsigned long leadterm = 0xb8000000; variable
237 mul32_Xsig(&arg_signif, leadterm); in log2_kernel()
/dports/multimedia/libv4l/linux-5.13-rc2/arch/x86/math-emu/
H A Dpoly_l2.c176 static const unsigned long leadterm = 0xb8000000; variable
237 mul32_Xsig(&arg_signif, leadterm); in log2_kernel()
/dports/math/gap/gap-4.11.0/pkg/idrel-2.43/doc/
H A Dmanual.six149 49, 20, "leadterm for monoid polynomials", "X810C636178EA42D0" ],
173 61, 24, "leadterm for module polynomials", "X79E2DD9879D9182C" ],
/dports/math/py-sympy/sympy-1.9/sympy/series/
H A Dlimits.py271 coeff, ex = newe.leadterm(z, cdir=cdir)
295 coeff, ex = newe.leadterm(z, cdir=cdir)
/dports/math/reduce/Reduce-svn5758-src/packages/assist/
H A Dassist.tst435 leadterm (pold);
437 leadterm pold;
441 leadterm polp;
443 leadterm polp;
H A Dhelpasst.red85 {10, "gcdnl", "distribute", "leadterm", "redexpr",
H A Dassist.rlg1762 leadterm (pold);
1780 leadterm pold;
1795 leadterm polp;
1812 leadterm polp;
H A Dpolyexns.red118 symbolic procedure leadterm u;
123 flag('(leadterm redexpr ),'opfn);
/dports/math/reduce/Reduce-svn5758-src/xmpl/
H A Dassist.tst435 leadterm (pold);
437 leadterm pold;
441 leadterm polp;
443 leadterm polp;
H A Dassist.rlg1762 leadterm (pold);
1780 leadterm pold;
1795 leadterm polp;
1812 leadterm polp;
/dports/math/fricas/fricas-1.3.7/src/algebra/
H A Dideal.spad137 leadterm : (DPoly, VarSet) -> DPoly
169 leadterm(f : DPoly, lvar : List VarSet) : DPoly ==
171 leadterm(leadingCoefficient univariate(f, lf.first), lvar)
292 ltJ := [leadterm(g, lvar) for g in J]
/dports/math/maxima/maxima-5.43.2/share/calculus/
H A Dasympa.mac35 ans: ratsimp(leadterm(ratnumer(fn))/leadterm(ratdenom(fn))),
51 leadterm(ex) := block(/* Same as ASYMP, except EX is a numerator
/dports/math/py-sympy/sympy-1.9/sympy/series/tests/
H A Dtest_demidovich.py11 assert (3 + 2*x**(log(3)/log(2) - 1)).leadterm(x) == (3, 0)
/dports/math/py-sympy/sympy-1.9/sympy/core/tests/
H A Dtest_expr.py420 assert (3 + 2*x**(log(3)/log(2) - 1)).leadterm(x) == (3, 0)
422 assert (1/x**2 + 1 + x + x**2).leadterm(x)[1] == -2
423 assert (1/x + 1 + x + x**2).leadterm(x)[1] == -1
424 assert (x**2 + 1/x).leadterm(x)[1] == -1
425 assert (1 + x**2).leadterm(x)[1] == 0
426 assert (x + 1).leadterm(x)[1] == 0
427 assert (x + x**2).leadterm(x)[1] == 1
428 assert (x**2).leadterm(x)[1] == 2
458 assert (x*cos(1)*cos(1 + sin(1)) + sin(1 + sin(1))).leadterm(x) == \
463 assert (y + z + x).leadterm(x) == (y + z, 0)
/dports/math/py-sympy/sympy-1.9/sympy/core/
H A Dpower.py1625 _, m = b.leadterm(x)
1630 _, m = b.leadterm(x)
1660 return term.leadterm(x)
1676 _, d = g.leadterm(x)
1685 _, d = g.leadterm(x)
/dports/math/maxima/maxima-5.43.2/src/
H A Drat3d.lisp284 (ae (p-terms (pquotient (pctimes n (leadterm poly)) ans))))
291 (setq ans (nconc ans (ptptquotient (cdr (leadterm p)) ae)))
/dports/textproc/highlight/highlight-4.1/langDefs/
H A Dmaple.lang64 "LaguerreL", "LambertW", "latex", "lattice", "lcm", "Lcm", "lcoeff", "leadterm",
/dports/math/py-sympy/sympy-1.9/sympy/functions/elementary/
H A Dexponential.py974 return term.leadterm(x)
983 a, b = arg.leadterm(x)
990 a, b = s.removeO().leadterm(x)

12