1========================================================================== 2Changes from version 1.29 to 1.30: 3========================================================================== 4 5Added functions in this release: 6---------------------------------------------------------------------- 7 8AllIndecModulesOfLengthAtMost 9AllModulesOfLengthAtMost 10AllSimpleSubmodulesOfModule 11AllSubmodulesOfModule 12BlocksOfAlgebra 13BongartzTest 14LeftApproximationByAddM 15QuiverAlgebraOfAmodAeA 16RestrictionViaAlgebraHomomorphismMap 17RightApproximationByAddM 18 19Discontinued/removed functions: 20------------------------------------------------------------ 21NthSyzygyNC 22 23Changed code for: 24---------------------------------------------------------------------- 25Complex 26NthSyzygy (removed output) 27YonedaProduct 28 29Fixed bugs in: 30---------------------------------------------------------------------- 31AlgebrasAsQuiverAlgebra 32AllSubmodulesOfModule 33Complex 34HaveFiniteCoresolutionInAddM 35HaveFiniteResolusionInAddM 36ElementOfQuotientPathAlgebra 37LiftTwoOrthogonalIdempotents 38TauOfComplex 39 40Miscellaneous 41---------------------------------------------------------------------- 42 43========================================================================== 44Changes from version 1.28 to 1.29: 45========================================================================== 46 47Updated release script. 48Fixed issue #27. 49 50 51========================================================================== 52Changes from version 1.27 to 1.28: 53========================================================================== 54 55Added functions in this release: 56---------------------------------------------------------------------- 57 58BrauerAlgebra 59DecomposeModuleProbabilistic 60HighLevelGroebnerBasis 61 62 63Discontinued/removed functions: 64------------------------------------------------------------ 65 66 67Changed code for: 68---------------------------------------------------------------------- 69DecomposeModule 70IsDirectSumOfModules 71PathAlgebra 72 73Fixed bugs in: 74---------------------------------------------------------------------- 75 76Isolated vertices bugs (reported by Erich Neun) 77Quiver product decomposition problems (reported by Erich Neun, fixed 78 by Oeystein Skartsaeterhagen) 79RestrictionViaAlgebraHomomorphism (reported and fixed by Erich Neun) 80StarOfModule (reported and fixed by Erich Neun) 81 82Miscellaneous 83---------------------------------------------------------------------- 84Added tests to the test file. 85Added Travis CI and Codecov integration (Alexander Konovalov) 86Fixed broken link to issues page. 87Fixed files in examples (Erich Neun) 88Improved the efficiency of the operation CommonDirectSummand. 89Removed the absolete MutableNullMat and replaced it with NullMat. 90 91========================================================================== 92Changes from version 1.26 to 1.27: 93========================================================================== 94 95Added functions in this release: 96---------------------------------------------------------------------- 97 98IsPosetAlgebra 99IsNthSyzygy 100PartialOrderOfPoset 101Poset (implementation of Mohamed Barakat) 102PosetAlgebra 103PosetOfPosetAlgebra 104RestrictionViaAlgebraHomomorphism 105TensorAlgebraInclusion 106TrivialExtensionOfQuiverAlgebraLevel 107 108Discontinued/removed functions: 109------------------------------------------------------------ 110 111PositionsProperty (moved from QPA to GAP) 112 113Changed code for: 114---------------------------------------------------------------------- 115 116SimpleTensor 117TensorProductOfAlgebras 118TrivialExtensionOfQuiverAlgebra 119 120Fixed bugs in: 121---------------------------------------------------------------------- 122 123ReadAlgebra and SaveAlgebra (reported by Klaus Lux) 124RightModuleOverPathAlgebra (reported by Rene Marczinzik) 125 126========================================================================== 127Changes from version 1.25 to 1.26: 128========================================================================== 129 130Added functions in this release: 131---------------------------------------------------------------------- 132 133AlmostSplitSequence - an new version 134AlmostSplitSequenceInPerpT 135ElementInIndecProjective 136IsTriangularReduced 137TensorProductOfModules 138 139Miscellaneous 140---------------------------------------------------------------------- 141 142Updated coordiantes for people and URL's in PackageInfo.g 143 144 145========================================================================== 146Changes from version 1.24 to 1.25: 147========================================================================== 148 149Added functions in this release: 150---------------------------------------------------------------------- 151 152InjectiveEnvelope 153InjectiveResolution 154LeftApproximationByAddTHat 155ReadAlgebra 156RejectOfModule 157RightApproximationByPerpT 158SaveAlgebra 159 160Miscellaneous 161---------------------------------------------------------------------- 162 163Added source repository and issue tracker to PackageInfo.g 164 165 166========================================================================== 167Changes from version 1.23 to 1.24: 168========================================================================== 169 170Delete the file banner.g, as this file now is absolete. 171 172Updated doc/chapterintroduction.xml to take into account that QPA is now 173a deposited package in GAP. 174 175Updated the files version, PackageInfo.g and doc/qpadocumentation.xml 176to version 1.24. 177 178 179========================================================================== 180Changes from version 1.22 to 1.23: 181========================================================================== 182 183Updated the files version, PackageInfo.g and doc/qpadocumentation.xml 184to version 1.23. 185 186========================================================================== 187Changes from version 1.21 to 1.22: 188========================================================================== 189 190Added structures in this release: 191---------------------------------------------------------------------- 192 193Complexes can automatically detect repetition and change to "repeat" 194type. New type "next/repeat" which can be used when specifying 195complexes. This works like the type "next" (each differential is 196produced by a function which takes the previous differential as 197argument), but will automatically convert itself to type "repeat" (all 198differentials are given by a finite list which is repeated 199indefinitely) if it detects repetition. 200 201Added functions in this release: 202---------------------------------------------------------------------- 203 204AlgebraAsQuiverAlgebra 205IdealOfQuotient 206Immediate methods for GlobalDimension for semisimple and selfinjective 207 algebras 208Immediate method for IsFinitetypeAlgebra for Nakayama algebras 209IsTauPeriodic 210IsZero (for IsPathAlgebraMatModule) 211LiftingCompleteSetOfOrthogonalIdempotents 212LiftingIdempotent 213MakeQPADocumentation (function for building documentation) 214RelationsOfAlgebra 215 216Changed code for: 217---------------------------------------------------------------------- 218 219AlgebraAsModuleOverEnvelopingAlgebra 220Center/Centre 221IsAdmissibleIdeal (avoiding computing radical series of the algebra) 222IsFiniteTypeAlgebra 223NakayamaAlgebra 224RadicalOfModuleInclusion 225Print for homomorphisms 226 227Fixed bugs in: 228---------------------------------------------------------------------- 229 230EndOfModuleAsQuiverAlgebra (reported by Bernhar Boelhmer) 231IdempotentsForDecomposition 232IsDistributiveAlgebra (reported by Bernhard Boelhmer and 233 Rene Marczinzik) 234IsomorphismOfModules 235Print for complexes with empty middle part 236 237Documentation: 238---------------------------------------------------------------------- 239 240Documentation was updated. 241 242Changes in function names: 243Old name -------> New name 244------------------------------------------------------------ 245 246None 247 248Synonyms 249------------------------------------------------------------ 250 251None 252 253Discontinued functions: 254------------------------------------------------------------ 255 256None 257 258Miscellaneous 259------------------------------------------------------------ 260 261Removed chap0.html, manual.pdf and manual.six from the git 262repository. Changed create-release.sh. 263 264The create-release script was updated. 265 266Added an introduction to QPA and some exercises. 267 268Improved the script for generating the documentation. 269 270========================================================================== 271Changes from version 1.20 to 1.21: 272========================================================================== 273 274Added structures in this release: 275---------------------------------------------------------------------- 276 277None 278 279Added functions in this release: 280---------------------------------------------------------------------- 281 282None 283 284Changed code for: 285---------------------------------------------------------------------- 286 287None 288 289Fixed bugs in: 290---------------------------------------------------------------------- 291 292IsAdmissibleIdeal 293 294Documentation: 295---------------------------------------------------------------------- 296 297Documentation was updated. 298 299Changes in function names: 300Old name -------> New name 301------------------------------------------------------------ 302 303DirectSumOfModules ----> DirectSumOfQPAModules (conflict with 304 the happrime package) 305 306Synonyms 307------------------------------------------------------------ 308 309None 310 311Discontinued functions: 312------------------------------------------------------------ 313 314None 315 316Miscellaneous 317------------------------------------------------------------ 318 319Updated PackageInfo.g (removing any reference to SourceForge 320and replacing it with GitHub information), tst/testall.tst, 321 322 323========================================================================== 324Changes from version 1.19 to 1.20: 325========================================================================== 326 327Added structures in this release: 328---------------------------------------------------------------------- 329 330None 331 332Added functions in this release: 333---------------------------------------------------------------------- 334 335None 336 337Changed code for: 338---------------------------------------------------------------------- 339 340PrimitiveIdempotents (change from a global function to an attribute) 341 342Fixed bugs in: 343---------------------------------------------------------------------- 344 345None 346 347Documentation: 348---------------------------------------------------------------------- 349 350Documentation was updated. 351 352Changes in function names: 353Old name -------> New name 354------------------------------------------------------------ 355 356PrimitiveIdempotentsOfSimpleAlgebra ----> PrimitiveIdempotents 357 (went back to name prior to last change) 358 359Synonyms 360------------------------------------------------------------ 361 362None 363 364Discontinued functions: 365------------------------------------------------------------ 366 367AsLeftModuleModuleGeneralMappingByImages (remove implementation 368 of this function as it was conflicting the test alghom.tst 369 and it was not in use in QPA). 370 371Miscellaneous 372------------------------------------------------------------ 373 374None 375 376========================================================================== 377Changes from version 1.18 to 1.19: 378========================================================================== 379 380Added structures in this release: 381---------------------------------------------------------------------- 382 383None 384 385Added functions in this release: 386---------------------------------------------------------------------- 387 388IsHereditaryAlgebra 389IsSemisimpleAlgebra (added method) 390 391Changed code for: 392---------------------------------------------------------------------- 393 394AlgebraAsModuleOverEnvelopingAlgebra (takes the algebra as an argument 395 instead of the enveloping 396 algebra of the algebra) 397FaithfulDimension (changed from operation to attribute) 398 399Fixed bugs in: 400---------------------------------------------------------------------- 401 402None 403 404Documentation: 405---------------------------------------------------------------------- 406 407Documentation was added and updated. 408 409Changes in function names: 410Old name -------> New name 411------------------------------------------------------------ 412ConnectedComponents ----> ConnectedComponentsOfQuiver 413IsComplex ----> IsQPAComplex 414IsSimpleModule ----> IsSimpleQPAModule 415IsVertex ----> IsQuiverVertex 416PrimitiveIdempotents ----> PrimitiveIdempotentsOfSimpleAlgebra 417 418Synonyms 419------------------------------------------------------------ 420 421None 422 423Discontinued functions: 424------------------------------------------------------------ 425 426Removed two attributes "P0" and "P1" of a 427"IsProjectiveResolution" as they were not in use in QPA and 428they are likely to overwrite other variables when QPA is 429loaded. Pointed out by A. Konovalov. 430 431Miscellaneous 432------------------------------------------------------------ 433 434Removed the bin directory from the repository (not in use, 435pointed out by A. Konovalov). Trimmed the file PackageInfo.g 436for comments. 437 438========================================================================== 439Changes from version 1.17 to 1.18: 440========================================================================== 441 442Added structures in this release: 443---------------------------------------------------------------------- 444 445None 446 447Added functions in this release: 448---------------------------------------------------------------------- 449 450IsHereditaryAlgebra (added a method). 451LeftInverseOfHomomorphism 452RightInverseOfHomomorphism 453 454Changed code for: 455---------------------------------------------------------------------- 456 457ChainMap 458IsIsomorphism 459IsSplitMonomorphism (made into a property) 460IsSplitEpimorphism (made into a property) 461IsomorphismOfModules 462MoreLeftMinimalVersion 463 464Fixed bugs in: 465---------------------------------------------------------------------- 466 467TransposeOfModule (Reported by Florian Eisele). 468TrivialExtensionOfQuiverAlgebra 469 470Documentation: 471---------------------------------------------------------------------- 472 473Documentation was added and updated. 474 475Changes in function names: 476Old name -------> New name 477------------------------------------------------------------ 478 479None 480 481Synonyms 482------------------------------------------------------------ 483 484None 485 486Discontinued functions: 487------------------------------------------------------------ 488 489None 490 491Miscellaneous 492------------------------------------------------------------ 493 494Removed a conflicting declaration and definition of the 495 command NewBasis. 496Updated PackageInfo.g, README, init.g and read.g. 497Added a test file, tst/testall.tst 498 499========================================================================== 500Changes from version 1.16 to 1.17: 501========================================================================== 502 503Added structures in this release: 504---------------------------------------------------------------------- 505 506None 507 508Added functions in this release: 509---------------------------------------------------------------------- 510 511AllComplementsOfAlmostCompleteTiltingModule 512CotiltingModule 513DynkinQuiver 514InjDimension 515InjDimensionOfModule 516IsCotiltingModule 517IsTiltingModule 518FaithfulDimension 519HaveFiniteCoresolutionInAddM 520HaveFiniteResolutionInAddM 521NumberOfComplementsOfAlmostCompleteTiltingModule 522NumberOfComplementsOfAlmostCompleteCotiltingModule 523LeftMutationOfTiltingModuleComplement 524RightMutationOfTiltingModuleComplement 525TiltingModule 526 527 528Changed code for: 529---------------------------------------------------------------------- 530 531MinimalRightAddMApproximation (return zero if one takes 532 the approximation of the zero module. Reported by 533 Rene Marczinzik.) 534 535Fixed bugs in: 536---------------------------------------------------------------------- 537 538DominantDimensionOfAlgebra (Reported by Rene Marczinzik.) 539GorensteinDimensionOfAlgebra (Reported by Rene Marczinzik.) 540 541 542Documentation: 543---------------------------------------------------------------------- 544 545Documentation was added and updated. 546 547Changes in function names: 548Old name -------> New name 549------------------------------------------------------------ 550 551None 552 553Synonyms 554------------------------------------------------------------ 555 556AllComplementsOfAlmostCompleteCotiltingModule == 557 AllComplementsOfAlmostCompleteTiltingModule 558LeftMutationOfCotiltingModuleComplement == 559 LeftMutationOfTiltingModuleComplement 560RightMutationOfCotiltingModuleComplement == 561 RightMutationOfTiltingModuleComplement 562 563 564Discontinued functions: 565------------------------------------------------------------ 566 567None 568 569Miscellaneous 570------------------------------------------------------------ 571 572 573========================================================================== 574Changes from version 1.15 to 1.16: 575========================================================================== 576 577Added structures in this release: 578---------------------------------------------------------------------- 579 580None 581 582Added functions in this release: 583---------------------------------------------------------------------- 584 585TraceOfModule 586RightFacMApproximation 587MinimalRightFacMApproximation 588LeftFacMApproximation 589MinimalLeftFacMApproximation 590RightSubMApproximation 591MinimalRightSubMApproximation 592LeftSubMApproximation 593MinimalLeftSubMApproximation 594 595Changed code for: 596---------------------------------------------------------------------- 597 598None 599 600Fixed bugs in: 601---------------------------------------------------------------------- 602 603None 604 605Documentation: 606---------------------------------------------------------------------- 607 608Documentation was added and updated. 609 610Changes in function names: 611Old name -------> New name 612------------------------------------------------------------ 613 614None 615 616Synonyms 617------------------------------------------------------------ 618 619MinimalRightAddMApproximation == MinimalRightApproximation 620MinimalLeftAddMApproximation == MinimalLeftApproximation 621RightFacMApproximation == TraceOfModule 622RightFacApproximation == TraceOfModule 623 624Discontinued functions: 625------------------------------------------------------------ 626 627None 628 629Miscellaneous 630------------------------------------------------------------ 631 632========================================================================== 633Changes from version 1.14 to 1.15: 634========================================================================== 635 636Added structures in this release: 637---------------------------------------------------------------------- 638 639None 640 641Added functions in this release: 642---------------------------------------------------------------------- 643 644AssignGeneratorVariables 645AssociatedMonoimalAlgebra 646DominantDimensionOfAlgebra 647DominantDimensionOfModule 648EulerBilinearFormOfAlgebra 649GlobalDimension (attribute) 650GlobalDimensionOfAlgebra 651GorensteinAlgebraDimension 652N_RigidModule 653ProjDimension (attribute) 654ProjDimensionOfModule 655 656Changed code for: 657---------------------------------------------------------------------- 658 659CartanMatrix, CoxeterMatrix, CoxeterPolynomial 660 661Fixed bugs in: 662---------------------------------------------------------------------- 663 664EndOfModuleAsQuiverAlgebra 665TrivialExtensionOfQuiverAlgebra 666 667Documentation: 668---------------------------------------------------------------------- 669 670Documentation was added and updated. 671 672Changes in function names: 673Old name -------> New name 674------------------------------------------------------------ 675None 676 677Synonyms 678------------------------------------------------------------ 679 680None 681 682Discontinued functions: 683------------------------------------------------------------ 684 685None 686 687Miscellaneous 688------------------------------------------------------------ 689 690None 691 692 693========================================================================== 694Changes from version 1.13 to 1.14: 695========================================================================== 696 697Added structures in this release: 698---------------------------------------------------------------------- 699 700None 701 702Added functions in this release: 703---------------------------------------------------------------------- 704 705OrbitDim 706 707Changed code for: 708---------------------------------------------------------------------- 709 710IsFiniteTypeAlgebra, also extending the function to give a definite 711 answer for radical square algebras. 712 713Fixed bugs in: 714---------------------------------------------------------------------- 715 716EndOfModuleAsQuiverAlgebra 717 718Documentation: 719---------------------------------------------------------------------- 720 721Documentation was added and updated. 722 723Changes in function names: 724Old name -------> New name 725------------------------------------------------------------ 726None 727 728Synonyms 729------------------------------------------------------------ 730 731None 732 733Discontinued functions: 734------------------------------------------------------------ 735 736None 737 738Miscellaneous 739------------------------------------------------------------ 740 741None 742 743========================================================================== 744Changes from version 1.12 to 1.13: 745========================================================================== 746 747Added structures in this release: 748---------------------------------------------------------------------- 749 750None 751 752Added functions in this release: 753---------------------------------------------------------------------- 754 755\= (for path algebra matrix modules) 756ComplexityOfAlgebra 757ComplexityOfModule 758DualOfAlgebraAsModuleOverEnvelopingAlgebra 759EndOfModulesAsQuiverAlgebra 760IsDistributiveAlgebra (added before, but not mentioned) 761IsGentleAlgebra (added implementation) 762IsomorphismOfModules 763MinimalGeneratingSetOfIdeal 764New way of introducing AR-quivers in degorderfinitetype 765TrivialExtensionOfQuiverAlgebra 766 767Changed code for: 768---------------------------------------------------------------------- 769 770RightModuleOverPathAlgebra (now check if the entered matrices are over 771 the correct field) 772 773 774Fixed bugs in: 775---------------------------------------------------------------------- 776 777CoxeterPolynomial 778EnvelopingAlgebra 779 780Documentation: 781---------------------------------------------------------------------- 782 783Documentation was added and updated. 784 785 786Changes in function names: 787Old name -------> New name 788------------------------------------------------------------ 789None 790 791 792Synonyms 793------------------------------------------------------------ 794 795None 796 797Discontinued functions: 798------------------------------------------------------------ 799 800None 801 802 803Miscellaneous 804------------------------------------------------------------ 805 806Have added functions that require GAP >= 4.5.x. 807 808Started to add acknowledgements in the documentation 809 810 811========================================================================== 812Changes from version 1.11 to 1.12: 813========================================================================== 814 815Added structures in this release: 816---------------------------------------------------------------------- 817 818 819IsAdmissibleQuotientOfPathAlgebra 820IsARQuiverNumerical 821IsBasicAlgebra 822IsElementaryAlgebra 823IsFiniteGlobalDimensionAlgebra 824IsGentleAlgebra 825IsGorensteinAlgebra 826IsHereditaryAlgebra 827IsQuiverAlgebra 828IsRadicalSquareZeroAlgebra 829IsSemisimpleAlgebra 830IsUnitForm 831 832 833Added functions in this release: 834---------------------------------------------------------------------- 835 836ARQuiverNumerical 837BilinearFormOfUnitForm 838ComparisonLifting 839ComparisonLiftingToProjectiveResolution 840DegOrderLEQ 841DegOrderLEQNC 842DegOrderPredecessors 843DegOrderPredecessorsWithDirect 844DegOrderSuccessors 845DimensionVector 846DimEnd 847DimHom 848FiniteChainMap 849GlobalDimension (attribute of an algebra) 850HomomorphismFromImages 851IsBasicAlgebra 852IsElementaryAlgebra 853IsExceptionalModule 854IsFiniteTypeAlgebra (new method) 855IsIndecomposableModule 856IsRadicalSquareZeroAlgebra 857IsRigidModule 858IsTauRigidModule 859IsWeaklyNonnegativeUnitForm 860IsWeaklyPositiveUnitForm 861MappingCone 862ModulesOfDimVect 863NakayamaAutomorphisms 864NakayamaFunctorOfModule 865NakayamaFunctorOfModuleHomomorphism 866NakayamaPermutation 867NumberOfIndecomposables 868NumberOfProjectives 869OrbitCodim 870OrderOfNakayamaAutomorphism 871PositiveRootsOfUnitForm 872PrintMultiplicityVector 873PrintMultiplicityVectors 874QuadraticFormOfUnitForm 875ReflectionByBilinearForm 876SeparatedQuiver 877StarOfModule 878StarOfModuleHomomorphism 879SymmetricMatrixOfUnitForm 880TitsUnitFormOfAlgebra 881true methods for giving the relationship between categories/properties 882 of algebras 883true methods for giving the relationship between categories/properties 884 of modules 885UnitForm 886ZeroChainMap 887 888 889Changed code for: 890---------------------------------------------------------------------- 891 892"/" applied to a path algebra and a list of relations therein 893AlgebraAsModuleOverEnvelopingAlgebra 894CanonicalAlgebra 895CartanMatrix 896Center 897CoxeterMatrix 898CoxeterPolynomial 899DirectSumOfModules 900EnvelopingAlgebra 901FullSubquiver 902IndecProjectiveModules, added properties: IsIndecomposableModule, 903 IsProjectiveModule 904IndecInjectiveModules, added properties: IsIndecomposableModule, 905 IsInjectiveModule 906IsSchurianAlgebra 907IsSymmetricAlgebra 908IsWeaklySymmetricAlgebra 909LoewyLength 910NakayamaAlgebra 911OriginalPathAlgebra 912RightModuleOverPathAlgebra 913SimpleModules, added properties: IsSimpleModule 914TensorProductOfAlgebras 915VerticesOfPathAlgebra 916 917Fixed bugs in: 918---------------------------------------------------------------------- 919 920None 921 922Documentation: 923---------------------------------------------------------------------- 924 925Documentation was added and updated. 926 927 928Changes in function names: 929Old name -------> New name 930------------------------------------------------------------ 931 932None 933 934Synonyms 935------------------------------------------------------------ 936 937None 938 939Discontinued functions: 940------------------------------------------------------------ 941 942None 943 944 945Miscellaneous 946------------------------------------------------------------ 947None 948 949 950========================================================================== 951Changes from version 1.10 to 1.11: 952========================================================================== 953 954Added structures in this release: 955---------------------------------------------------------------------- 956 957None 958 959Added functions in this release: 960---------------------------------------------------------------------- 961 962A new way for constructing a quotient of a path algebra, 963BasicVersionOfModule 964BlockSplittingIdempotents 965BlockDecompositionOfModule 966ConnectedComponents 967FullSubquiver 968IsUAcyclicQuiver 969IsDynkinQuiver 970IsSchurianAlgebra 971IsSemiCommutativeAlgebra 972IyamaGenerator 973RightAlgebraModuleToPathAlgebraMatModule 974 975Changed code for: 976---------------------------------------------------------------------- 977 978RadicalOfModule, SocleOfModule, RadicalSeries and SocleSeries changed 979from attributes to operations. Merged the two commands ExtOverAlgebra 980and ExtOverAlgebraAdd. Changed the order of the arguments in 981NakayamaAlgebra. 982 983Fixed bugs in: 984---------------------------------------------------------------------- 985 986IsAdmissibleIdeal 987 988Documentation: 989---------------------------------------------------------------------- 990 991Documentation was added and updated. 992 993The code is better documented with most functions getting a header 994with a short explanation of the code. 995 996A short introduction was added with general aims and information 997about installation and system requirements, and the old introduction 998is now called Quickstart. 999 1000An abstract was added and the frontpage was modified. 1001 1002Changes in function names: 1003Old name -------> New name 1004------------------------------------------------------------ 1005 1006AlgebraAsModuleOfEnvelopingAlgebra ---> 1007 AlgebraAsModuleOverEnvelopingAlgebra 1008 1009Synonyms 1010------------------------------------------------------------ 1011 1012AlgebraAsModuleOfEnvelopingAlgebra ~ 1013 AlgebraAsModuleOverEnvelopingAlgebra 1014 1015 1016Discontinued functions: 1017------------------------------------------------------------ 1018 1019None 1020 1021 1022Miscellaneous 1023------------------------------------------------------------ 1024Updated the gi-files in the gap-directory by adding headers and 1025comments in the code. 1026 1027Started to add the examples from the documentation in to separate 1028files in the examples/ directory. 1029 1030Deleted the old example files, comp-examples.txt and examples.txt. 1031 1032Renamed the tests directory to "tst". 1033 1034Moved the gap directory to a lib directory. Changed the paths in the 1035init.g and read.g files from gap/? to lib/?. 1036 1037Added a CHANGES file to the root directory. 1038 1039We have packed the reduced the size of the packed distribution of QPA 1040by only including the files in the git repository. That means, for 1041instance, that the PDF file of the manual is not included in the 1042packed distribution. However you can find it on the homepage: 1043 1044 http://www.math.ntnu.no/~oyvinso/QPA/ 1045 1046We are planning to move from GAP 4.4 to GAP 4.6. The reason for doing 1047this is that this opens new possibilities. For instance, it would then 1048be easier to add functions like ComplexityOfModule, etc. So we advise 1049to install GAP 4.6. 1050 1051========================================================================== 1052Changes from version 1.09 to 1.10: 1053========================================================================== 1054 1055Added structures in this release: 1056---------------------------------------------------------------------- 1057 1058None 1059 1060Added functions in this release: 1061---------------------------------------------------------------------- 1062 1063IsConnectedQuiver 1064IsFiniteTypeAlgebra 1065IsTreeQuiver 1066 1067Changed code for: 1068---------------------------------------------------------------------- 1069 1070Some simplifications of the code here and there. 1071 1072Fixed bugs in: 1073---------------------------------------------------------------------- 1074 1075For some functions in the file derivedcat.gi. 1076 1077Documentation: 1078---------------------------------------------------------------------- 1079 1080A new introduction in the documentation has been written. 1081Documentation was added and updated. This is the major change in this 1082release. A lot of work has gone into making the documentation better. 1083Still more work left. Also some of the code is better documented. 1084 1085Changes in function names: 1086Old name -------> New name 1087------------------------------------------------------------ 1088No changes 1089 1090Synonyms 1091------------------------------------------------------------ 1092No changes 1093 1094Discontinued functions: 1095------------------------------------------------------------ 1096 1097Deleting the function Square as it was in conflict with GAP 4.5.?. 1098 1099Miscellaneous 1100------------------------------------------------------------ 1101Deleted files and changed names on some of files in the repository. 1102Updated the gi-files in the gap-directory by adding headers and 1103comments in the code. 1104 1105PackageInfo.g-file has been updated. 1106 1107The CVS repository is no longer updated. We have switched to a GIT 1108repository. Look at the web page 1109 1110 www.math.ntnu.no/~oyvinso/QPA/ 1111 1112for further information how to use this repository. 1113 1114 1115========================================================================== 1116Changes from version 1.08 to 1.09: 1117========================================================================== 1118 1119Added structures in this release: 1120---------------------------------------------------------------------- 1121 1122None 1123 1124Added functions in this release: 1125---------------------------------------------------------------------- 1126 1127AnnihilatorOfModule 1128CutComplexAbove 1129CutComplexBelow 1130DecomposeModuleWithMultiplicities. 1131EndModuloProjOverAlgebra 1132HomFactoringThroughProjOverAlgebra 1133IntersectionOfSubmodules 1134PredecessorOfModule 1135ProductOfIdeals 1136ProjetiveResolutionOfPathAlgebraModule 1137 (will probably change to ProjectiveGSZResolutionOfPathAlgebraModule) 1138SumOfSubmodules 1139 1140Changed code for: 1141---------------------------------------------------------------------- 1142 1143DecomposeModule 1144 1145Changed the definition of some functions with respect to being an 1146attribute, a property, etc. 1147 1148Fixed bugs in: 1149---------------------------------------------------------------------- 1150 1151LeftDivision 1152PredecessorOfModule 1153 1154Documentation: 1155---------------------------------------------------------------------- 1156 1157Documentation was added and updated. 1158 1159---------------------------------------------------------------------- 1160 1161Changes in function names: 1162 1163Old name -------> New name 1164------------------------------------------------------------ 1165No changes 1166 1167Synonyms 1168------------------------------------------------------------ 1169No changes 1170 1171Discontinued functions: 1172------------------------------------------------------------ 1173 1174Deleting one version of DecomposeModule 1175 1176Miscellaneous 1177------------------------------------------------------------ 1178 1179Updated banner. 1180This is (probably) the last time we update the cvs repository. 1181We will now start using a git repository instead. More on this 1182later. 1183 1184 1185========================================================================== 1186Changes from version 1.07 to 1.08: 1187========================================================================== 1188 1189Added structures in this release: 1190---------------------------------------------------------------------- 1191 1192Ideals in a path algebra, IsIdealInPathAlgebra. 1193 1194Added functions in this release: 1195---------------------------------------------------------------------- 1196 1197AnnihilatorOfModule 1198CanonicalAlgebra 1199DecomposeModuleWithMultiplicities 1200ElementOfPathAlgebra 1201ExtAlgebraGenerators 1202IntersectionOfSubmodules 1203IsAdmissibleIdeal 1204IsIdealInPathAlgebra 1205IsInjectiveComplex 1206IsMonomialIdeal 1207IsProjectiveComplex 1208IsSpecialBiserialQuiver 1209IsSpecialBiserialAlgebra 1210IsStringAlgebra 1211IsSymmetricAlgebra 1212IsWeaklySymmetricAlgebra 1213KroneckerAlgebra 1214PredecessorsOfModule 1215ProductOfIdeals 1216ProjectiveResolution 1217ProjectiveResolutionOfComplex 1218ProjectiveToInjectiveComplex 1219ShiftUnsigned 1220SumOfSubmodules 1221TauOfComplex 1222 1223Changed code for: 1224---------------------------------------------------------------------- 1225 12261stSyzygy 1227AlgebraAsModuleOfEnvelopingAlgebra 1228AlmostSplitSequence 1229CoxeterMatrix 1230CoxeterPolynomial 1231DecomposeModule 1232DTr, TrD 1233DualOfModuleHomomorphism 1234EndOverAlgebra 1235IndecInjectiveModules 1236IndecProjectiveModules 1237IsInjectiveModule 1238IsLeftMinimal 1239IsProjectiveModule 1240IsRightMinimal 1241IsSimpleModule 1242IsSemisimpleModule 1243IsSelfinjectiveAlgebra 1244LeftMinimalVersion 1245LoewyLength 1246NontipSize 1247OriginalPathAlgebra 1248RadicalOfModule 1249RadicalOfModuleInclusion 1250RadicalSeries 1251RightMinimalVersion 1252SimpleModules 1253SocleOfModule 1254SocleOfModuleInclusion 1255SocleSeries 1256TopOfModule 1257TopOfModuleProjection 1258TransposeOfModule 1259ZeroModule (the above were operations, now attr or prop) 1260Display, PrintObj, ViewObj (for quivers, path algebras, quotient of 1261 path algebras, modules and homomorphisms) 1262\in (for elements in a path algebra) 1263MinimalGeneratingSetOfModule 1264 1265Fixed bugs in: 1266---------------------------------------------------------------------- 1267 1268ExtOverAlgebra 1269ExtOverAlgebraAdd 1270IndecInjectiveModules 1271IsFiniteDimensional 1272LoewyLength (for an algebra) 1273SimpleModules 1274TopOfModuleProjection 1275 1276Documentation: 1277---------------------------------------------------------------------- 1278 1279Documentation was added and updated. 1280 1281---------------------------------------------------------------------- 1282 1283Changes in function names: 1284 1285Old name -------> New name 1286------------------------------------------------------------ 1287SingleObjectComplex ---------> StalkComplex 1288 1289Synonyms 1290------------------------------------------------------------ 1291No changes 1292 1293Discontinued functions: 1294------------------------------------------------------------ 1295No discontinued functions. 1296 1297========================================================================== 1298Changes from version 1.06 to 1.07: 1299========================================================================== 1300 1301Added structures in this release: 1302---------------------------------------------------------------------- 1303 1304Representation of chain complexes and chain maps. The code is 1305unfinished, not tested much, and almost not documented at all. 1306 1307Added functions in this release: 1308---------------------------------------------------------------------- 1309 1310IsEnvelopingAlgebra 1311LiftingMorphismFromProjective 1312LiftingInclusionMorphisms 1313MatricesOfPathAlgebraMatModuleHomomorphism 1314MorphismOnKernel 1315MorphismOnImage 1316MorphismOnCokernel 1317RightModuleOverPathAlgebra - new version of this operation 1318 1319Changed code for: 1320---------------------------------------------------------------------- 1321 1322MatricesOfPathAlgebraModule 1323CommonDirectSummand 1324DecomposeModule - however no guarantee that this actually computes a 1325 decomposition of the module. Have not checked the 1326 mathematics behind the algorithms. 1327 1328Fixed bugs: 1329---------------------------------------------------------------------- 1330 1331Fixed a bug in SimpleModules 1332Fixed a bug in IsomorphicModules 1333 1334Documentation: 1335---------------------------------------------------------------------- 1336 1337Chapter 2, 3, 4 and 7 are updated. 1338 1339---------------------------------------------------------------------- 1340 1341Changes in function names: 1342 1343Old name -------> New name 1344------------------------------------------------------------ 1345Coker -------> CoKernel 1346CokerProjection -------> CoKernelProjection 1347DimensionMatModule -------> Dimension 1348DirectSumOfPathAlgebraMatModules -------> DirectSumOfModules 1349DualOfPathAlgebraMatModule -------> DualOfModule 1350DualOfPathAlgebraMatModuleMap -------> DualOfModuleHomomorphism 1351ElementOfFpPathAlgebra -------> ElementOfQuotientOfPathAlgebra 1352EndOverPathAlgebra -------> EndOverAlgebra 1353ExtOne -------> ExtOverAlgebra 13541st_Syzygy -------> 1stSyzygy 1355HomOverPathAlgebra -------> HomOverAlgebra 1356IdentityMap -------> IdentityMapping 1357Im -------> Image 1358ImInclusion -------> ImageInclusion 1359ImProjection -------> ImageProjection 1360ImProjectionInclusion -------> ImageProjectionInclusion 1361InAdditiveClosureTest -------> IsInAdditiveClosure 1362IndecomposableInjectiveRepresentations -------> IndecInjectiveModules 1363IndecomposableProjectiveRepresentations -------> IndecProjectiveModules 1364IsAcyclic -------> IsAcyclicQuiver 1365IsDirectSum -------> IsDirectSumOfModules 1366IsElementOfFpPathAlgebra -------> IsElementOfQuotientOfPathAlgebra 1367IsHomogenousGroebnerBasis -------> IsHomogeneousGroebnerBasis 1368IsIsom -------> IsIsomorphism 1369IsPathAlgebraMatModuleMap -------> IsPathAlgebraModuleHomomorphism 1370IsOnto -------> IsSurjective 1371IsOneToOne -------> IsInjective 1372IsSelfinjective -------> IsSelfinjectiveAlgebra 1373IsSplitEpi -------> IsSplitEpimorphism 1374IsSplitMono -------> IsSplitMonomorphism 1375IsSubalgebraFpPathAlgebra -------> IsQuotientOfPathAlgebra 1376IsZeroMap -------> IsZero 1377Ker -------> Kernel 1378KerInclusion -------> KernelInclusion 1379MatricesOfPathAlgebraMatModule -------> MatricesOfPathAlgebraModule 1380MinimalSetOfGenerators -------> MinimalGeneratingSetOfModule 1381ModuleIsomorphismTest -------> IsomorphicModules 1382nth_Syzygy -------> NthSyzygy 1383nth_SyzygyNC -------> NthSyzygyNC 1384nthPowerOfArrowIdeal -------> NthPowerOfArrowIdeal 1385OrderOfQuiver -------> NumberOfVertices 1386PreImageElm -------> PreImagesRepresentative 1387RadicalOfRep -------> RadicalOfModule 1388RadicalOfRepInclusion -------> RadicalOfModuleInclusion 1389RightModuleOverPathAlgebra -------> Make both one function with name: 1390RightModuleOverQuotientOfPathAlgebra -------> RightModuleOverPathAlgebra 1391SizeOfQuiver -------> NumberOfArrows 1392SocleOfPathAlgebraMatModule -------> SocleOfModule 1393SocleOfPathAlgebraMatModuleInclusion -------> SocleOfModuleInclusion 1394SubRep -------> SubRepresentation 1395SubRepInclusion -------> SubRepresentationInclusion 1396TopOfRep -------> TopOfModule 1397TopOfRepProjection -------> TopOfModuleProjection 1398VertexSimpleRepresentations -------> SimpleModules 1399ZeroRepresentation -------> ZeroModule 1400 1401Synonyms 1402------------------------------------------------------------ 1403DTr -------> DualOfTranspose 1404TrD -------> TransposeOfDual 1405 1406Discontinued functions: 1407------------------------------------------------------------ 1408GeneratorsOfRep -------> MinimalGeneratorsOfModule 1409 1410========================================================================== 1411Changes from version 1.05 to 1.06: 1412========================================================================== 1413 1414Added functions in this release: 1415 1416SupportModuleElement - finds the vertices where the module element has 1417 support. 1418 1419BasisOfProjectives - finds the basis that is used to compute the 1420 indecomposable projective modules. 1421 1422VertexPosition - finds the position of a vertex in the list of vertices 1423 1424HomFromProjective - given an element in a module with only support in one 1425 vertex, this function finds the homomorphism from the 1426 indecomposable projective corresponding to this vertex 1427 onto the given element. 1428 1429ProjectiveCover - finds the projective cover of a module, ie. the 1430 homomorphism P(M) ---> M 1431 1432ExtOne - computes Ext^1(M,N) for two modules M and N. 1433 1434AlmostSplitSequence - computes the almost split sequence ending in an 1435 indecomposable non-projective module. 1436 1437In addition: 14381) a number of bug fixes to older functions. 14392) documentation is updated, but still a long way from being called good. 1440 1441========================================================================== 1442Changes from version 1.04 to 1.05: 1443========================================================================== 1444 14451. Fixed bugs in the functions HomOverPathAlgebra, ModuleIsomorphismTest, 1446 DirectSummandTest and IdentityMap. 1447 14482. Added the functions CommonDirectSummand, MaximalCommonDirectSummand, 1449 InAdditiveClosureTest, IsSplitMono, IsSplitEpi, RightMinimalVersion, 1450 LeftMinimalVersion, MinimalRightApproximation, MinimalLeftApproximation, 1451 IsQuadraticIdeal and QuadraticPerpOfPathAlgebraIdeal. 1452 14533. Updated the documentation/manual. 1454