CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Involutive/pplex_Z.mMrInvolutive/pdegrevlex_deg_entr_block.m�MrInvolutive/pdeglex_deg_entr_block.m��MrInvolutive/pnegdeglex_Z_entr_block.m�MrInvolutive/pnegdeglex_block.m	�MrInvolutive/block_ord_entr_block.m
��MrInvolutive/nonmult_prolong.mNAMrInvolutive/cancel_locvar.m
��Mr Involutive/pjanet_div.mO�IԤInvolutive/autoreduction.m��Mr1Involutive/readbinaryoutput.m|�Mr3Involutive/NotHas.mW�Mr9Involutive/jetsgrank.m#�	Mr<Involutive/jetszerocol.m$�<Mr<Involutive/PolMinPolyGINV.m&5eMr>Involutive/DependsOnPowers.m<��Mr>Involutive/PolSum.mKh�MrFInvolutive/PolIntersection.mLMrHInvolutive/findezugehoerigenpunkt.mOIMrIhomalg/Involutive/PolInvoReduce.mPc)MrKhomalg/Involutive/mklst.mQ��MrLInvolutive/LocalReduceGINV.mRNjMr)Involutive/AugmentInvBasis.mS�?Mr2Involutive/saveP_T_List.m��HMr6homalg/Involutive/FactorModuleBasis.m��MrKInvolutive/pjanet_stddiv.m���Mr.Involutive/pdegrevlex.m�;MrInvolutive/pnegdeglex_Z_POT.m�QXMrInvolutive/block_ord.m��[MrInvolutive/remove_lm.m�3Mr1Involutive/ginvBasis.m�7Mr3Involutive/GroebnerBasis.m�J�Mr5Involutive/PolResolution.m�9 aMr>Involutive/PolShorterResolution.m�?Mr?Involutive/PolRepresFast.m���Mr@Involutive/PolKernel.m�MrEInvolutive/PolCheckHom.m���MrEInvolutive/PolSyzOp.m���MrFInvolutive/PolParametrization.m�E�MrGInvolutive/PolTorsionfreeParam.m���MrGInvolutive/PolBettiDiagram.m��	`Mr?homalg/InvolutiveZeroSets/PolSyzygies.mE�MrKInvolutive/pnormal_form_collect_local.mC�Mr&Involutive/LocalReduce.m8HMr)Involutive/PolIntersectionListGINV.m
��MrIInvolutive/NoetherNormalization.mZ
~MrAInvolutive/writeGINV1header.m�
Mr3Involutive/writeGINV2header.m2��Mr4Involutive/ginvBasisHomogen.mE�)<Mr4Involutive/pplex.mn��MrInvolutive/pnegplex_Z_entr_block.mo��MrInvolutive/pnormal_form_Z_lm_old.mp�mMr$Involutive/cppInvReduce.mt\Mr-Involutive/pmult_var.m{lMr.Involutive/InvBasisGINVAssert.m|�+RMr2Involutive/setupP_T_List.m���Mr5Involutive/restoreP_T_List.m��Mr6Involutive/SyzModule.m��Mr8Involutive/SyzygyModuleFast.m���Mr8Involutive/PolHP.m�d]Mr:Involutive/PolHilbertSeries.m���Mr:Involutive/PolCartanCharacter.m݋^Mr;Involutive/PolEulerChar.m��Mr?Involutive/PolRepres.m��bMr@Involutive/PolKernelFast.m�S$MrEhomalg/Involutive/PolNormalizeInput.m�w�MrLhomalg/Involutive/BasisQS.mlLMrLhomalg/Involutive/PolSyzygiesLocal.m�]Mr(Involutive.mgMq�Involutive/homalg.m$|�MrInvolutive/pnegplex_entr_block.m&2�MrInvolutive/pdegrevlex_Z.m'VMrInvolutive/pdegrevlex_deg_POT.m(b]MrInvolutive/pnegdeglex_Z.m)�TMrInvolutive/block_ord_Z.m+�MrInvolutive/ishomogeneous.m,�7MrInvolutive/pol_lead_mon.m.��MrInvolutive/pnormal_form_lm.m1��Mr!Involutive/pnormal_form_collect_lm.m:V	�Mr"Involutive/pnormal_form_simplify_poly.mD
�Mr#Involutive/pnormal_form_simplify_poly_lm.mN�		Mr#Involutive/pseudored_Z.mW��Mr%Involutive/invred_evala.m[��Mr,Involutive/pcriteria123.mgm�Mr.Involutive/SubmoduleHF.mji�Mr1Involutive/InvolutivePreprocess.mv5�Mr5Involutive/Autoreduce.m{�	}MrAInvolutive/Complete.m�Z
MrALocalInvolutiveBasisfreeGINV/homalg.m�yMrInvolutive/ssystem_boolean.m��uMrInvolutive/pnormal_form_evala_local.m��Mr&Involutive/pnormal_form_evala_lm_local.m���Mr'Involutive/ginvBasisChange.m�� Mr4Involutive/compiled.m�%MrInvolutive/pdegrevlex_block.m�%MrInvolutive/gb_leadmon.m�BdMrInvolutive/proc_vars.m��_MrInvolutive/proc_termorder.m��MrInvolutive/pnormal_form_Z_lm.m۞�Mr$Involutive/checkIB.m�)8Mr+Involutive/pjanet_separ_only.m�a�Mr.Involutive/pomm_div.m�"�Mr/Involutive/PolZeroSets.m�8Mr0Involutive/InvBasisTest.m�U0�Mr2Involutive/GroebnerBasisGINV.m�"�Mr4Involutive/InvolutiveOptions.m<��Mr5Involutive/SyzygyModule.mKP�Mr8Involutive/pmax_deg.mL�DMr:Involutive/PolHilbertFunction.mN<�Mr:Involutive/jetsmklist.mR �Mr<Involutive/PolResolutionFast.mR��Mr?LocalInvolutiveBasisfree/homalg.mo�	MrInvolutive/ecart_need_lm.mp��MrInvolutive/pnormal_form_expand_lm_local.mqz�Mr'Involutive/LocalBasisIdentity.mrr�Mr*Involutive/simp_pnormal_form_Z_nonneg.mv>�Mr$Involutive/FactorModuleBasisFast.m{�Mr4Involutive/pnegplex_Z.m��MrInvolutive/pnegplex_Z_POT.m���MrInvolutive/pnegplex_block.m���MrInvolutive/pdegrevlex_Z_POT.m�:YMrInvolutive/pdegrevlex_deg_Z_entr_block.m���MrInvolutive/pdeglex_Z_entr_block.m�H�MrInvolutive/checkIBfast.m���Mr,Involutive/InvolutiveBasis.m��,Mr5Involutive/symmetricrange.m���Mr<Involutive/HenselStep.m���MrCInvolutive/PolKernelEmb.m�C�MrEInvolutive/PolHomHom.m�
�MrFhomalg/Involutive/PolSyzygies.m��0MrKInvolutive/PolHomFast.m���MrFLocalInvolutive/homalg.m��)MrInvolutive/pnormal_form_lm_local.m���Mr&homalg/Involutive/IBasisLocal.m���Mr(Involutive/LocalSyzygiesGINV.m�c�Mr+Involutive/simp_invred_Z_nonneg.m�"�Mr,Involutive/pplexdivision.m��MrInvolutive/version.m��(MrInvolutive/pdegrevlex_POT.m��4MrInvolutive/pnegdegrevlex_POT.m�-7MrInvolutive/pdeglex_Z.m�dQMrInvolutive/pdeglex_deg.m���MrInvolutive/block_cmp.m�W�MrInvolutive/pinv_divide.m�7
MrInvolutive/pnormal_form_poly.m�A	�Mr!Involutive/simp_pnormal_form_Z.m�1Mr$Involutive/ginvReduce.m�L�Mr-Involutive/pLCM.m��Mr-Involutive/pjanet_div_only.m��-Mr.Involutive/JanetGraph.m�0Mr0Involutive/proc_input.m�M	cMr6Involutive/PolShortestResolution.m��Mr?Involutive/monomcoefflist.m��Mr?Involutive/monomcoefflistmult.m�4�Mr@Involutive/Repres.m�HMrBInvolutive/PolCoeff.m�KiMrDInvolutive/jetsdiagmat.m���MrDInvolutive/invred_collect_local.m��Mr'homalg/Involutive/PolHilbertCartanLocal.m��Mr)Involutive/PolIntersectionList.mviMrIInvolutive/invred_Z_abs.m��Mr,Involutive/writeGINV1MapleOutput.m	��Mr3Involutive/pdeglex3.m��MrInvolutive/pdeglex_deg_block.m8�MrInvolutive/prim_part.m��Mr Involutive/pnormal_form_evala.m!��Mr"Involutive/simp_pnormal_form_Z_abs.m-`Mr$Involutive/pairstoequations.m2q�Mr1Involutive/linear_var.m46	Mr5Involutive/PolHF.m5?Mr:Involutive/ginvMinPoly.m;M
�Mr>Involutive/PolMinPolyRatFunc.mIA�Mr>Involutive/PolResolutionDim.mOsMr?Involutive/polresdim.mQ��MrFInvolutiveZeroSets/homalg.mR�MrInvolutive/cancel_locvar_rhs.mT�Mr!Involutive/pnormal_form_collect_lm_local.mU��Mr'Involutive/PolKernelGINV.mV��MrEInvolutive/readGINVresult.m\V�Mr4Involutive/pplex_Z_entr_block.mh?MrInvolutive/pnegplex.mi\�MrInvolutive/pnegdegrevlex_Z_entr_block.mj �MrInvolutive/pdeglex_deg_Z.mk��MrInvolutive/pdeglex_deg_Z_POT.mmm}MrInvolutive/pnegdeglex_entr_block.mn�]MrInvolutive/pbinary_insert.mpG�MrInvolutive/invred_poly.mq�
>Mr+Involutive/invred_collect_poly.m|(Mr,Involutive/mac_gettmpname.m�8/J���Involutive/PolInvReduce.m�g�Mr-Involutive/pupdate_T.m�5<Mr.Involutive/SubmoduleDimension.m�q�Mr0Involutive/FactorModuleBasis.m�?Mr1Involutive/isMinimalBasis.m�U�Mr1Involutive/AssertInvBasis.m��
2Mr6Involutive/SyzygyModuleGINV.m�?Mr8Involutive/PolDimension.m�F�Mr;Involutive/jetsgetbas.m��gMr<Involutive/hasvar.m�Y�Mr?Involutive/tupcoefflist.m�	�Mr@Involutive/PolLeftInverse.mڣ�MrCInvolutive/PolSubFactor.mݠ�MrEInvolutive/PolCokernel.m�Y�MrFInvolutive/PolKaehler.m��'MrFInvolutive/MVPolInterpol.m�[MrJInvolutive/pnormal_form_Z_nonneg.m�b�Mr$Involutive/remove_backquotes.m���Mr-Involutive/pdegrevlex_entr_block.m��^MrInvolutive/pdegrevlex3.m�J�MrInvolutive/pnormal_form_Z.m��Mr$Involutive/PommaretBasis.m��GMr/Involutive/is_janet_elem.m�3kMr1Involutive/InvolutiveBasisFast.m��HMr2Involutive/Annihilator1.m�MMr7Involutive/pmaxmin_deg.m3QMr:Involutive/CoeffList.m��MrBInvolutive/PolTorsion.mR�MrGInvolutive/PolDet.m�{MrKInvolutive/invred_local.m"T�Mr&Involutive/invred_evala_local.m$��Mr'homalg/Involutive/PolInvoReduceLocal.m%�]Mr(Involutive/ginv2Basis.m(A3�Mr4Involutive/Homogenize.m[�KMrInvolutive/pplex_Z_POT.m]1MrInvolutive/pplex_block.m^C�MrInvolutive/pplex3.m_�MrInvolutive/pnegdegrevlex_Z_POT.m_�\MrInvolutive/pnegdegrevlex_block.ma$ MrInvolutive/pdeglex.mbD7MrInvolutive/LeadingMonomial.mc{PMr Involutive/pnormal_form_collect.mk�@Mr"Involutive/pnormal_form_collect_poly.mw�Mr"Involutive/pnormal_form_simplify.m��
kMr#Involutive/pnormal_form_Z_abs.m��Mr$Involutive/simp_pnormal_form_Z_lm.m���Mr$Involutive/PolInvReduceFast.m��EMr-Involutive/pjanet_separ.m���Mr.Involutive/Stats.m���Mr/Involutive/SubmoduleHilbertFunction.m��
Mr0Involutive/PolHilbertPolynomial.m���Mr:Involutive/PolWeightedHilbertSeries.m�hKMr;Involutive/tupcoefflistmult.m���Mr@Involutive/PolSubFactorFast.m�b�MrEInvolutive/PolKernel2.m�@�MrEInvolutive/PolExtn.m���MrHhomalg/Involutive/IsUnit.m�SMrKInvolutive/init.m�l�MrLInvolutive/reduce_by_hc.m�)Mr'Involutive/compute_hc.m�+�Mr(homalg/Involutive/LocalIsUnit.mպ�Mr)Involutive/FactorModuleBasisGINV.m֒�Mr5Involutive/copyright_Involutive.m�F�MrInvolutive/pnegdeglex_POT.m�53MrInvolutive/pbinary_insert_pos.m�h�MrInvolutive/proc_ord.m�$
�MrInvolutive/pnormal_form_expand.m��xMr"Involutive/pnormal_form_collect_poly_lm.m
=Mr"Involutive/remove_whitespace.mZMr-Involutive/algext2alias.me0Mr-Involutive/autoreduc.m�BMr1Involutive/InvBasisFastAssert.m�Mr2Involutive/Annihilator.m6�jMr7Involutive/jetsdepcheck.m<Z_Mr;Involutive/maxcoeff.m@��Mr=Involutive/PolMinPolyFast.mA�Mr=Involutive/PolRightInverse.mO�1MrDInvolutive/jetskroneckermat.mQ�"MrDInvolutive/MVMinPolInterpol.mTzMrJhomalg/Involutive/IBasis.mY��MrKhomalg/Involutive/PolHilbertCartan.m\�MrKInvolutive/simp_invred_Z_abs.m]��Mr,Involutive/algebraicextension.mb�
KMr-InvolutiveT.mmO�Mq�Involutive/pnegplex_POT.m���MrInvolutive/pdeglex_deg_Z_entr_block.m�\�MrInvolutive/pnormal_form_evala_lm.m�
	�Mr"Involutive/pnormal_form_evala_poly_lm.m��
qMr#Involutive/subsindetunivariatepoly.m�^�Mr-Involutive/ptransfer_T.m�OTMr.Involutive/SubmoduleHilbertPolynomial.m֣	�Mr0Involutive/count_non_basis_elem.m�auMr1Involutive/AddRhs.m��lMr6Involutive/PolMinPolyParam.m�B�Mr=Involutive/PolHom.m�!MrEInvolutive/PolDerMod.m�
MrFInvolutive/kh.m��MrIInvolutive/kartprod.m�oMrIInvolutive/MinPolyRatFunc.m�r�MrKInvolutiveA/init.m�B�MrMInvolutive/pnormal_form_local.m���Mr&Involutive/LocalSyzygies.m��Mr*Involutive/PolIntersectionGINV.m&AMrHInvolutiveA.mgkgMr
Involutive/pdegrevlex_deg.mq��MrInvolutive/pnegdegrevlex_Z.mstYMrInvolutive/pnegdegrevlex_entr_block.mt�aMrInvolutive/block_ord_POT.mv.jMrInvolutive/block_ord_Z_entr_block.mw��MrInvolutive/simp_prim_part.myT3Mr Involutive/pnormal_form_expand_lm.m|��Mr"Involutive/pnormal_form_evala_poly.m�BMr"Involutive/pnormal_form_simplify_lm.m�HlMr#Involutive/invred_evala_poly.m��DMr,Involutive/simp_invred_Z.m��Mr,Involutive/checkIBginv.m��Mr-Involutive/conv_divisible.mƚMr.Involutive/PolTabVar.mǵ,Mr.Involutive/SubmoduleHilbertSeries.m��IMr0Involutive/cppInvBasis.m�*BMr3Involutive/PolIndexRegularity.m�l�Mr;Involutive/jetscoeffmatrix.m�b,Mr;Involutive/findcone.m��Mr@Involutive/IsPommaretBasis.m�%�Mr/Involutive/RemoveRHS.m��Mr)Involutive/pplexdivision3.m��MrInvolutive/pupdate_T_std.m�P"Mr.Involutive/pplex_entr_block.m�rMrInvolutive/pdegrevlex_deg_Z.m���MrInvolutive/pnegdegrevlex.m�K,MrInvolutive/block_ord_Z_POT.m�w�MrInvolutive/pbinary_has.m�MrInvolutive/pleadmon.m�RMrInvolutive/simp_pseudored_Z.m�g�Mr&Involutive/Substitute.m��Mr5Involutive/jetsmkmat.m���Mr<Involutive/minpoly_param.m��Mr=Involutive/PolFactorize.m�6MrIhomalg/InvolutiveZeroSets/IBasis.mMrKInvolutive/LocalIsUnit.moMr)Involutive/ecart_lm1.m
�JMrInvolutiveQS/homalg.m�MrInvolutive/pplex_POT.m�MrInvolutive/pdeglex_entr_block.m�ZMrInvolutive/pdeglex_block.m9MrInvolutive/pdeglex_deg_POT.mRYMrInvolutive/pnegdeglex.m�(MrInvolutive/member_mult.m�Mr Involutive/pnormal_form_poly_lm.m��Mr!Involutive/simp_pnormal_form_Z_lm_old.m"��Mr%Involutive/PolInvReduceGINV.m&E�Mr-Involutive/SubmoduleBasis.m?5�Mr0Involutive/SubmoduleHP.mK4	�Mr0Involutive/autoreduc_head.mT�pMr1Involutive/InvolutiveBasisGINV.mZE%�Mr2Involutive/GroebnerBas.m��Mr5Involutive/setup_basis.m��zMr9Involutive/oneparam_num.m�+}Mr<Involutive/PreImageRelations.m��!MrAInvolutive/PolDirectSum.m��5MrFInvolutive/PolExt1.m��MrGInvolutive/mdeg.m��MrIInvolutive/coeffseq.m���MrIInvolutive/erstenichtnull.m�s�MrJInvolutive/MVMinPolInterpolH.m�1�MrJInvolutive/stdinterface_gettmpname.m�Mr-Involutive/pdegrevlex_Z_entr_block.m��MrInvolutive/pdegrevlex_deg_Z_POT.m���MrInvolutive/pdegrevlex_deg_block.m�"�MrInvolutive/pdeglex_POT.m��0MrInvolutive/pdeglex_Z_POT.m��UMrInvolutive/pnormal_form.m�6	�Mr!Involutive/invred.m��
DMr+Involutive/invred_collect.m�9�Mr,Involutive/invred_Z.m���Mr,Involutive/PolInvolReduce.mʄGMr,Involutive/pcriteria12.m���Mr.Involutive/pcriteria1234.m���Mr.Involutive/InvBasis.m�C$Mr2Involutive/GroebnerBasisFast.m	&�%wMr4Involutive/Syzygies.m	L8�Mr7Involutive/Has.m	Z��Mr9Involutive/nextmonomial.m	bz�Mr:Involutive/PolMinPoly.m	csMr=Involutive/solveinterpol.m	~��Mr>Involutive/Elimination.m	�mMrCInvolutive/Hensel.m	��IMrCInvolutive/ItJanet.m	���MrCInvolutive/PolRightDivide.m	���MrDInvolutive/PolDefect.m	�v�MrFInvolutiveT/init.m	�)�MrMInvolutive/ecart.m	���MrInvolutive/pnormal_form_expand_local.m	���Mr&Involutive/invred_Z_nonneg.m	�z�Mr,Involutive/PommaretNonMult.m	�
~Mr/Involutive/pjanet_division.m	���Mr.