| /dports/math/e-antic/flint2-ae7ec89/ |
| H A D | fmpq_polyxx.h | 383 fmpq_poly_add(to._poly(), e1._poly(), e2._poly()))
386 fmpq_poly_sub(to._poly(), e1._poly(), e2._poly()))
416 fmpq_poly_mul(to._poly(), e1._poly(), e2._poly()))
431 fmpq_poly_div(to._poly(), e1._poly(), e2._poly()))
434 fmpq_poly_rem(to._poly(), e1._poly(), e2._poly()))
445 fmpq_poly_gcd(to._poly(), e1._poly(), e2._poly()))
448 fmpq_poly_lcm(to._poly(), e1._poly(), e2._poly()))
485 fmpq_poly_compose(to._poly(), e1._poly(), e2._poly()))
533 to.template get<2>()._poly(), e1._poly(), e2._poly()))
537 e1._poly(), e2._poly()))
[all …]
|
| H A D | fmpz_mod_polyxx.h | 330 fmpz_mod_poly_add(to._poly(), e1._poly(), e2._poly()))
333 fmpz_mod_poly_sub(to._poly(), e1._poly(), e2._poly()))
340 fmpz_mod_poly_mul(to._poly(), e1._poly(), e2._poly()))
346 fmpz_mod_poly_divrem(to._poly(), tmp._poly(), e1._poly(), e2._poly()))
370 fmpz_mod_poly_mulmod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
376 fmpz_mod_poly_rem(to._poly(), e1._poly(), e2._poly()))
384 to._poly(), e1._poly(), e2._fmpz(), e3._poly()))
423 to.template get<2>()._poly(), e1._poly(), e2._poly()))
501 fmpz_mod_poly_compose_mod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
505 to._poly(), e1._poly(), e2._poly(), e3._poly()))
[all …]
|
| H A D | nmod_polyxx.h | 464 nmod_poly_add(to._poly(), e1._poly(), e2._poly()))
467 nmod_poly_sub(to._poly(), e1._poly(), e2._poly()))
495 nmod_poly_mul(to._poly(), e1._poly(), e2._poly()))
518 nmod_poly_mulmod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
602 e1._poly(), e2._poly(), e3._poly()))
607 to.template get<1>()._poly(), e1._poly(), e2._poly(), e3._poly()))
614 nmod_poly_rem(to._poly(), e1._poly(), e2._poly()))
675 nmod_poly_compose_mod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
679 to._poly(), e1._poly(), e2._poly(), e3._poly()))
683 to._poly(), e1._poly(), e2._poly(), e3._poly()))
[all …]
|
| H A D | fmpz_polyxx.h | 565 fmpz_poly_add(to._poly(), e1._poly(), e2._poly()))
568 fmpz_poly_sub(to._poly(), e1._poly(), e2._poly()))
640 fmpz_poly_mul(to._poly(), e1._poly(), e2._poly()))
645 fmpz_poly_##name(to._poly(), e1._poly(), e2._poly()))
716 fmpz_poly_div(to._poly(), e1._poly(), e2._poly()))
723 fmpz_poly_rem(to._poly(), e1._poly(), e2._poly()))
822 fmpz_poly_##name(to._poly(), e1._poly(), e2._poly(), e3))
850 fmpz_poly_##name(to._poly(), e1._poly(), e2._poly(), e3))
899 e1._poly(), e2._poly(), e3._poly(), e4._poly(), e5._poly(),
908 e1._poly(), e2._poly(), e3._poly(), e4._poly(), e5._poly(),
[all …]
|
| H A D | padic_polyxx.h | 301 padic_poly_set(to._poly(), from._poly(), to._ctx()))
328 to._poly(), from._poly(), from._ctx()),
339 padic_poly_add(to._poly(), e1._poly(), e2._poly(), to._ctx()))
342 padic_poly_sub(to._poly(), e1._poly(), e2._poly(), to._ctx()))
344 padic_poly_neg(to._poly(), from._poly(), to._ctx()))
351 padic_poly_mul(to._poly(), e1._poly(), e2._poly(), to._ctx()))
355 padic_poly_pow(to._poly(), e1._poly(), e2, to._ctx()))
359 padic_poly_inv_series(to._poly(), e1._poly(), e2, to._ctx()))
362 padic_poly_derivative(to._poly(), from._poly(), to._ctx()))
366 padic_poly_shift_left(to._poly(), e1._poly(), e2, to._ctx()))
[all …]
|
| H A D | fmpz_mod_poly_factorxx.h | 68 {fmpz_mod_poly_factor_insert(_data(), p.evaluate()._poly(), e);}
79 {fmpz_mod_poly_##name(_data(), p.evaluate()._poly());}
92 p.evaluate()._poly(), d); in FMPZ_MOD_POLY_FACTORXX_DEFINE_SET_FACTOR()
98 fmpz_mod_poly_factor_equal_deg(_data(), p.evaluate()._poly(), d);
106 fmpz_mod_poly_factor_distinct_deg(_data(), p.evaluate()._poly(), &dgs);
|
| /dports/math/flint2/flint-2.8.4/ |
| H A D | fmpq_polyxx.h | 383 fmpq_poly_add(to._poly(), e1._poly(), e2._poly()))
386 fmpq_poly_sub(to._poly(), e1._poly(), e2._poly()))
416 fmpq_poly_mul(to._poly(), e1._poly(), e2._poly()))
431 fmpq_poly_div(to._poly(), e1._poly(), e2._poly()))
434 fmpq_poly_rem(to._poly(), e1._poly(), e2._poly()))
445 fmpq_poly_gcd(to._poly(), e1._poly(), e2._poly()))
448 fmpq_poly_lcm(to._poly(), e1._poly(), e2._poly()))
485 fmpq_poly_compose(to._poly(), e1._poly(), e2._poly()))
533 to.template get<2>()._poly(), e1._poly(), e2._poly()))
537 e1._poly(), e2._poly()))
[all …]
|
| H A D | nmod_polyxx.h | 464 nmod_poly_add(to._poly(), e1._poly(), e2._poly()))
467 nmod_poly_sub(to._poly(), e1._poly(), e2._poly()))
495 nmod_poly_mul(to._poly(), e1._poly(), e2._poly()))
518 nmod_poly_mulmod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
602 e1._poly(), e2._poly(), e3._poly()))
607 to.template get<1>()._poly(), e1._poly(), e2._poly(), e3._poly()))
614 nmod_poly_rem(to._poly(), e1._poly(), e2._poly()))
675 nmod_poly_compose_mod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
679 to._poly(), e1._poly(), e2._poly(), e3._poly()))
683 to._poly(), e1._poly(), e2._poly(), e3._poly()))
[all …]
|
| H A D | fmpz_polyxx.h | 565 fmpz_poly_add(to._poly(), e1._poly(), e2._poly()))
568 fmpz_poly_sub(to._poly(), e1._poly(), e2._poly()))
640 fmpz_poly_mul(to._poly(), e1._poly(), e2._poly()))
645 fmpz_poly_##name(to._poly(), e1._poly(), e2._poly()))
716 fmpz_poly_div(to._poly(), e1._poly(), e2._poly()))
723 fmpz_poly_rem(to._poly(), e1._poly(), e2._poly()))
822 fmpz_poly_##name(to._poly(), e1._poly(), e2._poly(), e3))
850 fmpz_poly_##name(to._poly(), e1._poly(), e2._poly(), e3))
899 e1._poly(), e2._poly(), e3._poly(), e4._poly(), e5._poly(),
908 e1._poly(), e2._poly(), e3._poly(), e4._poly(), e5._poly(),
[all …]
|
| H A D | fmpz_mod_polyxx.h | 541 fmpz_mod_poly_add(to._poly(), e1._poly(), e2._poly(), to._ctx()))
545 fmpz_mod_poly_sub(to._poly(), e1._poly(), e2._poly(), to._ctx()))
553 fmpz_mod_poly_mul(to._poly(), e1._poly(), e2._poly(), to._ctx()))
559 fmpz_mod_poly_divrem(to._poly(), tmp._poly(), e1._poly(), e2._poly(), to._ctx()))
587 fmpz_mod_poly_mulmod(to._poly(), e1._poly(), e2._poly(), e3._poly(), to._ctx()))
594 fmpz_mod_poly_rem(to._poly(), e1._poly(), e2._poly(), to._ctx()))
646 to.template get<2>()._poly(), e1._poly(), e2._poly(), e1._ctx()))
662 fmpz_mod_poly_gcd(to._poly(), e1._poly(), e2._poly(), to._ctx()))
733 fmpz_mod_poly_compose_mod(to._poly(), e1._poly(), e2._poly(), e3._poly(), to._ctx()))
737 fmpz_mod_poly_compose_mod_horner(to._poly(), e1._poly(), e2._poly(), e3._poly(), to._ctx()))
[all …]
|
| H A D | padic_polyxx.h | 301 padic_poly_set(to._poly(), from._poly(), to._ctx()))
328 to._poly(), from._poly(), from._ctx()),
339 padic_poly_add(to._poly(), e1._poly(), e2._poly(), to._ctx()))
342 padic_poly_sub(to._poly(), e1._poly(), e2._poly(), to._ctx()))
344 padic_poly_neg(to._poly(), from._poly(), to._ctx()))
351 padic_poly_mul(to._poly(), e1._poly(), e2._poly(), to._ctx()))
355 padic_poly_pow(to._poly(), e1._poly(), e2, to._ctx()))
359 padic_poly_inv_series(to._poly(), e1._poly(), e2, to._ctx()))
362 padic_poly_derivative(to._poly(), from._poly(), to._ctx()))
366 padic_poly_shift_left(to._poly(), e1._poly(), e2, to._ctx()))
[all …]
|
| H A D | fmpz_mod_poly_factorxx.h | 67 fmpz_mod_poly_set(p._poly(), inner->poly + i, ctx._ctx()); in p()
82 {fmpz_mod_poly_factor_insert(_data(), p.evaluate()._poly(), e, ctx._ctx());}
93 {fmpz_mod_poly_##name(_data(), p.evaluate()._poly(), ctx._ctx());}
106 p.evaluate()._poly(), d); in FMPZ_MOD_POLY_FACTORXX_DEFINE_SET_FACTOR()
112 fmpz_mod_poly_factor_equal_deg(_data(), p.evaluate()._poly(), d, ctx._ctx());
120 fmpz_mod_poly_factor_distinct_deg(_data(), p.evaluate()._poly(), &dgs, ctx._ctx());
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/ |
| H A D | fmpq_polyxx.h | 383 fmpq_poly_add(to._poly(), e1._poly(), e2._poly()))
386 fmpq_poly_sub(to._poly(), e1._poly(), e2._poly()))
416 fmpq_poly_mul(to._poly(), e1._poly(), e2._poly()))
431 fmpq_poly_div(to._poly(), e1._poly(), e2._poly()))
434 fmpq_poly_rem(to._poly(), e1._poly(), e2._poly()))
445 fmpq_poly_gcd(to._poly(), e1._poly(), e2._poly()))
448 fmpq_poly_lcm(to._poly(), e1._poly(), e2._poly()))
485 fmpq_poly_compose(to._poly(), e1._poly(), e2._poly()))
533 to.template get<2>()._poly(), e1._poly(), e2._poly()))
537 e1._poly(), e2._poly()))
[all …]
|
| H A D | fmpz_mod_polyxx.h | 330 fmpz_mod_poly_add(to._poly(), e1._poly(), e2._poly()))
333 fmpz_mod_poly_sub(to._poly(), e1._poly(), e2._poly()))
340 fmpz_mod_poly_mul(to._poly(), e1._poly(), e2._poly()))
346 fmpz_mod_poly_divrem(to._poly(), tmp._poly(), e1._poly(), e2._poly()))
370 fmpz_mod_poly_mulmod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
376 fmpz_mod_poly_rem(to._poly(), e1._poly(), e2._poly()))
384 to._poly(), e1._poly(), e2._fmpz(), e3._poly()))
423 to.template get<2>()._poly(), e1._poly(), e2._poly()))
501 fmpz_mod_poly_compose_mod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
505 to._poly(), e1._poly(), e2._poly(), e3._poly()))
[all …]
|
| H A D | nmod_polyxx.h | 464 nmod_poly_add(to._poly(), e1._poly(), e2._poly()))
467 nmod_poly_sub(to._poly(), e1._poly(), e2._poly()))
495 nmod_poly_mul(to._poly(), e1._poly(), e2._poly()))
518 nmod_poly_mulmod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
602 e1._poly(), e2._poly(), e3._poly()))
607 to.template get<1>()._poly(), e1._poly(), e2._poly(), e3._poly()))
614 nmod_poly_rem(to._poly(), e1._poly(), e2._poly()))
675 nmod_poly_compose_mod(to._poly(), e1._poly(), e2._poly(), e3._poly()))
679 to._poly(), e1._poly(), e2._poly(), e3._poly()))
683 to._poly(), e1._poly(), e2._poly(), e3._poly()))
[all …]
|
| H A D | fmpz_polyxx.h | 565 fmpz_poly_add(to._poly(), e1._poly(), e2._poly()))
568 fmpz_poly_sub(to._poly(), e1._poly(), e2._poly()))
640 fmpz_poly_mul(to._poly(), e1._poly(), e2._poly()))
645 fmpz_poly_##name(to._poly(), e1._poly(), e2._poly()))
716 fmpz_poly_div(to._poly(), e1._poly(), e2._poly()))
723 fmpz_poly_rem(to._poly(), e1._poly(), e2._poly()))
822 fmpz_poly_##name(to._poly(), e1._poly(), e2._poly(), e3))
850 fmpz_poly_##name(to._poly(), e1._poly(), e2._poly(), e3))
899 e1._poly(), e2._poly(), e3._poly(), e4._poly(), e5._poly(),
908 e1._poly(), e2._poly(), e3._poly(), e4._poly(), e5._poly(),
[all …]
|
| H A D | padic_polyxx.h | 301 padic_poly_set(to._poly(), from._poly(), to._ctx()))
328 to._poly(), from._poly(), from._ctx()),
339 padic_poly_add(to._poly(), e1._poly(), e2._poly(), to._ctx()))
342 padic_poly_sub(to._poly(), e1._poly(), e2._poly(), to._ctx()))
344 padic_poly_neg(to._poly(), from._poly(), to._ctx()))
351 padic_poly_mul(to._poly(), e1._poly(), e2._poly(), to._ctx()))
355 padic_poly_pow(to._poly(), e1._poly(), e2, to._ctx()))
359 padic_poly_inv_series(to._poly(), e1._poly(), e2, to._ctx()))
362 padic_poly_derivative(to._poly(), from._poly(), to._ctx()))
366 padic_poly_shift_left(to._poly(), e1._poly(), e2, to._ctx()))
[all …]
|
| /dports/audio/jconvolver/jconvolver-1.1.0/source/ |
| H A D | prbsgen.h | 141 uint32_t _poly; variable
164 _poly = poly; in set_poly()
168 while (_mask < _poly) in set_poly()
180 assert (_poly != 0); in set_stat()
192 assert (_poly != 0); in step()
196 if (bit) _stat ^= _poly; in step()
204 assert (_poly != 0); in sync_forw()
217 assert (_poly != 0); in sync_back()
234 assert (_poly != 0); in crc_in()
238 if (bit) _stat ^= _poly; in crc_in()
[all …]
|
| /dports/audio/musescore/MuseScore-3.6.1/aeolus/ |
| H A D | prbsgen.h | 138 uint32_t _poly; variable
161 _poly = poly; in set_poly()
165 while (_mask < _poly) in set_poly()
177 assert (_poly != 0); in set_stat()
189 assert (_poly != 0); in step()
193 if (bit) _stat ^= _poly; in step()
201 assert (_poly != 0); in sync_forw()
214 assert (_poly != 0); in sync_back()
231 assert (_poly != 0); in crc_in()
235 if (bit) _stat ^= _poly; in crc_in()
[all …]
|
| /dports/math/cvc4/CVC4-1.7/proofs/signatures/ |
| H A D | th_lra.plf | 132 (! f1 (th_holds (>=0_poly p1))
161 (! f (th_holds (=0_poly p))
167 (! f (th_holds (>0_poly p))
173 (! f (th_holds (>=0_poly p))
189 (! f (th_holds (=0_poly p))
197 (! f (th_holds (>0_poly p))
205 (! f (th_holds (>=0_poly p))
223 (! f1 (th_holds (=0_poly p1))
224 (! f2 (th_holds (=0_poly p2))
232 (! f1 (th_holds (>0_poly p1))
[all …]
|
| /dports/math/py-pygsl/pygsl-2.3.0/pygsl/ |
| H A D | poly.py | 16 from . import _poly
36 return _poly.gsl_poly_eval(*args)
58 tmp, dd = _poly.gsl_poly_dd_init(xa, ya)
72 return _poly.gsl_poly_dd_eval(self.dd, self.xa, x)
83 return _poly.gsl_poly_dd_taylor(xp, self.dd, self.xa, w)
125 return _poly.gsl_poly_complex_solve(a, self._myptr)
130 _poly.gsl_poly_complex_workspace_free(self._myptr)
160 return _poly.gsl_poly_solve_quadratic(*args)
166 return _poly.gsl_poly_complex_solve_quadratic(*args)
190 return _poly.gsl_poly_solve_cubic(*args)
[all …]
|
| /dports/math/frobby/frobby-0.9.1/src/ |
| H A D | PolynomialConsolidator.cpp | 26 _poly.clearAndSetNames(names); in consumeRing()
30 ASSERT(_poly.getTermCount() == 0); in beginConsuming()
37 _poly.add(coef, term, translator); in consume()
42 _poly.add(coef, term); in consume()
46 _consumer->consume(_poly); in doneConsuming()
47 _poly.clear(); in doneConsuming()
|
| /dports/math/e-antic/flint2-ae7ec89/flintxx/test/ |
| H A D | t-codegen.cpp | 533 fmpz_poly_divrem(A._poly(), B._poly(), f._poly(), g._poly());
548 fmpz_poly_divrem(A._poly(), tmp, f._poly(), g._poly());
585 nmod_poly_mul(tmp1, p1._poly(), p1._poly());
586 nmod_poly_mul(tmp2, p2._poly(), p2._poly());
587 nmod_poly_add(to._poly(), tmp1, tmp2);
606 nmod_poly_mul(tmp1, p1._poly(), p1._poly());
607 nmod_poly_mul(tmp2, p2._poly(), p2._poly());
609 nmod_poly_mul(tmp2, p1._poly(), p2._poly());
610 nmod_poly_mul(tmp3, p2._poly(), p1._poly());
612 nmod_poly_add(to._poly(), tmp1, tmp2);
|
| /dports/math/flint2/flint-2.8.4/flintxx/test/ |
| H A D | t-codegen.cpp | 533 fmpz_poly_divrem(A._poly(), B._poly(), f._poly(), g._poly());
548 fmpz_poly_divrem(A._poly(), tmp, f._poly(), g._poly());
585 nmod_poly_mul(tmp1, p1._poly(), p1._poly());
586 nmod_poly_mul(tmp2, p2._poly(), p2._poly());
587 nmod_poly_add(to._poly(), tmp1, tmp2);
606 nmod_poly_mul(tmp1, p1._poly(), p1._poly());
607 nmod_poly_mul(tmp2, p2._poly(), p2._poly());
609 nmod_poly_mul(tmp2, p1._poly(), p2._poly());
610 nmod_poly_mul(tmp3, p2._poly(), p1._poly());
612 nmod_poly_add(to._poly(), tmp1, tmp2);
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/flintxx/test/ |
| H A D | t-codegen.cpp | 533 fmpz_poly_divrem(A._poly(), B._poly(), f._poly(), g._poly());
548 fmpz_poly_divrem(A._poly(), tmp, f._poly(), g._poly());
585 nmod_poly_mul(tmp1, p1._poly(), p1._poly());
586 nmod_poly_mul(tmp2, p2._poly(), p2._poly());
587 nmod_poly_add(to._poly(), tmp1, tmp2);
606 nmod_poly_mul(tmp1, p1._poly(), p1._poly());
607 nmod_poly_mul(tmp2, p2._poly(), p2._poly());
609 nmod_poly_mul(tmp2, p1._poly(), p2._poly());
610 nmod_poly_mul(tmp3, p2._poly(), p1._poly());
612 nmod_poly_add(to._poly(), tmp1, tmp2);
|