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
homalgS.mJO���homalg/CheckKerSq.m
J�O���homalg/CohomologyModules.m��O���homalg/ConnectingHom.m�O���homalg/Functor_Ext_R.m�$O���homalg/FunctorOnSeqsF.m�O���homalg/FunctorOnSeqs.m�FO���homalg/Hom_R.m O���homalg/IdentityMap.m$$IO���homalg/ImageEpi.m%mO���homalg/ImageFEmb.m(n^O���homalg/IsZeroMap.m*��O���homalg/LastNonZero.m-��O���homalg/NatIsoKerOfSqToImOfSq.m/1�O���homalg/NatTrTorsionSubmoduleToId.m0�gO���homalg/OriginalElement.m2..O���homalg/RankOfGauss.m6\�O���homalg/ReducedBasisOfModule.m8<O���homalg/ResDim.m@MZO���homalg/TorOnSeqs.mA��O���homalg/ZeroMap.mC7O���homalg/AreEqualMatrices.mECqO���homalg/AModuleForATwoExtension.old.mF�5G�q�homalg/BetterBasis.mK�8O���homalg/CheckComposition.mQ!9O���homalg/EulerCharacteristic.mRZ�O���homalg/FactorizeExtension.mT
�O���homalg/Hom_R.old.mX�O���homalg/InjectivePresentationIsoFFR.m\�%O���homalg/IntersectionMultiplicity.m^�-O���homalg/KernelF.ma��O���homalg/LeftDerivedFunctor.mc�	�O���homalg/LeftDivideC.mm�aO���homalg/LeftDivide.mq#�O���homalg/LeftinverseC.ms�O���homalg/LHomOnSeqs.mx��O���homalg/LHom.mzH�O���homalg/NatTrSourceToIm.m{�O���homalg/NormalizeInput.m}�IO���homalg/PullbackPairOfMaps.m�8�O���homalg/PushoutF.m�!zO���homalg/RHomHom2Map.m���O���homalg/Tor2Map.m�w�O���homalg/compute_psi.m�H�O���homalg/SolveSystemWithConstraintsC2.m���O���homalg/IsEquivalenceOfExtensions.m��HO���homalg/IsZeroMatrix.m��xO���homalg/homalg.m�p�O���homalg/CheckCocomplex.m�O���homalg/CofunctorOnSeqs.m�'VO���homalg/CohomologyModulesF.m�}�O���homalg/CokernelEpi.m�l�O���homalg/ExtMap_R.m�	�O���homalg/Extq.m���O���homalg/Functor_Tor.m�r{O���homalg/ImageOfElements.m��O���homalg/IsProjectiveC.m��O���homalg/LHomHom.m���O���homalg/ProjectiveDimensionFFR.mȢ�O���homalg/ResidueClassRing.mʂ*O���homalg/RHomHom.m̬�O���homalg/Rightinverse.m�buO���homalg/StdBasisVectors.m��`O���homalg/TorMap.m�7�O���homalg/TorsionFreeFactorEpi.m�AO���homalg/YonedaProductOfCocycles.m�G�O���homalg/ZeroModule.m���O���homalg/A2ExtensionModuleFromA2Extension.old.m�vSO���homalg/CokernelFMap.m���O���homalg/Cokernel.m�mHO���homalg/CompleteImSqF.m��O���homalg/CompleteKerSq.m�sNO���homalg/Compose.m���O���homalg/Functor_Hom2.m�gO���homalg/Functor_LHom.m���O���homalg/Functor_RHomHom3.m�uO���homalg/Functor_Tor2.m�y}O���homalg/HomHom_ROnSeqs.m���O���homalg/HomHom_R.m���O���homalg/init.m�WUO���homalg/LHomHom3Map.m���O���homalg/NatTrKernelToSource.m���O���homalg/RightSatelliteOfCofunctor.m�}'O���homalg/SubMat.m
�RO���homalg/SyzygiesData.m��O���homalg/TensorProductMap.m�O���homalg/TensorProduct.mTO���homalg/BasisOfColumnsCoeff.mf�O���homalg/DecideZeroRowsEffectively.m2�O���homalgA/init.m��O���homalg/CocycleOfExtension1.mk�O���homalg/Coimage.m%�O���homalg/EqualMaps.m �]O���homalg/Functor_Extq.m#�O���homalg/Functor_LHomHom2.m$�O���homalg/FunctorMap.m&�rO���homalg/GetUnitPosition.m5�.O���homalg/HomHomMap_R.m8*�O���homalg/HomHomOnSeqs.m9��O���homalg/HomOnSeqs.m;n�O���homalg/ImageFEpi.m<��O���homalg/IsFreeBasis.m?�O���homalg/Kernel.mA�"O���homalg/Leftinverse.mE��O���homalg/NatTrTargetToCokernel.mM��O���homalg/SingleNonZero.mO��O���homalg/Template_homalg.mQ�jO���homalg/Tor.mT�O���homalg/TorsionSubmoduleMap.mU��O���homalg/TorsionSubmoduleOnSeqs.mW�O���homalg/compute_kappa.mY)�O���homalg/BasisOfRowsCoeff.m[��O���homalgZ.m]d0O���homalg/CompleteKerSqF.m]�#O���homalg/CompleteSeqF.m_�O���homalg/ComposeMaps.mb��O���homalg/Functor_HomHom3.me^�O���homalg/ImageOfSubmodule.mg<�O���homalg/IsStablyFreeFFR.mi�[O���homalg/KroneckerMat.mk4�O���homalg/LHomMap.mm��O���homalg/OnMorphisms.moOO���homalg/ReduceRingElements.mr��O���homalg/RHomHomOnSeqs.muW�O���homalg/SyzygiesOp.mv��O���homalg/Tor2OnSeqs.mx��O���homalg/Torq2OnSeqs.mz]�O���homalg/TorsionSubmoduleEmb.m{�?O���homalg/ConvertColumnToMatrix.m~2�O���homalg/CheckComplex.m��O���homalg/CokernelOfExtension.m���O���homalg/CompleteImSqInvF.m���O���homalg/Ext_ROnSeqs.m�T�O���homalg/Functor_HomHom.m���O���homalg/Functor_LHom2.m���O���homalg/Functor_LHomHom_R.m�F4O���homalg/GetOptions.m�z
O���homalg/HomHom3Map.m���O���homalg/Hom.old.m�S�O���homalg/IsSurjective.m���O���homalg/LECS2conAiBjC.m��O���homalg/LECS2lecs.m�	�O���homalg/NatTrTwoTargetsToPushout.m��O���homalg/PullbackPairOfMapsF.m���O���homalg/ResolveShortExactSeq.m���O���homalg/RightDivideF.m�?�O���homalg/TorsionFreeFactor.m��O���homalg/A3ExtensionModule.m�;O���homalg/AModuleForATwoExtension.m�M�G�q�homalg/BetterPresentation.m��O���homalg/CheckImSq.m�dO���homalg/CocycleOfExtension.m�k�O���homalg/CoimageF.m�+_O���homalg/copyright_homalg.m׊O���homalg/DirectSumMap.mِ�O���homalg/EqualMapsF.m�Q�O���homalg/EqualPresentations.m��O���homalg/Extension1.mߩNO���homalg/InverseElement.m���O���homalg/Involution.m�pO���homalg/IsCocomplex.m��O���homalg/IsExactCoseq.m��uO���homalg/IsHom.m�DXO���homalg/PullbackF.m��O���homalg/RightDerivedCofunctor.m��
O���homalg/SumRelations.m���O���homalg/SyzygiesModule.m�!�O���homalg/TensorProductOnSeqs.m� �O���homalg/YonedaProductOfCocycles2.m���O���type/homalg_presentation.mhO���homalg/DecideZeroColumns.mv�O���homalg/ConvertRowToMatrix.m=�O���homalg.m�LQO�ͿhomalgT.mU(~O���homalg/AModuleForATwoExtensionFromCocycle.mh��G�q�homalg/BetterGenerators.mjL2�O���homalg/CheckHomsOfSeq.m�0�O���homalg/ChineseRemainderMap.m��O���homalg/CokernelFEpi.m��O���homalg/DefectOfHomsF.m��O���homalg/DefectOfHomsMap.m���O���homalg/DegreeOfTorsionFreeness.m���O���homalg/DirectSum.m�[�O���homalg/ExtqMap.m��O���homalg/ExtqOnSeqs.m���O���homalg/Ext_R.m�o�O���homalg/Functor_Ext.m�6{O���homalg/Functor_TorsionFreeFactor.m���O���homalg/homalg_options.m��
�O���homalg/HomHom.m�:�O���homalg/IsReflexive.m��O���homalg/LeftDivideF.m�{�O���homalg/LeftinverseF.m�OO���homalg/LeftSatelliteOfFunctor.m�T	:O���homalg/LongExactCohomologySeqF.mԎ�O���homalg/LongExactCohomologySeq.m�9
VO���homalg/MakeSeq.m�O���homalg/Presentation.m��O���homalg/Pullback.m�~�O���homalg/RHomHom2OnSeqs.m�^�O���homalg/RHomHom3OnSeqs.m��O���homalg/table2list.m��KO���homalgT/init.m���O���homalg/GetRowIndependentUnitPositions.m���O���homalgA.mmj7O���homalg/compiled.mk�8O���homalg/ConnectingHomF.mk�OO���homalg/DefectOfHoms.mn+pO���homalg/DiagonalElementsAndRank.mr�.O���homalg/FreeHullModule.mu��O���homalg/FreeModule.mw��O���homalg/Functor_Hom_R.my6�O���homalg/Functor_TensorProduct.my��O���homalg/GetIndependentUnitPositions.m{��O���homalg/ImageF.m8�O���homalg/IsShortExactSeq.m� HO���homalg/IsTorsionFree.m�hO���homalg/IsZeroMapF.m�o
O���homalg/Kaehler.m�|�O���homalg/LEHS2lehs.m�b�O���homalg/LHomHom2Map.m�/�O���homalg/LHomHomOnSeqs.m��O���homalg/LongExactHomologySeq.m��
�O���homalg/MulMat.m�okO���homalg/NonZeroGenerators.m��AO���homalg/PushoutPairOfMapsF.m��O���homalg/PushoutPairOfMaps.m��:O���homalg/ResolutionOfSeq.m��<O���homalg/RingNotation.m�-]O���homalg/SolveSystemWithConstraintsC.m���O���homalg/StablyFreePresentationIsoFFR.m�E(O���homalg/SyzygiesBasis.m�m�O���homalg/tablename.m��O���homalg/Ext1Of2OneCocycles.m���O���homalg/CodimOfModule.mЦoO���homalg/ConvertGenerators.m�]O���homalg/Ext.m�r�O���homalg/Functor_Ext2.m�}O���homalg/Functor_Extq2.mٛ�O���homalg/Functor_Hom.m�eO���homalg/Functor_LHomHom.m܂O���homalg/FunctorOnSeq.mބO���homalg/Functor_RHomHom.m�O���homalg/Image.m��O���homalg/Intersection.new.m�3�O���homalg/IsBijective.m�-{O���homalg/IsTorsion.m�O���homalg/IsZeroModule.m��O���homalg/LHom2OnSeqs.m��O���homalg/LHomHom_ROnSeqs.m��O���homalg/LongExactHomologySeqF.m���O���homalg/NormalizeExtension.m��?O���homalg/TensorProduct2Map.m��O���homalg/YonedaProductOfExtensions.m�CO���homalgZ/init.m��O���homalg/A2ExtensionModuleFromA2Extension.m�xO���homalg/SyzygiesGeneratorsOfColumns.m�O���homalg/ConvertToListList.m
�O���homalg/CheckHomsOfCoseq.m��O���homalg/CofunctorOnSeq.m�7O���homalg/Ext2Map.m��O���homalg/Hom2Map.m ��O���homalg/HomMap.m"F�O���homalg/Intersection.m$+O���homalg/Lambek.m'/�O���homalg/NatTrIdToHomHom_R.m)��O���homalg/NatTrIdToTorsionFreeFactor.m,�eO���homalg/PrettyExtension.m..�O���homalg/ShortenResolution.m/�8O���homalgS/init.m34�O���homalg/StablyFreePresentationFFR.m3��O���homalg/BasisCoeff.m5��O���homalg/CompleteImSqInv.m8?O���homalg/CompleteImSq.m;]�O���homalg/CompleteSeq.m>�HO���homalg/DerMinusLog.mCD�O���homalg/ExtMap.mE9�O���homalg/FirstNonZero.mF��O���homalg/Functor_LHomHom3.mH�O���homalg/Functor_RHomHom2.mJ�O���homalg/Functor_Torq2.mL��O���homalg/GeneratorsOfPresentation.mN�O���homalg/HomHom2Map.mO��O���homalg/HomHom2OnSeqs.mQ��O���homalg/HomHom3OnSeqs.mS!�O���homalg/HomologyModulesF.mT��O���homalg/Hom.mW�	O���homalg/ImOfSq.m`�EO���homalg/IsCommutativeSqF.mc
O���homalg/IsExactSeq.megO���homalg/IsShortExactSeqF.mgu:O���homalg/NormalizeRing.mj��O���homalg/Preimage.ml�O���homalg/RHomHom3Map.mo��O���homalg/RightDerivedCofunctorF.mq�4O���homalg/Torq.mx��O���homalg/TorsionFreeFactorOnSeqs.mzu�O���homalg/TorsionSubmodule.m|"SO���homalg/SyzygiesGeneratorsOfRows.m~uO���homalg/forallrings.m��FO���homalg/CheckHom.m���O���homalg/CofunctorOnSeqsF.m���O���homalg/CokernelMap.m�uMO���homalg/EmbedInFactorModule.m��IO���homalg/Functor_TensorProduct2.m��O���homalg/ImageEmb.m���O���homalg/IsCommutativeSq.m�NdO���homalg/IsComplex.m���O���homalg/KernelFMap.m�h�O���homalg/KernelMap.m�
TO���homalg/KerOfSq.m�^�O���homalg/LeftDerivedFunctorF.m��)O���homalg/LHomHom_R.m�
�O���homalg/MakeCoseq.m��
O���homalg/NatTrImToTarget.m���O���homalg/NatTrPullbackToTwoSources.m��&O���homalg/ParametrizeModule.m���O���homalg/PresentationInfo.m�T�O���homalg/Pushout.m��"O���homalg/BasisOfColumnModule.m��O���homalg/DecideZeroRows.m���O���homalg/DecideZeroColumnsEffectively.m�=�O���homalg/MonomialMatrix.m��O���homalg/version.m��6O���homalg/AddMat.m��O���homalg/AreEquivalentExtensions.m��DG�)'homalg/Ext2OnSeqs.m��O���homalg/Extq2Map.mư�O���homalg/Functor_HomHom2.m�v�O���homalg/Functor_HomHom_R.m�T�O���homalg/FunctorOnSeqF.m�"�O���homalg/Functor_Torq.mͼ�O���homalg/Functor_TorsionSubmodule.m�<�O���homalg/GetConvertInfo.m�*�O���homalg/Hom2OnSeqs.m���O���homalg/Hom_ROnSeqs.m�q�O���homalg/ImageOfSubmoduleF.m��O���homalg/IsInjectiveF.mڼPO���homalg/IsSurjectiveF.m�VO���homalg/LHomHom2OnSeqs.m�b�O���homalg/LHomHom3OnSeqs.m��O���homalg/LHomHomMap.m��O���homalg/LHomHomMap_R.m��O���homalg/ReduceCoeff.m�daO���homalg/ResolutionOfModule.m��
O���homalg/SyzygiesGenerators.m���O���homalg/SyzygiesOpF.m��O���homalg/Torq2Map.m�X�O���homalg/TorsionFreeFactorMap.m�,�O���homalg/AModuleForATwoExtensionFromTwoOneCocycles.m��/G�q�homalg/A2ExtensionModuleFromA2Cocycle.m��O���homalg/ZeroColumns.m���O���homalg/ZeroRows.m�O�O���homalg/BasisOfRowModule.m�H�O���homalgF.m��'O���homalg/BasisOfModule.m�{O���homalg/DerMinusLogInv.mk�O���homalg/DerMod.mj�O���homalg/Extension.m4�O���homalg/HomMap_R.m��O���homalg/IsInjective.mR�O���homalg/KernelEmb.m!MhO���homalg/KernelFEmb.m$��O���homalg/LEHS2AiBjCcon.m'�
O���homalg/ReduceHomomorphism.m*��O���homalg/Reduce.m,\^O���homalg/RightDivide.m1��O���homalg/SubfactorModule.m7=&O���homalg/TensorProduct2OnSeqs.m<c�O���homalg/TorqMap.m>�O���homalg/Annihilator.m?�$O���homalg/CofunctorOnSeqF.mC�O���homalg/CokernelF.mE��O���homalg/ComposeFunctors.mHAO���homalg/DefectOfHomsFMap.mNX�O���homalg/DiagMat.mP�O���homalg/ExtOnSeqs.mR��O���homalg/Extq2OnSeqs.mTZ�O���homalg/GlobalDim.mU��O���homalg/HomHomMap.mX��O���homalg/HomologyModules.mZa�O���homalg/InjectivePresentationFFR.m]D�O���homalg/IsBijectiveF.m_�O���homalg/LHom2Map.ma��O���homalg/ReplaceGenerators.mc��O���homalg/ResolveModule.mf��O���homalg/RHomHomMap.mkA�O���homalg/TorqOnSeqs.mm�O���homalg/A2ExtensionModule.mn��O���homalg/GetCleanRowsPositions.mq��O���homalg/GetColumnIndependentUnitPositions.ms�	O���