Ore_algebra.ms;Mgfun/addition_of_sys.mV;Groebner/list_reduction.mr;Groebner/reduced_gbasis.mv ;Groebner/spoly.m$;Groebner/sugarize.m-;Groebner/test_term_order.mVy;Ore_algebra/Ore_to_RESol.maH;Ore_algebra/Ore_to_diff.md%;Ore_algebra/annihilators.mu9=;Ore_algebra/polynomialize_algebra.m:;Ore_algebra/skew_pdiv.mpW;Ore_algebra/skew_product.md.;Holonomy/dfinite_create.m;Holonomy/holon_defint.mG];type/CommAlgebra.me;combstruct/mark.mYF+; combstruct/nextstruct.m; equivalent.mR;!glimit.m9;!infsing/exp.m);"infsing/trie.ms1;"equivalent/equiv.m$;"equivalent/saddlepoint/H_HS.mQ';#dev/implicit.m;$dev/ln.m ;$dev/reduce.mM$;$dev/sec.mME;%dev/tanh.mg;&evalr/prd.m0 V;'Groebner/S_polynomial.m`;Groebner/create_leading_monomial.m ;Groebner/factorized_gbasis.m L;Groebner/term_order.m;;Ore_algebra/Ore_to_shift.mf%,;Ore_algebra/commutation.m;Ore_algebra/dual_polynomial.m;Ore_algebra/skew_algebra.m;Ore_algebra/vectprimpart.m#;Holonomy/dfinite_addup.m;type/Ore_algebra/types_with_q.mq";combstruct/draw.m=?; gdev.mk;!infsing/Q.m;!infsing/RootOf.m=;!infsing/sin.m;"equivalent/saddlepoint/Hayman.mK";"dev/compare.mu;#dev/factorial.m;#dev/Ei.m;$dev/dilog.m.;%dev/csch.mr;&evalr/shake.mc;'series/Q.m|J;'gfun.m;'Holonomy.m(;Mgfun/int_of_sys.mH;Mgfun/sum_of_sys.m]$;Mgfun/dfinite_spec_table.msT ;Groebner/gsolve.mR;Groebner/term_order_to_matrix.mS;Ore_algebra/euclidean_division.m ~;Holonomy/extension_contraction.m3E;Holonomy/holon_defqsum.mK8`;Holonomy/usual_term_orders.m[;Holonomy/takayama_algorithm.m^#-;combstruct/iterstructs.mV; shake.m;!zerotest.mEz;!infsing/ln.m3;"equivalent/equsing.m)o ;"equivalent/saddlepoint/HarrisSchoenfeld.mEp;"equivalent/saddlepoint/selle.mN;"dev/L.ml&;#dev/FresnelC.m?;%dev/Psi.m`;%dev/erf.m3;%dev/arccsch.m;&evalc/L.mJ;'evalr/L.m;'type/myconstant.ma;'Groebner/reduced_split.m ;Ore_algebra/Ore_to_DESol.m_4;Ore_algebra/ground_ring.m?,;Ore_algebra/qshift_algebra.m> ;Holonomy/holon_defsum.mNY;type/DFiniteDescr.mfi;type/TermOrder.mpd;combstruct/prog_gfseries.mHj; combstruct/standardform.m; combstruct/checkagrammar.mΫ ; infsing/cosh.m;"dev/Ci.mp;$dev/GAMMA.md;%dev/LambertW.ma;%dev/Zeta.m8W;%dev/arccos.mR;&dev/arctan.m\%.;&dev/arccoth.m;&evalc/RootOf.m3;'evalr/add.m{;'evalr/univar.mw;'regexpcount.mMp;'qfactorial.m;Groebner/find_dependency.m;Groebner/leading_term.mД;Groebner/reduce_list.m;Groebner/remove_RootOfs.m)(;Ore_algebra/apply_operator.mwv9;Ore_algebra/poly_algebra.mk%;Ore_algebra/rationalize_algebra.mv;combstruct/compile.mk;Y; combstruct/prog_gfsolve.ma; series/combstruct/int.mN;!encyclopedia.m ̐;!infsing.m;!signum.m g;!equivalent/saddlepoint/pointcol.mU;#dev/RootOf.m_y ;#dev/instanc.mHI;$dev/print.m͕f;$dev/Fresnelf.mu;%dev/AiryAi.m&-;%dev/arccot.m`S;&dev/arccosh.m{%;&evalr/evalr.m ;'diff/Q.mB{;'Mgfun.m &;qbinomial.m #;Mgfun/add_prod_of_sys.mN;Mgfun/anti_partial_of_sys.m;Mgfun/diag_of_sys.m)c;Mgfun/recognize_operator_algebra.mPc ;Mgfun/type_checking.m^;Groebner/hilbert_dimension_do_it.m;Groebner/hilbert_polynomial.mY;Groebner/hilbert_series.m n;Ore_algebra/skew_prem.m p;type/OreAlgebra.mh;type/ShortTermOrder.mi;combstruct/finished.mK5; combstruct/prog_gfeqns.m_; combstruct/variance.m; dev/O.m^;#dev/abs.mk;#dev/evenpart.mu;#dev/Fresnelg.mi;%dev/cos.mDv;%dev/tan.mE;%dev/arcsin.mSo;&dev/arccsc.ma~;&dev/arcsech.m;&Mgfun/dfinite_expr_to_diffeq.m/;Mgfun/dfinite_expr_to_sys.m1;Groebner/fglm_algorithm.mq;Groebner/fglm_termination_proc.md4;Groebner/leading_coefficient.mB;Groebner/pretend_gbasis.m ;Groebner/simplified_term_order.m,:;Ore_algebra/skew_elim.m;Holonomy/dfinite_multiply.m&;Holonomy/hypergeometric_to_dfinite.mU2X;Holonomy/takayama.mZ6S;RootOf.mb ;!infsing/infsolve.m0;"equivalent/alglogeq/jungen.m6- ;"dev/exp.m;#dev/cot.mI;%dev/coth.mk;&Mgfun/pol_to_sys.mI;Groebner/fglm.m;Groebner/gbasis.mV;Groebner/new_pairs.m;Groebner/normal_form.my;Groebner/primpart.m;Groebner/univariate_polynomial.mY,X;Ore_algebra/dual_algebra.m^;Holonomy/algebraic_to_dfinite.m%;Holonomy/algeq_to_dfinite.m ;type/SkewAlgebra.mle;type/SkewPolynomial.mm;combstruct.mr& ;combstruct/gfseries.mi;combstruct/moment.m; infsing/L.m;!dev/divide.m;#dev/endofdev.mO;#dev/Q.mf;#dev/impart.m3X;$dev/pow.m;$dev/prd.mŎ;$dev/FresnelS.m1;$dev/sin.mE;%dev/csc.mO;&dev/cosh.md`w;&evalc/Q.m`B;'evalr/Q.mE;'series/L.m*R;'Groebner.mta;qpochhammer.md;Groebner/hilbert_dimension.m6];Groebner/leading_monomial.m';Groebner/reduction.m+;Groebner/remove_constants.m'9;Ore_algebra/power.m;Holonomy/dfinite_mul.m%oy;Holonomy/fglm.m6;Holonomy/holon_diagonal.mQr;type/SkewParamAlgebra.mm;combstruct/agfeqns.m;combstruct/agfmomentsolve.m`; infsing/LambertW.mU;"infsing/sinh.mW;"equivalent/saddlepoint/saddle.mWK;#dev/cleanup.mtN;#dev/dev.my ;#dev/lcoeff.m};$dev/length.mV;$dev/multbyreal.m!;$dev/polygamma.m r u;%dev/BesselJ.mH;%dev/sinh.mX;&dev/sech.moyf;&dev/arctanh.m;&evalr/intersect.mv;'evalf/O.m8;'Mgfun/dfinite_expr_to_rec.m0;Groebner/reduce.m;Groebner/update.m. >;Ore_algebra/algebra.mhQ ;Ore_algebra/product_table.m&;Ore_algebra/random_operator.mG;Holonomy/dfinite_add.m4;Holonomy/hypergeom_to_dfinite.mTc;Holonomy/suitable_extension.mW;type/ClosedIdeal.mdP;combstruct/checkgrammar.myk%;combstruct/gfeqns.m? *;combstruct/agfseries.mZQ; comparexpr.mp;!evalr.m;!equivalent/alglogeq.m;"dev/binomial.ms(&;#dev/realpart.mR;$dev/Si.mi;$dev/cossin.m>D2;%dev/arcsec.mc;&dev/arcsinh.mv;&Mgfun/expression_to_system.m2!;Mgfun/product_of_sys.mO;Groebner/is_finite.mzk;Groebner/is_solvable.m];Ore_algebra/diff_algebra.m};Ore_algebra/reverse_algebra.mwb;Ore_algebra/reverse_polynomial.m;Ore_algebra/shift_algebra.m־;Ore_algebra/simple_functors.m;Ore_algebra/skew_gcdex.mX;Ore_algebra/skew_power.m-;Holonomy/diagonal.m+kR;Holonomy/holon_closure.mF;type/DiffAlgebra.mh;combstruct/allstructs.mu29;combstruct/gfsolve.m4K;combstruct/checkprogram.mN;combstruct/count.m9; combstruct/init.mM ; comparemodule.m\;!numericRootOf.mS;!infsing/cos.m;"infsing/tan.m2A;"equivalent/alglogeq/transfert.mCZ;"dev/add.mlT;#dev/indexify.m8;$dev/invert.m ;$dev/sign.mq;$diff/L.m|;'