| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/qpa/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 4.0.2024 mit Größe 45 kB |
|
Quelle CHANGES Sprache: unbekannt |
||||||
|
========================================================================== Changes from version 1.34 to 1.35: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- ElementIn_vA_AsElementInIndecProj FromMatrixToHomomorphismOfProjectives LeftSupportQuiverAlgebraElement RightSupportQuiverAlgebraElement SupportQuiverAlgebraElement Discontinued/removed functions: ------------------------------------------------------------ None Changed code for: ---------------------------------------------------------------------- 1stSyzygy Fixed bugs in: ---------------------------------------------------------------------- AlgebraAsQuiverAlgebra AlmostSplitSequenceInPerpT EndOfModuleAsQuiverAlgebra Enumerator (Quiver) QuiverAlgebraOfAmodAeA ReadAlgebra SaveAlgebra RightApproximationByAddM (list version) Bugs for isolated vertices fixed in: CoKernelProjection KernelInclusion RestrictionViaAlgebraHomomorphism RightAlgebraModuleToPathAlgebraMatModule SubRepresentationInclusion Miscellaneous ---------------------------------------------------------------------- Added computation of a basis of a algebra of an acyclic quiver Enumerator test added for quivers Fixed typos in CHANGES, documentation, headers of functions Updated documentation for ========================================================================== Changes from version 1.33 to 1.34: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- DoubleQuiver HomOverAlgebraWithBasisFunction IrreducibleMorphismsEndingIn IrreducibleMorphismsStartingIn PreprojectiveAlgebra, added classical implementation Discontinued/removed functions: ------------------------------------------------------------ None Changed code for: ---------------------------------------------------------------------- None Fixed bugs in: ---------------------------------------------------------------------- None Miscellaneous ---------------------------------------------------------------------- Updated documentation for OrderOfNakayamaAutomorphism ========================================================================== Changes from version 1.32 to 1.33: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- AdmissibleSequenceGenerator EnvelopingAlgebraHomomorphism OppositeAlgebraHomomorphism TrivialExtensionOfQuiverAlgebraProjection Functions for string algebras - see stringalgebra.gd and validity.gd Discontinued/removed functions: ------------------------------------------------------------ None Changed code for: ---------------------------------------------------------------------- AllSubmodulesOfModule IsIndecomposableModule ProjectivePathAlgebraPresentation RightApproximationByAddM TensorProductOfPathAlgebras Fixed bugs in: ---------------------------------------------------------------------- DominantDimensionOfAlgebra IsSymmetricAlgebra RightApproximationByPerpT Miscellaneous ---------------------------------------------------------------------- Added file makedoc.g Updated README Updated PackageInfo.g Updated testall.tst Removed AINV ========================================================================== Changes from version 1.31 to 1.32: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- None Discontinued/removed functions: ------------------------------------------------------------ None Changed code for: ---------------------------------------------------------------------- None Fixed bugs in: ---------------------------------------------------------------------- IsSymmetricAlgebra Miscellaneous ---------------------------------------------------------------------- Update create-release.sh ========================================================================== Changes from version 1.30 to 1.31: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- DecomposeModuleViaCharPoly (experimental) DecomposeModuleViaTop (experimentral) DTr, TrD on homomorphisms FrobeniusForm FrobeniusLinearFunctional FromIdentityToDoubleStarHomomorphism MatrixOfHomomorphismBetweenProjectives PreprojectiveAlgebra ProjectiveResolutionOfSimpleModuleOverEndo QuiverAlgebraOfeAe RadicalRightApproximationByAddM TopOfModule for morphisms TransposeOfModule on homomorphisms Discontinued/removed functions: ------------------------------------------------------------ Changed code for: ---------------------------------------------------------------------- BlockSplittingIdempotents Center DualOfAlgebraAsModuleOverEnvelopingAlgebra ExtOverAlgebra Kernel NthSyzygy QuiverAlgebraOfAmodAeA Fixed bugs in: ---------------------------------------------------------------------- CotiltingModule DualOfModule ImageProjectiveInclusion IsCotiltingModule IsFiniteTypeAlgebra IsSymmetricAlgebra LiftingMorphismFromProjective Poset RightModuleOverPathAlgebra SaveAlgebra StarOfModuleHomomorphism Miscellaneous ---------------------------------------------------------------------- Added CONTRIBUTING.md ========================================================================== Changes from version 1.29 to 1.30: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- AllIndecModulesOfLengthAtMost AllModulesOfLengthAtMost AllSimpleSubmodulesOfModule AllSubmodulesOfModule BlocksOfAlgebra BongartzTest LeftApproximationByAddM QuiverAlgebraOfAmodAeA RestrictionViaAlgebraHomomorphismMap RightApproximationByAddM Discontinued/removed functions: ------------------------------------------------------------ NthSyzygyNC Changed code for: ---------------------------------------------------------------------- Complex NthSyzygy (removed output) YonedaProduct Fixed bugs in: ---------------------------------------------------------------------- AlgebrasAsQuiverAlgebra AllSubmodulesOfModule Complex HaveFiniteCoresolutionInAddM HaveFiniteResolusionInAddM ElementOfQuotientPathAlgebra LiftTwoOrthogonalIdempotents TauOfComplex Miscellaneous ---------------------------------------------------------------------- ========================================================================== Changes from version 1.28 to 1.29: ========================================================================== Updated release script. Fixed issue #27. ========================================================================== Changes from version 1.27 to 1.28: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- BrauerAlgebra DecomposeModuleProbabilistic HighLevelGroebnerBasis Discontinued/removed functions: ------------------------------------------------------------ Changed code for: ---------------------------------------------------------------------- DecomposeModule IsDirectSumOfModules PathAlgebra Fixed bugs in: ---------------------------------------------------------------------- Isolated vertices bugs (reported by Erich Neun) Quiver product decomposition problems (reported by Erich Neun, fixed by Oeystein Skartsaeterhagen) RestrictionViaAlgebraHomomorphism (reported and fixed by Erich Neun) StarOfModule (reported and fixed by Erich Neun) Miscellaneous ---------------------------------------------------------------------- Added tests to the test file. Added Travis CI and Codecov integration (Alexander Konovalov) Fixed broken link to issues page. Fixed files in examples (Erich Neun) Improved the efficiency of the operation CommonDirectSummand. Removed the obsolete MutableNullMat and replaced it with NullMat. ========================================================================== Changes from version 1.26 to 1.27: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- IsPosetAlgebra IsNthSyzygy PartialOrderOfPoset Poset (implementation of Mohamed Barakat) PosetAlgebra PosetOfPosetAlgebra RestrictionViaAlgebraHomomorphism TensorAlgebraInclusion TrivialExtensionOfQuiverAlgebraLevel Discontinued/removed functions: ------------------------------------------------------------ PositionsProperty (moved from QPA to GAP) Changed code for: ---------------------------------------------------------------------- SimpleTensor TensorProductOfAlgebras TrivialExtensionOfQuiverAlgebra Fixed bugs in: ---------------------------------------------------------------------- ReadAlgebra and SaveAlgebra (reported by Klaus Lux) RightModuleOverPathAlgebra (reported by Rene Marczinzik) ========================================================================== Changes from version 1.25 to 1.26: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- AlmostSplitSequence - an new version AlmostSplitSequenceInPerpT ElementInIndecProjective IsTriangularReduced TensorProductOfModules Miscellaneous ---------------------------------------------------------------------- Updated coordinates for people and URL's in PackageInfo.g ========================================================================== Changes from version 1.24 to 1.25: ========================================================================== Added functions in this release: ---------------------------------------------------------------------- InjectiveEnvelope InjectiveResolution LeftApproximationByAddTHat ReadAlgebra RejectOfModule RightApproximationByPerpT SaveAlgebra Miscellaneous ---------------------------------------------------------------------- Added source repository and issue tracker to PackageInfo.g ========================================================================== Changes from version 1.23 to 1.24: ========================================================================== Delete the file banner.g, as this file now is obsolete. Updated doc/chapterintroduction.xml to take into account that QPA is now a deposited package in GAP. Updated the files version, PackageInfo.g and doc/qpadocumentation.xml to version 1.24. ========================================================================== Changes from version 1.22 to 1.23: ========================================================================== Updated the files version, PackageInfo.g and doc/qpadocumentation.xml to version 1.23. ========================================================================== Changes from version 1.21 to 1.22: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- Complexes can automatically detect repetition and change to "repeat" type. New type "next/repeat" which can be used when specifying complexes. This works like the type "next" (each differential is produced by a function which takes the previous differential as argument), but will automatically convert itself to type "repeat" (all differentials are given by a finite list which is repeated indefinitely) if it detects repetition. Added functions in this release: ---------------------------------------------------------------------- AlgebraAsQuiverAlgebra IdealOfQuotient Immediate methods for GlobalDimension for semisimple and selfinjective algebras Immediate method for IsFinitetypeAlgebra for Nakayama algebras IsTauPeriodic IsZero (for IsPathAlgebraMatModule) LiftingCompleteSetOfOrthogonalIdempotents LiftingIdempotent MakeQPADocumentation (function for building documentation) RelationsOfAlgebra Changed code for: ---------------------------------------------------------------------- AlgebraAsModuleOverEnvelopingAlgebra Center/Centre IsAdmissibleIdeal (avoiding computing radical series of the algebra) IsFiniteTypeAlgebra NakayamaAlgebra RadicalOfModuleInclusion Print for homomorphisms Fixed bugs in: ---------------------------------------------------------------------- EndOfModuleAsQuiverAlgebra (reported by Bernhar Boelhmer) IdempotentsForDecomposition IsDistributiveAlgebra (reported by Bernhard Boelhmer and Rene Marczinzik) IsomorphismOfModules Print for complexes with empty middle part Documentation: ---------------------------------------------------------------------- Documentation was updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ None Synonyms ------------------------------------------------------------ None Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ Removed chap0.html, manual.pdf and manual.six from the git repository. Changed create-release.sh. The create-release script was updated. Added an introduction to QPA and some exercises. Improved the script for generating the documentation. ========================================================================== Changes from version 1.20 to 1.21: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- None Changed code for: ---------------------------------------------------------------------- None Fixed bugs in: ---------------------------------------------------------------------- IsAdmissibleIdeal Documentation: ---------------------------------------------------------------------- Documentation was updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ DirectSumOfModules ----> DirectSumOfQPAModules (conflict with the happrime package) Synonyms ------------------------------------------------------------ None Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ Updated PackageInfo.g (removing any reference to SourceForge and replacing it with GitHub information), tst/testall.tst, ========================================================================== Changes from version 1.19 to 1.20: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- None Changed code for: ---------------------------------------------------------------------- PrimitiveIdempotents (change from a global function to an attribute) Fixed bugs in: ---------------------------------------------------------------------- None Documentation: ---------------------------------------------------------------------- Documentation was updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ PrimitiveIdempotentsOfSimpleAlgebra ----> PrimitiveIdempotents (went back to name prior to last change) Synonyms ------------------------------------------------------------ None Discontinued functions: ------------------------------------------------------------ AsLeftModuleModuleGeneralMappingByImages (remove implementation of this function as it was conflicting the test alghom.tst and it was not in use in QPA). Miscellaneous ------------------------------------------------------------ None ========================================================================== Changes from version 1.18 to 1.19: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- IsHereditaryAlgebra IsSemisimpleAlgebra (added method) Changed code for: ---------------------------------------------------------------------- AlgebraAsModuleOverEnvelopingAlgebra (takes the algebra as an argument instead of the enveloping algebra of the algebra) FaithfulDimension (changed from operation to attribute) Fixed bugs in: ---------------------------------------------------------------------- None Documentation: ---------------------------------------------------------------------- Documentation was added and updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ ConnectedComponents ----> ConnectedComponentsOfQuiver IsComplex ----> IsQPAComplex IsSimpleModule ----> IsSimpleQPAModule IsVertex ----> IsQuiverVertex PrimitiveIdempotents ----> PrimitiveIdempotentsOfSimpleAlgebra Synonyms ------------------------------------------------------------ None Discontinued functions: ------------------------------------------------------------ Removed two attributes "P0" and "P1" of a "IsProjectiveResolution" as they were not in use in QPA and they are likely to overwrite other variables when QPA is loaded. Pointed out by A. Konovalov. Miscellaneous ------------------------------------------------------------ Removed the bin directory from the repository (not in use, pointed out by A. Konovalov). Trimmed the file PackageInfo.g for comments. ========================================================================== Changes from version 1.17 to 1.18: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- IsHereditaryAlgebra (added a method). LeftInverseOfHomomorphism RightInverseOfHomomorphism Changed code for: ---------------------------------------------------------------------- ChainMap IsIsomorphism IsSplitMonomorphism (made into a property) IsSplitEpimorphism (made into a property) IsomorphismOfModules MoreLeftMinimalVersion Fixed bugs in: ---------------------------------------------------------------------- TransposeOfModule (Reported by Florian Eisele). TrivialExtensionOfQuiverAlgebra Documentation: ---------------------------------------------------------------------- Documentation was added and updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ None Synonyms ------------------------------------------------------------ None Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ Removed a conflicting declaration and definition of the command NewBasis. Updated PackageInfo.g, README, init.g and read.g. Added a test file, tst/testall.tst ========================================================================== Changes from version 1.16 to 1.17: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- AllComplementsOfAlmostCompleteTiltingModule CotiltingModule DynkinQuiver InjDimension InjDimensionOfModule IsCotiltingModule IsTiltingModule FaithfulDimension HaveFiniteCoresolutionInAddM HaveFiniteResolutionInAddM NumberOfComplementsOfAlmostCompleteTiltingModule NumberOfComplementsOfAlmostCompleteCotiltingModule LeftMutationOfTiltingModuleComplement RightMutationOfTiltingModuleComplement TiltingModule Changed code for: ---------------------------------------------------------------------- MinimalRightAddMApproximation (return zero if one takes the approximation of the zero module. Reported by Rene Marczinzik.) Fixed bugs in: ---------------------------------------------------------------------- DominantDimensionOfAlgebra (Reported by Rene Marczinzik.) GorensteinDimensionOfAlgebra (Reported by Rene Marczinzik.) Documentation: ---------------------------------------------------------------------- Documentation was added and updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ None Synonyms ------------------------------------------------------------ AllComplementsOfAlmostCompleteCotiltingModule == AllComplementsOfAlmostCompleteTiltingModule LeftMutationOfCotiltingModuleComplement == LeftMutationOfTiltingModuleComplement RightMutationOfCotiltingModuleComplement == RightMutationOfTiltingModuleComplement Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ ========================================================================== Changes from version 1.15 to 1.16: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- TraceOfModule RightFacMApproximation MinimalRightFacMApproximation LeftFacMApproximation MinimalLeftFacMApproximation RightSubMApproximation MinimalRightSubMApproximation LeftSubMApproximation MinimalLeftSubMApproximation Changed code for: ---------------------------------------------------------------------- None Fixed bugs in: ---------------------------------------------------------------------- None Documentation: ---------------------------------------------------------------------- Documentation was added and updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ None Synonyms ------------------------------------------------------------ MinimalRightAddMApproximation == MinimalRightApproximation MinimalLeftAddMApproximation == MinimalLeftApproximation RightFacMApproximation == TraceOfModule RightFacApproximation == TraceOfModule Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ ========================================================================== Changes from version 1.14 to 1.15: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- AssignGeneratorVariables AssociatedMonoimalAlgebra DominantDimensionOfAlgebra DominantDimensionOfModule EulerBilinearFormOfAlgebra GlobalDimension (attribute) GlobalDimensionOfAlgebra GorensteinAlgebraDimension N_RigidModule ProjDimension (attribute) ProjDimensionOfModule Changed code for: ---------------------------------------------------------------------- CartanMatrix, CoxeterMatrix, CoxeterPolynomial Fixed bugs in: ---------------------------------------------------------------------- EndOfModuleAsQuiverAlgebra TrivialExtensionOfQuiverAlgebra Documentation: ---------------------------------------------------------------------- Documentation was added and updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ None Synonyms ------------------------------------------------------------ None Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ None ========================================================================== Changes from version 1.13 to 1.14: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- OrbitDim Changed code for: ---------------------------------------------------------------------- IsFiniteTypeAlgebra, also extending the function to give a definite answer for radical square algebras. Fixed bugs in: ---------------------------------------------------------------------- EndOfModuleAsQuiverAlgebra Documentation: ---------------------------------------------------------------------- Documentation was added and updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ None Synonyms ------------------------------------------------------------ None Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ None ========================================================================== Changes from version 1.12 to 1.13: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- \= (for path algebra matrix modules) ComplexityOfAlgebra ComplexityOfModule DualOfAlgebraAsModuleOverEnvelopingAlgebra EndOfModulesAsQuiverAlgebra IsDistributiveAlgebra (added before, but not mentioned) IsGentleAlgebra (added implementation) IsomorphismOfModules MinimalGeneratingSetOfIdeal New way of introducing AR-quivers in degorderfinitetype TrivialExtensionOfQuiverAlgebra Changed code for: ---------------------------------------------------------------------- RightModuleOverPathAlgebra (now check if the entered matrices are over the correct field) Fixed bugs in: ---------------------------------------------------------------------- CoxeterPolynomial EnvelopingAlgebra Documentation: ---------------------------------------------------------------------- Documentation was added and updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ None Synonyms ------------------------------------------------------------ None Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ Have added functions that require GAP >= 4.5.x. Started to add acknowledgements in the documentation ========================================================================== Changes from version 1.11 to 1.12: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- IsAdmissibleQuotientOfPathAlgebra IsARQuiverNumerical IsBasicAlgebra IsElementaryAlgebra IsFiniteGlobalDimensionAlgebra IsGentleAlgebra IsGorensteinAlgebra IsHereditaryAlgebra IsQuiverAlgebra IsRadicalSquareZeroAlgebra IsSemisimpleAlgebra IsUnitForm Added functions in this release: ---------------------------------------------------------------------- ARQuiverNumerical BilinearFormOfUnitForm ComparisonLifting ComparisonLiftingToProjectiveResolution DegOrderLEQ DegOrderLEQNC DegOrderPredecessors DegOrderPredecessorsWithDirect DegOrderSuccessors DimensionVector DimEnd DimHom FiniteChainMap GlobalDimension (attribute of an algebra) HomomorphismFromImages IsBasicAlgebra IsElementaryAlgebra IsExceptionalModule IsFiniteTypeAlgebra (new method) IsIndecomposableModule IsRadicalSquareZeroAlgebra IsRigidModule IsTauRigidModule IsWeaklyNonnegativeUnitForm IsWeaklyPositiveUnitForm MappingCone ModulesOfDimVect NakayamaAutomorphisms NakayamaFunctorOfModule NakayamaFunctorOfModuleHomomorphism NakayamaPermutation NumberOfIndecomposables NumberOfProjectives OrbitCodim OrderOfNakayamaAutomorphism PositiveRootsOfUnitForm PrintMultiplicityVector PrintMultiplicityVectors QuadraticFormOfUnitForm ReflectionByBilinearForm SeparatedQuiver StarOfModule StarOfModuleHomomorphism SymmetricMatrixOfUnitForm TitsUnitFormOfAlgebra true methods for giving the relationship between categories/properties of algebras true methods for giving the relationship between categories/properties of modules UnitForm ZeroChainMap Changed code for: ---------------------------------------------------------------------- "/" applied to a path algebra and a list of relations therein AlgebraAsModuleOverEnvelopingAlgebra CanonicalAlgebra CartanMatrix Center CoxeterMatrix CoxeterPolynomial DirectSumOfModules EnvelopingAlgebra FullSubquiver IndecProjectiveModules, added properties: IsIndecomposableModule, IsProjectiveModule IndecInjectiveModules, added properties: IsIndecomposableModule, IsInjectiveModule IsSchurianAlgebra IsSymmetricAlgebra IsWeaklySymmetricAlgebra LoewyLength NakayamaAlgebra OriginalPathAlgebra RightModuleOverPathAlgebra SimpleModules, added properties: IsSimpleModule TensorProductOfAlgebras VerticesOfPathAlgebra Fixed bugs in: ---------------------------------------------------------------------- None Documentation: ---------------------------------------------------------------------- Documentation was added and updated. Changes in function names: Old name -------> New name ------------------------------------------------------------ None Synonyms ------------------------------------------------------------ None Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ None ========================================================================== Changes from version 1.10 to 1.11: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- A new way for constructing a quotient of a path algebra, BasicVersionOfModule BlockSplittingIdempotents BlockDecompositionOfModule ConnectedComponents FullSubquiver IsUAcyclicQuiver IsDynkinQuiver IsSchurianAlgebra IsSemiCommutativeAlgebra IyamaGenerator RightAlgebraModuleToPathAlgebraMatModule Changed code for: ---------------------------------------------------------------------- RadicalOfModule, SocleOfModule, RadicalSeries and SocleSeries changed from attributes to operations. Merged the two commands ExtOverAlgebra and ExtOverAlgebraAdd. Changed the order of the arguments in NakayamaAlgebra. Fixed bugs in: ---------------------------------------------------------------------- IsAdmissibleIdeal Documentation: ---------------------------------------------------------------------- Documentation was added and updated. The code is better documented with most functions getting a header with a short explanation of the code. A short introduction was added with general aims and information about installation and system requirements, and the old introduction is now called Quickstart. An abstract was added and the frontpage was modified. Changes in function names: Old name -------> New name ------------------------------------------------------------ AlgebraAsModuleOfEnvelopingAlgebra ---> AlgebraAsModuleOverEnvelopingAlgebra Synonyms ------------------------------------------------------------ AlgebraAsModuleOfEnvelopingAlgebra ~ AlgebraAsModuleOverEnvelopingAlgebra Discontinued functions: ------------------------------------------------------------ None Miscellaneous ------------------------------------------------------------ Updated the gi-files in the gap-directory by adding headers and comments in the code. Started to add the examples from the documentation in to separate files in the examples/ directory. Deleted the old example files, comp-examples.txt and examples.txt. Renamed the tests directory to "tst". Moved the gap directory to a lib directory. Changed the paths in the init.g and read.g files from gap/? to lib/?. Added a CHANGES file to the root directory. We have packed the reduced the size of the packed distribution of QPA by only including the files in the git repository. That means, for instance, that the PDF file of the manual is not included in the packed distribution. However you can find it on the homepage: https://folk.ntnu.no/oyvinso/QPA/ We are planning to move from GAP 4.4 to GAP 4.6. The reason for doing this is that this opens new possibilities. For instance, it would then be easier to add functions like ComplexityOfModule, etc. So we advise to install GAP 4.6. ========================================================================== Changes from version 1.09 to 1.10: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- IsConnectedQuiver IsFiniteTypeAlgebra IsTreeQuiver Changed code for: ---------------------------------------------------------------------- Some simplifications of the code here and there. Fixed bugs in: ---------------------------------------------------------------------- For some functions in the file derivedcat.gi. Documentation: ---------------------------------------------------------------------- A new introduction in the documentation has been written. Documentation was added and updated. This is the major change in this release. A lot of work has gone into making the documentation better. Still more work left. Also some of the code is better documented. Changes in function names: Old name -------> New name ------------------------------------------------------------ No changes Synonyms ------------------------------------------------------------ No changes Discontinued functions: ------------------------------------------------------------ Deleting the function Square as it was in conflict with GAP 4.5.?. Miscellaneous ------------------------------------------------------------ Deleted files and changed names on some of files in the repository. Updated the gi-files in the gap-directory by adding headers and comments in the code. PackageInfo.g-file has been updated. The CVS repository is no longer updated. We have switched to a GIT repository. Look at the web page www.math.ntnu.no/~oyvinso/QPA/ for further information how to use this repository. ========================================================================== Changes from version 1.08 to 1.09: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- None Added functions in this release: ---------------------------------------------------------------------- AnnihilatorOfModule CutComplexAbove CutComplexBelow DecomposeModuleWithMultiplicities. EndModuloProjOverAlgebra HomFactoringThroughProjOverAlgebra IntersectionOfSubmodules PredecessorOfModule ProductOfIdeals ProjetiveResolutionOfPathAlgebraModule (will probably change to ProjectiveGSZResolutionOfPathAlgebraModule) SumOfSubmodules Changed code for: ---------------------------------------------------------------------- DecomposeModule Changed the definition of some functions with respect to being an attribute, a property, etc. Fixed bugs in: ---------------------------------------------------------------------- LeftDivision PredecessorOfModule Documentation: ---------------------------------------------------------------------- Documentation was added and updated. ---------------------------------------------------------------------- Changes in function names: Old name -------> New name ------------------------------------------------------------ No changes Synonyms ------------------------------------------------------------ No changes Discontinued functions: ------------------------------------------------------------ Deleting one version of DecomposeModule Miscellaneous ------------------------------------------------------------ Updated banner. This is (probably) the last time we update the cvs repository. We will now start using a git repository instead. More on this later. ========================================================================== Changes from version 1.07 to 1.08: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- Ideals in a path algebra, IsIdealInPathAlgebra. Added functions in this release: ---------------------------------------------------------------------- AnnihilatorOfModule CanonicalAlgebra DecomposeModuleWithMultiplicities ElementOfPathAlgebra ExtAlgebraGenerators IntersectionOfSubmodules IsAdmissibleIdeal IsIdealInPathAlgebra IsInjectiveComplex IsMonomialIdeal IsProjectiveComplex IsSpecialBiserialQuiver IsSpecialBiserialAlgebra IsStringAlgebra IsSymmetricAlgebra IsWeaklySymmetricAlgebra KroneckerAlgebra PredecessorsOfModule ProductOfIdeals ProjectiveResolution ProjectiveResolutionOfComplex ProjectiveToInjectiveComplex ShiftUnsigned SumOfSubmodules TauOfComplex Changed code for: ---------------------------------------------------------------------- 1stSyzygy AlgebraAsModuleOfEnvelopingAlgebra AlmostSplitSequence CoxeterMatrix CoxeterPolynomial DecomposeModule DTr, TrD DualOfModuleHomomorphism EndOverAlgebra IndecInjectiveModules IndecProjectiveModules IsInjectiveModule IsLeftMinimal IsProjectiveModule IsRightMinimal IsSimpleModule IsSemisimpleModule IsSelfinjectiveAlgebra LeftMinimalVersion LoewyLength NontipSize OriginalPathAlgebra RadicalOfModule RadicalOfModuleInclusion RadicalSeries RightMinimalVersion SimpleModules SocleOfModule SocleOfModuleInclusion SocleSeries TopOfModule TopOfModuleProjection TransposeOfModule ZeroModule (the above were operations, now attr or prop) Display, PrintObj, ViewObj (for quivers, path algebras, quotient of path algebras, modules and homomorphisms) \in (for elements in a path algebra) MinimalGeneratingSetOfModule Fixed bugs in: ---------------------------------------------------------------------- ExtOverAlgebra ExtOverAlgebraAdd IndecInjectiveModules IsFiniteDimensional LoewyLength (for an algebra) SimpleModules TopOfModuleProjection Documentation: ---------------------------------------------------------------------- Documentation was added and updated. ---------------------------------------------------------------------- Changes in function names: Old name -------> New name ------------------------------------------------------------ SingleObjectComplex ---------> StalkComplex Synonyms ------------------------------------------------------------ No changes Discontinued functions: ------------------------------------------------------------ No discontinued functions. ========================================================================== Changes from version 1.06 to 1.07: ========================================================================== Added structures in this release: ---------------------------------------------------------------------- Representation of chain complexes and chain maps. The code is unfinished, not tested much, and almost not documented at all. Added functions in this release: ---------------------------------------------------------------------- IsEnvelopingAlgebra LiftingMorphismFromProjective LiftingInclusionMorphisms MatricesOfPathAlgebraMatModuleHomomorphism MorphismOnKernel MorphismOnImage MorphismOnCokernel RightModuleOverPathAlgebra - new version of this operation Changed code for: ---------------------------------------------------------------------- MatricesOfPathAlgebraModule CommonDirectSummand DecomposeModule - however no guarantee that this actually computes a decomposition of the module. Have not checked the mathematics behind the algorithms. Fixed bugs: ---------------------------------------------------------------------- Fixed a bug in SimpleModules Fixed a bug in IsomorphicModules Documentation: ---------------------------------------------------------------------- Chapter 2, 3, 4 and 7 are updated. ---------------------------------------------------------------------- Changes in function names: Old name -------> New name ------------------------------------------------------------ Coker -------> CoKernel CokerProjection -------> CoKernelProjection DimensionMatModule -------> Dimension DirectSumOfPathAlgebraMatModules -------> DirectSumOfModules DualOfPathAlgebraMatModule -------> DualOfModule DualOfPathAlgebraMatModuleMap -------> DualOfModuleHomomorphism ElementOfFpPathAlgebra -------> ElementOfQuotientOfPathAlgebra EndOverPathAlgebra -------> EndOverAlgebra ExtOne -------> ExtOverAlgebra 1st_Syzygy -------> 1stSyzygy HomOverPathAlgebra -------> HomOverAlgebra IdentityMap -------> IdentityMapping Im -------> Image ImInclusion -------> ImageInclusion ImProjection -------> ImageProjection ImProjectionInclusion -------> ImageProjectionInclusion InAdditiveClosureTest -------> IsInAdditiveClosure IndecomposableInjectiveRepresentations -------> IndecInjectiveModules IndecomposableProjectiveRepresentations -------> IndecProjectiveModules IsAcyclic -------> IsAcyclicQuiver IsDirectSum -------> IsDirectSumOfModules IsElementOfFpPathAlgebra -------> IsElementOfQuotientOfPathAlgebra IsHomogenousGroebnerBasis -------> IsHomogeneousGroebnerBasis IsIsom -------> IsIsomorphism IsPathAlgebraMatModuleMap -------> IsPathAlgebraModuleHomomorphism IsOnto -------> IsSurjective IsOneToOne -------> IsInjective IsSelfinjective -------> IsSelfinjectiveAlgebra IsSplitEpi -------> IsSplitEpimorphism IsSplitMono -------> IsSplitMonomorphism IsSubalgebraFpPathAlgebra -------> IsQuotientOfPathAlgebra IsZeroMap -------> IsZero Ker -------> Kernel KerInclusion -------> KernelInclusion MatricesOfPathAlgebraMatModule -------> MatricesOfPathAlgebraModule MinimalSetOfGenerators -------> MinimalGeneratingSetOfModule ModuleIsomorphismTest -------> IsomorphicModules nth_Syzygy -------> NthSyzygy nth_SyzygyNC -------> NthSyzygyNC nthPowerOfArrowIdeal -------> NthPowerOfArrowIdeal OrderOfQuiver -------> NumberOfVertices PreImageElm -------> PreImagesRepresentative RadicalOfRep -------> RadicalOfModule RadicalOfRepInclusion -------> RadicalOfModuleInclusion RightModuleOverPathAlgebra -------> Make both one function with name: RightModuleOverQuotientOfPathAlgebra -------> RightModuleOverPathAlgebra SizeOfQuiver -------> NumberOfArrows SocleOfPathAlgebraMatModule -------> SocleOfModule SocleOfPathAlgebraMatModuleInclusion -------> SocleOfModuleInclusion SubRep -------> SubRepresentation SubRepInclusion -------> SubRepresentationInclusion TopOfRep -------> TopOfModule TopOfRepProjection -------> TopOfModuleProjection VertexSimpleRepresentations -------> SimpleModules ZeroRepresentation -------> ZeroModule Synonyms ------------------------------------------------------------ DTr -------> DualOfTranspose TrD -------> TransposeOfDual Discontinued functions: ------------------------------------------------------------ GeneratorsOfRep -------> MinimalGeneratorsOfModule ========================================================================== Changes from version 1.05 to 1.06: ========================================================================== Added functions in this release: SupportModuleElement - finds the vertices where the module element has support. BasisOfProjectives - finds the basis that is used to compute the indecomposable projective modules. VertexPosition - finds the position of a vertex in the list of vertices HomFromProjective - given an element in a module with only support in one vertex, this function finds the homomorphism from the indecomposable projective corresponding to this vertex onto the given element. ProjectiveCover - finds the projective cover of a module, ie. the homomorphism P(M) ---> M ExtOne - computes Ext^1(M,N) for two modules M and N. AlmostSplitSequence - computes the almost split sequence ending in an indecomposable non-projective module. In addition: 1) a number of bug fixes to older functions. 2) documentation is updated, but still a long way from being called good. ========================================================================== Changes from version 1.04 to 1.05: ========================================================================== 1. Fixed bugs in the functions HomOverPathAlgebra, ModuleIsomorphismTest, DirectSummandTest and IdentityMap. 2. Added the functions CommonDirectSummand, MaximalCommonDirectSummand, InAdditiveClosureTest, IsSplitMono, IsSplitEpi, RightMinimalVersion, LeftMinimalVersion, MinimalRightApproximation, MinimalLeftApproximation, IsQuadraticIdeal and QuadraticPerpOfPathAlgebraIdeal. 3. Updated the documentation/manual.
[ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet) ] |
||||||
2026-04-02