2000-12-10 Nicolas M. Thiéry * NEWS: News for PerMuVAR 1.0.0. * configure.in: Switched to version 1.0.0. * README.in: Update for version 1.0.0 / MuPAD 2.0. * share/lib/LIBFILES/Options.mu, share/lib/PERMUVAR/options.mu, share/lib/PERMUVAR/ftime.mu, share/lib/PERMUVAR/comphead.mu, share/lib/LIBFILES/PerMuVAR.mu, share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, share/lib/DOMAINS/DOMAIN/IMonAlg.mu: Regrouped the utilities parseOptions, computationHeader and formatTime inside the newly created domain PerMuVAR. * share/lib/DOMAINS/DOMAIN/PermGrpE.mu, share/lib/DOMAINS/DOMAIN/PermGrp.mu, share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, share/lib/DOMAINS/DOMAIN/IMonAlg.mu, share/lib/DOMAINS/CATEGORY/PermGrp.mu, share/lib/DOMAINS/DOMAIN/PGrpMod.mu, share/lib/DOMAINS/CATEGORY/PGrpIRng.mu, share/lib/DOMAINS/CATEGORY/FGrpIRng.mu, TEST/SymGrp.tst, TEST/PermGrp.tst, TEST/PGrpSets.tst, TEST/PGrpProd.tst, TEST/PGrpMod.tst, TEST/PGrpIRng.tst, TEST/IMonAlg.tst, TEST/AltGrp.tst, mypermuvar.mu, Tutorial.mu: - Fixed tests misc::checkLib -> prog::check. - Fixed many non local variables & such found with prog::check. - DegreeBound, degreeLowerBound, fastGroup are now methods instead of regular entries. It's cleaner, more robust, and it avoids their computations when using allEntries. * TEST/PGrpIRng.tst: Removed useless calls to fastGroup. * TEST/mupadinit: Hack to avoid the warnings about GLIP and PerMUVAR being global variables. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: Added characteristic entry to make it a proper Cat::Ring. Added comment about possible definition of _invert. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Use the new characteristic entry defined in IMonAlg.mu. * share/lib/LIBFILES/Garsia.mu, share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: - Redefinition of fineChainTable and such as methods instead of domain entries, to avoid computing them when asking for dom::allEntries(). * share/lib/DOMAINS/DOMAIN/GrfMod.mu, share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: Reindentation. * bootstrap: Mini bug fix. * GLIP/GLIP/PermutationGroup.h: Expanded comment for the restriction of closure to non-empty lists. * TEST/PermGrp.tst: Added test for method allElements when there are no generators. * share/lib/DOMAINS/DOMAIN/PermGrp.mu: Bug fix: method allElements was returning the empty list when there were no generators, instead of a list with just the identity. * share/lib/DOMAINS/DOMAIN/PermGrpE.mu: Bug fix: GLIP::new is now called properly when there are no generators. * GLIPmod/GLIP.cc: Raises a MuPAD error when GLIP::new is called with an empty list. This avoids the assertion failed crash in GLIP::closure. * Tutorial.mu: Fixed incorrect call to Dom::PermutationGroupDirectProduct. Minor update for MuPAD 2.0. * mypermuvar.mu: Update for MuPAD 2.0: LIB_PATH -> LIBPATH Don't modify LIBPATH anymore. This should be done in userinit. * QuickInstall: Update for MuPAD 2.0: - LIB_PATH -> LIBPATH, ... * TEST/Makefile.am: Update for MuPAD 2.0: - LIB_PATH -> LIBPATH, ... - add quit at the end of the test (no fully functionnal). * TEST/mupadinit: Update for MuPAD 2.0: - Use the new function names from the combinat package - (bla::ble)::bli -> bla::ble::bli - Enhanced type checking. Fix of some bugs that showed up there. - fun -> proc - $ hold(i) = -> $ i = - LIB_PATH -> LIBPATH, ... - testargs -> Pref::typeCheck * share/lib/LIBFILES/isil-combinat.mu: Update for MuPAD 2.0: - Enhanced type checking. Fix of some bugs that showed up there. - fun -> proc - $ hold(i) = -> $ i = - map([...], x->(dom::...)) -> [ dom::...(x), $ x in [...] ] (dom is not known in subfunctions of domain methods). In general, more use of '$ x in [...]'. New function: - combinat::polynomialRingSeries * TEST/PGrpIRng.tst: New tests: - variables, poly * share/lib/LIBFILES/Secondary.mu, share/lib/LIBFILES/PerMuVAR.mu, share/lib/LIBFILES/Options.mu, share/lib/LIBFILES/LinPol.mu, share/lib/LIBFILES/Garsia.mu, share/lib/DOMAINS/DOMAIN/SymGrp.mu, share/lib/DOMAINS/DOMAIN/PermGrpE.mu, share/lib/DOMAINS/DOMAIN/PermGrp.mu, share/lib/DOMAINS/DOMAIN/PGrpSets.mu, share/lib/DOMAINS/DOMAIN/PGrpProd.mu, share/lib/DOMAINS/DOMAIN/PGrpMod.mu, share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, share/lib/DOMAINS/DOMAIN/IMonAlg.mu, share/lib/DOMAINS/DOMAIN/HyGrfMod.mu, share/lib/DOMAINS/DOMAIN/GrfMod.mu, share/lib/DOMAINS/DOMAIN/DiGrfMod.mu, share/lib/DOMAINS/DOMAIN/BiGrfMod.mu, share/lib/DOMAINS/DOMAIN/AltGrp.mu, share/lib/DOMAINS/CATEGORY/SemiGrp.mu, share/lib/DOMAINS/CATEGORY/PermGrp.mu, share/lib/DOMAINS/CATEGORY/PGrpMod.mu, share/lib/DOMAINS/CATEGORY/PGrpIRng.mu, share/lib/DOMAINS/CATEGORY/GrfMod.mu, share/lib/DOMAINS/CATEGORY/FGrpMod.mu, share/lib/DOMAINS/CATEGORY/FGrpIRng.mu, TEST/PermGrp.tst, TEST/PGrpMod.tst, TEST/IMonAlg.tst, TEST/PGrpIRng.tst:: Update for MuPAD 2.0: - Use the new function names from the combinat package - (bla::ble)::bli -> bla::ble::bli - Domains / categories syntax - dom -> this - Enhanced type checking. Fix of some bugs that showed up there. - fun -> proc - $ hold(i) = -> $ i = - map([...], x->(dom::...)) -> [ dom::...(x), $ x in [...] ] (dom is not known in subfunctions of domain methods). In general, more use of '$ x in [...]'. * TEST/isil-combinat.tst, TEST/SymGrp.tst, TEST/PermGrp.tst, TEST/PGrpSets.tst, TEST/PGrpProd.tst, TEST/PGrpMod.tst, TEST/PGrpIRng.tst, TEST/IMonAlg.tst, TEST/AltGrp.tst, MAPITL/TEST/MAPITL.tst, GLIPmod/TEST/GLIP.tst: Update for MuPAD 2.0: misc::test -> prog::test * MAPITL/TEST/MAPITL.tst, GLIPmod/TEST/Makefile.am, GLIPmod/TEST/GLIP.tst: Update for MuPAD 2.0: - LIB_PATH -> LIBPATH, ... - add quit at the end of the tests (not fully functionnal). - ... * GLIP/GLIP/Partitions.h: Bug fix (compile error with gcc 2.96): Partitions::pointer and such were private. * GLIP/PermutationGroup.cc: Fixed warning about implicit double -> int conversion by using an integer division. * share/lib/LIBFILES/isil-combinat.mu, TEST/isil-combinat.tst: Removed routines that are now in the "official" combinat package. 2000-12-04 Nicolas M. Thiéry * NEWS: News for PerMuVAR 0.999.3. * configure.in: Switched to version 0.999.3. * share/lib/LIBFILES/isil-combinat.mu: Bug fix for subcompositions with a second argument. Fixed typos. * share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: modified method: - fineChainSeries: removed the requirement that combinat::subcompositions returns the empty composition and the full composition respectively first and last. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, TEST/PGrpIRng.tst: Modified methods: - elementary and powersum rewritten to use basisMonomial. This fixes: - incorrect powersum for non transitive groups - incorrect elementary (was broken when GLIP started returning binary lists as lists of booleans). * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Bug fix in canonicBinaryLists. 2000-12-01 Nicolas M. Thiéry * share/lib/LIBFILES/isil-combinat.mu: Added optional second argument to combinat::subcompositions, for producing subcompositions of a given sum. * TEST/mupadinit: Added aliases Tn (trivial group) and SnVm (vector invariants of Sn). * share/lib/DOMAINS/DOMAIN/PermGrpE.mu, TEST/PermGrp.tst: Bug fix: Dom::PermutationGroup_External::canonicbinaryLists was returning lists of booleans instead of lists of 0s and 1s. 2000-11-23 Nicolas M. Thiéry * NEWS: News for PerMuVAR 0.999.2. * configure.in: Switched to version 0.999.2. * TODO: Update. * index.html.in: Improvement of the documentation. Reference to Medicis. Reference to the workshop. * QuickInstall: Typo fixes, and extra explanations as suggested by E. Schost. * configure.in: Improvement of the documentation. * mypermuvar.mu: Typo fix. * Makefile.am: Removed Logs from EXTRA_DIST, since it's already in PKG_DOC. Split install-data-hook into install-data-hook and install-data-local. Reference to the Goat book. SourceForge goodies in a separate section. * TEST/PGrpIRng.tst: Modified test for degreeBound (improved result in the Gorenstein case). More tests for degreeBoundIsOptimal(). New test for numberOfSecondaryInvariants(). * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Modified method: - degree bound: improvement in the Gorenstein case. Removed method: - secondaryInvariantsMaxDegree (->Cat::permutationGroupInvariantRing) * share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: Modified methods: - numberOfSecondaryInvariants: without arguments, returns the total number of secondary invariants. New method: - secondaryInvariantsMaxDegree (taken from Dom::PermuvationGroupInvariantRing) 2000-10-27 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Bug fix: - formatTime was counting days and weeks incorrectly. Changes: - MinimalGeneratingSetDegree and secondaryInvariantsShowStats now display the statistics summary for gnuplot before the rest of the statistics. 2000-10-14 Nicolas M. Thiéry * NEWS: News for PerMuVAR 0.999.1 (con't). * TEST/isil-combinat.tst: Added tests for numberOfSetPartitionsColoring and listFibers2Partition. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu, BUGS: Bug "fix": PGrpMod reports an error when the dimension is 1 instead of being silently buggy due to a special case implementation of Dom::Product. * mypermuvar.mu: Fix. * Makefile.am: Added a minimal web page for SourceForge. New utilities: SFweb and SFupdate. * index.html.in, configure.in: Added a minimal web page for SourceForge. * Tutorial.mu: Fixed table of contents. * Makefile.am: Removed useless quickinst. * QuickInstall: Rework of the installation procedure: - If configure is called with the option --enable-glip, the dynamic module is compiled from the sources in MAPITL/, GLIP, and GLIPmod/, as part of the configure/make/make check/make install procedure. - Update of the documentation accordingly. - Removed useless QuickStart. * TEST/Makefile.am: Fixed the conditional setting of check that automake did not like * share/lib/DOMAINS/DOMAIN/TBasis.mu: Useless now that the routines have been integrated in PGrpIRng.mu. 2000-10-13 Nicolas M. Thiéry * configure.in, Makefile.am: Removed reference to inexistent Quickstart file. * TEST/Makefile.am, configure.in, Makefile.am, QuickStart, README.in, TODO, Tutorial.mu: Rework of the installation procedure: - If configure is called with the option --enable-glip, the dynamic module is compiled from the sources in MAPITL/, GLIP, and GLIPmod/, as part of the configure/make/make check/make install procedure. - Update of the documentation accordingly. - Removed useless QuickStart. 2000-10-12 Nicolas M. Thiéry * TEST/PermGrp.tst, share/lib/DOMAINS/CATEGORY/PermGrp.mu: Bug fix: canonicListsByShape was expected to return a list. * share/lib/LIBFILES/isil-combinat.mu: Fixed non local variable. * TEST/PGrpIRng.tst: Bug fix: the order of the elements in the secondary invariants is not guaranted to be fixed. Don't complain about this. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: New method: poly * Makefile.am, configure.in, Benchmark, QuickStart, mypermuvar.mu, Tutorial.mu: Added documentation: - Benchmark - Tutorial.mu - mypermuvar.mu * README.in: Requirements and documentation sections. Reference to the tutorial. 2000-10-11 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: secondaryInvariants: sets isCohenMacaulay to FALSE if a relation is detected between the secondary invariants. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Userinfo. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Bug fixes: - this::secondaryInvariants typo in function call - irreducibleSecondaryInvariants, decomposableBasis_LinearAlgebra: unused local / use global variable * NEWS: News for PerMuVAR 0.999.1. 2000-10-10 Nicolas M. Thiéry * configure.in: Switched to version 0.999.1 * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: More compact user information for minimal generating set. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, TEST/PGrpIRng.tst: New entries: - isModular Modified entries: - isCohenMacaulay: uses isModular - degreeBound: try to use the size of the group to enhance the degree bound More user information (updates of the degree bound, constructInitialPoset). * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Bug fix: - Rewrote tests for this::isCohenMacaulay as this::isCohenMacaulay=TRUE to allow for the UNKNOW value. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: New methods: isDecomposable * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Renamed methods: - normalfSAGBI -> normalfModNonPrimes: + doc New methods: - decomposablesModNonPrimes - normalfModDecomposables - isGeneratingSetDegree - isGeneragingSet Modified methods: - minimalGeneratingSet: sets decomposablesModNonPrimes as side effect; added d>this::degreeBound as a special case. - irreducibleSecondaryInvariants: added d>this::degreeBound as a special case. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Bug fix: degreeBound incorrect default value for dimen <3. - algebraBasis renamed to indecomposablesBasis; it also calls idealBasis directly. * TEST/PGrpIRng.tst: Bug fix: degreeBound incorrect default value for dimen <3. * TEST/SymGrp.tst: Fixed buggy test for generators. * BUGS, share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, TEST/PGrpIRng.tst: Bug fixes: - parseOptions: all the options were ignored! - minimalGeneratingSet: degreeBound was not updated correctly when the option maxDegree was used. Also removed the update of degreeLowerBound, which is done by minimalGeneratingSetDegree. - secondaryInvariants: removed never used code in the update of the degree bound. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, TEST/PGrpIRng.tst: Bug Fix: - degreeBound: was incorrect when some primary invariants were of higher degree than the secondary invariants. 2000-10-09 Nicolas M. Thiéry * TEST/PGrpIRng.tst: New tests: - smallPrimeDivisors, aDivisor, prime. - constructInitialPoset with the above. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: Fixed typo in method divides which was broken with the chain product. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Modified methods: - constructInitialPoset: also initializes isLCM and LCMS, and make sure it has been called for lower degrees. - SPair, normalfSAGBI: avoid computation of lcoeff, which is known to be 1 for products of orbit sums - minimalGeneratingSet: Only computes SPairs arising from smallPrimeDivisors. This seems to remove almost all SPairs which reduce to zero. Not proved to be correct! Use LCMPartition. Don't set this::primes. This is done by constructInitialPoset. Display the date as part of the statistics Bug fixes: - LCMS: argument types were incorrect - constructInitialPoset:: this::aDivisor was not always set - minimalGeneratingSet: check for option as first argument was incorrect Was not calling constructInitialPoset properly New method: - LCMPartition More documentation about assertions. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Stricter type checking: DOM_INT -> Type::NonNegInt. Modified methods: - basisElements: added option remember - minimalGeneratingSetDegree calls constructInitialPoset, to speed up further normalfSAGBI computations New methods: - smallPrimeDivisors - primes_FromTop, primes_EratostheneSieve Two implementations of primes. primes_EratostheneSieve avoids calls to isCanonic, and is a little bit faster. By default, primes=primes_EratostheneSieve. - constructInitialPoset * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: The partition grouping of S-Pairs through LCMs does not work for the chain product. Disabled. It still seems to work for the usual product. Bug fix: isLCM has to be called for all elements to yield correct results later. That did not necessarily brake the algorithm, but could have slown it down later, by not removing certain S-Pairs. 2000-10-08 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Better time formating. Display the date as part of the statistics. * share/lib/LIBFILES/Garsia.mu: Extracted the main procedures for constructing secondary invariants with the chain product into Dom::PermutationGroupInvariantRing. There just remains here a few utilities. * TEST/PGrpIRng.tst: Added tests for: - numberOfSecondaryInvariants - secondaryInvariants with chain product - _mult with chain product - dimen - problem with generators and Dom::SymmetricGroup * TEST/SymGrp.tst: Added test for internal error with generator in debug mode. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: New method: - shapesByDegree Bug fixes: - Constructor: incorrect option parsing when only one option was provided. - numberOfBasisElements: incorrect call to series - symmetricMonomial: incorrect call to this::monomial. Fixed by simply using this::basisMonomials instead. - secondaryInvariants was calling secondaryInvariantsDegree instead of secondaryInvariantsShape for shape arguments. - Use nops(L)=0, instead of L<>[], so that the test works with lists as well as tables. - irreducibleSecondaryInvariants: = replaced by := in - secondaryInvariantsShowStats: counting of (irreducible) secondary invariants was buggy when there were only one such invariant. - idealBasis_LinearAlgebra, algebraBasis_LinearAlgebra: numberOfBasisMonomial replaced by numberOfBasisElements. - use of mult2 instead of _mult for faster product of 2 invariants. - secondaryInvariantsDegree_ChainProduct: subsetbydegree replaced by shapesByDegree - use of expr2text before sending a shape to userinfo - secondaryInvariantsShape: basisElements takes a shapeList, not a shapeSet! * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: Added argument type checking for monomial. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Fixed global variable. * TEST/mupadinit: Added Cn(n). * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Modified entries: - minimalGeneratingSetDegree: skips S-pairs that are known to reduce to 0 by the equivalent of proposition 10 p 106 of Ideals Varieties and Algorithms of Cox Little O'Shea. This is a huge saving. Bug Fix: - formatTime was completely buggy for times > 1 minute * share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: New methods: - symmetricMonomial (toBeDefined) - numberOfBasisElements (toBeDefined) - numberOfSecondaryInvariants * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Bug fix: - numberOfBasisElements was numberOfbasisElements, and was using coeff incorrectly on a non-series. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: Use of domains::repeatedSquaring for _power. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: More precise argument type cheching for several methods. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Integration of the routines of Garsia.mu for computation of secondary invariants for the chain product. Reorganisation to factor those computations with computations for the standard product. Major cleanup. Standardized use of HilbertSeries. No more passing around of dimensions for idealBasis and algebraBasis. New entries: - TypeOption TypeRowReducedList TypeShapeSet TypeShapeList TypeThisList: aliases for often used types. New methods: - shapeSet2List - numberOfBasisElements - symmetricMonomial - secondaryInvariantsDegree_ChainProduct, secondaryInvariantsShape, idealBasis_ChainProduct, algebraBasis_ChainProduct - algebraBasis_LinearAlgebra - setIrreducibleSecondaryInvariants, secondaryInvariantsShowStats: factor out stuff from the different routines for secondary invariants Renamed methods: - secondaryInvariantsDegree -> secondaryInvariantsDegree_LinearAlgebra standardization of the variables secondaries and irreducibles - idealBasis -> idealBasis_LinearAlgebra: makes the product of primary invariants using zip, _mult and _power Modified methods: - computationHeader: takes unlimited number of arguments - basisElements, basisMonomials: take a degree or shape as argument - idealBasis_* : takes a degree or shape, and returns a lbasis - algebraBasis_*: takes a degree or shape and a lbasis, and returns a lbasis Removed methods: - elimMultiChains, and corresponding options. Superseeded by minimalGeneratingSet. It did not compute true secondary invariants, and it did not accelerate so much the computation of irreducible secondary invariants. Bug fixes: - MinimalGeneratingSet returns elements of this instead of this::basis - Options are passed to the superdomain IMonAlg. 2000-10-02 Nicolas M. Thiéry * TEST/PermGrp.tst: Added tests for: - numberOfSetPartitionsOrbits - numberOfCanonicListsByShape Renamed group cyclic group G to C4. * share/lib/LIBFILES/isil-combinat.mu: Reverted name change for combinat::subcomposition. Will wait for global standardization. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: New domain function: - canonicListsByShape - numberOfSetPartitionOrbits - numberOfCanonicListsByShape * share/lib/DOMAINS/DOMAIN/PermGrpE.mu: New domain function: - canonicListsByShape * share/lib/LIBFILES/isil-combinat.mu: - Made all helper functions local variables to their main function - New functions: - combinat::numberOfSetPartitionsColoring - combinat::combinat::listFibers2Partition - combinat::elem renamed to combinat::elementary 2000-09-30 Nicolas M. Thiéry * share/lib/LIBFILES/LinPol.mu, share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, share/lib/DOMAINS/DOMAIN/IMonAlg.mu: - Transfered the following functions for the library LinPol.mu to the domain IMonAlg.mu: gaussNormalf -> GaussNormalf gaussInsert -> GaussInsert gauss -> GaussAugment (extended to take any number of invariants) gaussLsolve -> isGenerated_Gauss - Added caching possibility for lsupport, with a new constructor newWithLSupport for invariants that needs repetitive lsupport computations. - No more need to store separately the leading terms of lbasis's. an lbasis (or row-reduced list) is now simply a list of invariants. - Clean up, reorganisation and more documentation for IMonAlg.mu * TEST/PGrpIRng.tst: Added more tests using the invariant ring IG4 over graphs on 4 nodes. - SAGBI - minimalGeneratingSet - manual setting of degreeBound - minimalGeneratingSetInit New minimal tests: - isGorenstein, secondaryInvariantsMaxDegree - isPrime Renamed In in IA3. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Bug fixed entries: - normalfSAGBI: IG had not been replaced by this. New entry: - isGorenstein Modified entry: - secondaryInvariantsMaxDegree avoids the computation secondaryInvariantsSeries when the ring is Gorenstein. * TODO: Updated plus nicer presentation. * TEST/PGrpIRng.tst: Minimal new tests: - divides, SAGBI - minimalGeneratingSet - degreeBound, degreeBoundIsOptimal Updated versus the changes of PGrpIRng (HironakaDecomposition, ...). * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Major cleanup / reorganisation + more documentation. New entries: - basisMonomials - isPrime, aDivisor, divisors, isLCM, LCMS, SPair - primes, SAGBI - minimalGeneratingSet, minimalGeneratingSetInit, minimalGeneratingSetOptions, minimalGeneratingSetDefaultOptions, minimalGeneratingSetDegree, - secondaryInvariantsInit, secondaryInvariantsOptions, secondaryInvariantsDefaultOptions secondaryInvariantsDegree - degreeBound, degreeLowerBound, degreeBoundIsOptimal secondaryInvariantsMaxDegree - isCohenMacaulay Changed entries: - basisElements now returns elements of this::basis and not of this - primaryInvariantsDegrees is not anymore required to be sorted Temporary entries: - computationHeader, formatTime, parseOptions Removed entries: - HironakaDecomposition - primaryInvariantsSorted - basisElementsB Changed options: - "useHilbert" -> hold(useHilbertSeries). Replaced by isCohenMacaulay when used to decide if we trust the secondaryInvariantsSeries for the number of secondary invariants in each degree. - "elimMultiChains" -> hold(eliminateMultiChains) * TEST/Makefile.am: New dependencies check-glip and check-noglip for running the tests both with and without GLIP. * share/lib/DOMAINS/DOMAIN/HyGrfMod.mu, share/lib/DOMAINS/DOMAIN/GrfMod.mu: this::primaryInvariantsDegrees is now a domain variable instead of a domain function. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: - New method divides - Allow for indirect conversions (something -> basis -> this) even if testargs is false. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Updated documentation about the bugs and restrictions with term orderings. * share/lib/LIBFILES/LinPol.mu: - Removed MAXMEM crap. - Cleaned up userinfo levels. * share/lib/LIBFILES/PerMuVAR.mu: New global variable PerMuVAR::useGLIP. * share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: - this::primaryInvariantsDegrees is now a domain variable instead of a domain function. - indentation - New method setPrimaryInvariants - removed primaryInvariantsSorted - primaryInvariantsDegrees is not anymore required to be sorted. * share/lib/DOMAINS/CATEGORY/FGrpIRng.mu: this::primaryInvariantsDegrees is now a domain variable instead of a domain function. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Set default order to be lexicographic, in order to be compatible avec GLIP. 2000-09-27 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpProd.mu: Bug fix in method generators: generators of the form id x g and g x id were forgotten 2000-09-26 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: New entries: - basis - baseField * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Bug fix: powersum was using 1 instead of R::one as monomial coefficient * Makefile.am: Updated quickinst: - Added -O3 compilation option - Only compiles what's necessary, and cleanup what is not used afterward * TEST/mupadinit: Look for the dynamic module in TOPSRCDIR as well as in TOPSRCDIR/GLIPmod. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: Fixed unused local variable. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: - Finished to remove completely the archaic option 'invariantProduct'. This is not useful anymore, since one can pass any subgroup of Sn to Dom::PermutationGroupOnSets. - ADDTOREP isn't an alias anymore to avoid too much automatic duplication of code. Avoid call to Rmult as well. - Added iszero test to avoid bugs in non-zero characteristic. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: New methods, which call the equivalent methods of the underlying group: - orbitSet - orbitSize * share/lib/DOMAINS/DOMAIN/PermGrpE.mu: Reindentation. * share/lib/DOMAINS/CATEGORY/FGrpIRng.mu: New method: primaryInvariantsSeries(z) * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Added default implementation for orbitSet and orbitSize. * share/lib/DOMAINS/DOMAIN/PermGrpE.mu: New methods from GLIPmod: - orbit - orbitSet - orbitSize - automorphismGroupSize fastGroup desactivated. 2000-09-25 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/FGrpIRng.mu: Added method primaryInvariantsSeries. 2000-09-24 Nicolas M. Thiéry * Makefile.am: Added quickinst rule. Fixed uninstall which was not removing everything. Added GLIP GLIPmod and MAPITL to the distribution. Added doc Quick* to the distribution. * configure.in: Standardization of author name. * share/lib/LIBFILES/PerMuVAR.mu: By default, automatically choose between the two implementations of Dom::PermutationGroup, depending on the availability of the dynamic module GLIPmod. * TEST/mupadinit, TEST/Makefile.am: Bug fix: make distcheck did not work, because mupadinit and the dynamic module GLIP where not found. Added a few hacks to take $(srcdir) into account. * share/lib/DOMAINS/DOMAIN/PermGrpE.mu: Use of module GLIP instead of cperm. fastgroup element undefined. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: New method basisElementsB (name to be changed) 2000-09-23 Nicolas M. Thiéry * TEST/PGrpSets.tst, TEST/PGrpMod.tst, TEST/PGrpIRng.tst, TEST/IMonAlg.tst, TEST/PermGrp.tst Replaced ';' by ':' to avoid output of empty newlines. * TEST/PermGrp.tst, TEST/PGrpIRng.tst: Notes on further tests that would need to be done. * TEST/PGrpMod.tst: Name change in GLIPmod: canonics -> canonicCompositions. * AUTHORS, ChangeLog, configure.in, INSTALL, Makefile, Makefile.am, NEWS, QuickStart, THANKS, TODO: Use of autoconf/automake for configuration and installation. 2000-09-22 Nicolas M. Thiéry * README, README.in: Use of a template README. 2000-07-22 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: Replaced elem by elementary and elems by elementaries. Use by default this::powersums for the primary invariants. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Removed the canonic method from Dom::PGrpMod. Added method to Cat::PermutationGroup, with a faster implementation in Dom::PermutationGroup_External: - canonicCompositions - canonicBinaryLists Bug fix: this::dimen replaced this::card. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Removed the canonic method from Dom::PGrpMod. Added method to Cat::PermutationGroup, with a faster implementation in Dom::PermutationGroup_External: - canonicCompositions - canonicBinaryLists * share/lib/DOMAINS/DOMAIN/PermGrpE.mu: Wrappers around methods of the cperm module now transmit all the arguments. 2000-07-19 Nicolas M. Thiéry * TEST/PGrpSets.tst: Added a checkLib. * share/lib/DOMAINS/DOMAIN/PGrpSets.mu: Fixed buggy local variable. 2000-07-16 Nicolas M. Thiéry * TEST/mupadinit: Returns null at the end. * share/lib/LIBFILES/isil-combinat.mu: Use toBeDefined as generators for Dom::PermutationGroup. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: When testargs is true, the constructor puts the underlying element in canonical form before constructing a monomial. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu: Indentation and stuff. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Reindentation. Removed method canonics. It's replaced by the method canonicCompositions of Dom::PermutationGroup * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Uses Dom::SymmetricGroup instead of Dom::PermutationGroup for the full symmetric group. * share/lib/DOMAINS/DOMAIN/PermGrpE.mu, share/lib/DOMAINS/DOMAIN/PermGrp.mu, share/lib/LIBFILES/PerMuVAR.mu: Now two implementations of Dom::PermutationGroup are provided: - Dom::PermutationGroup_MuPAD, written purely in MuPAD - Dom::PermutationGroup_External, using an external dynamic module They can be called directly, or through a function Dom::PermutationGroup, which can be modified by the user. This function also checks if there is just one argument, and in this case returns a Dom::SymmetricGroup, so this does not need any more to be taken care inside Dom::PermutationGroup_*. * share/lib/DOMAINS/DOMAIN/PGrpProd.mu, share/lib/DOMAINS/DOMAIN/PGrpSets.mu: Provide toBeDefined as generators for Dom::PermutationGroup. * share/lib/DOMAINS/DOMAIN/AltGrp.mu: Bug fix in the generators entry. Provide toBeDefined as generators for Dom::PermutationGroup. * share/lib/DOMAINS/DOMAIN/SymGrp.mu: Bug fix in the construction of the generators. Provide toBeDefined as generators for Dom::PermutationGroup. 2000-06-30 Nicolas M. Thiéry * Makefile: Changed to revision 0.191. * TEST/PInvAlg.tst: Not needed any more since PGrpIRng has replaced PInvAlg. * TEST/PInvAlg.tst: Ooops, bad arguments for Dom::AlternatingGroup. * share/lib/DOMAINS/DOMAIN/PGrpSets.mu: cycleTypes is now a function with option remember instead of a domain variable. * TEST/IMonAlg.tst, TEST/PGrpMod.tst, TEST/PInvAlg.tst: Got rid of Dom::PermutationSubGroup, replaced by Dom::PermutationGroup. Use of Dom::AlternatingGroup. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, share/lib/DOMAINS/DOMAIN/PGrpProd.mu: Modified secondaryInvariants and irreducibleSecondaryInvariants, so that when called without arguments, they return a table with all the (irreducible) secondary invariants grouped by degree. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: Fixed bug in the selection of the scalar and the elements of the domain in a product, when testargs is FALSE. * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Not needed any more. Replaced by IMonAlg et PGrpInv. * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Fixed the selection of the terms in the product when testargs is FALSE. * share/lib/DOMAINS/DOMAIN/AltGrp.mu: Created and adapted from SymGrp.mu. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Fixed non-local variables. * share/lib/DOMAINS/DOMAIN/PermGrp.mu: Fixed bug (the generators where not initialized properly). * share/lib/LIBFILES/isil-combinat.mu: Added a modified version of combinat::cartesian which allows for lists as well as sets. * TEST/AltGrp.tst: Reasonnably complete test file created from SymGrp.tst. * TEST/PermGrp.tst, TEST/SymGrp.tst: Moved charPolynomial test from SymGrp.tst to PermGrp.tst * TEST/PGrpProd.tst: Reasonnably complete test file created from SymGrp.tst. * TEST/mupadinit: Use Dom::AlternatingGroup(); * TEST/SymGrp.tst: Removed tests for computations of products of permutations and such. * TEST/PermGrp.tst: Changed the tests from C3 to C4. Integrated more tests for computations of products of permutations and such. * share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: Fixed typo. * share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: Use by default secondaryInvariantsSeries_FromCycleTypes, which does not require gcd computations. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Fixed indentation. cycleTypes is now a function with option remember instead of a domain entry. * share/lib/LIBFILES/PerMuVAR.mu: Added the domains Dom::AlternatingGroup and Dom::PermutationGroupDirectProduct. Removed the domain Dom::PermutationSubGroup. Cleanup. * share/lib/DOMAINS/DOMAIN/PGrpSets.mu, share/lib/DOMAINS/DOMAIN/SymGrp.mu, TEST/PGrpSets.tst, TEST/SymGrp.tst: Now cycleTypes is a procedure with remember option, instead of a domain entry. That's cleaner. * TEST/PermGrp.tst, share/lib/DOMAINS/DOMAIN/PermGrp.mu, share/lib/DOMAINS/DOMAIN/PSubGrp.mu: Removed the domain Dom::PermutationSubGroup. Dom::PermutationGroup is now a domain for any group of permutations, and not only the symmetric group. For backward compatibility, if no generators are provided, the symmetric group is constructed. * share/lib/DOMAINS/DOMAIN/SymGrp.mu: Fixed non-local variable. Cleanup. * share/lib/LIBFILES/isil-combinat.mu: Use of userinfo instead of print. 2000-05-15 Nicolas M. Thiéry * Makefile: Oops. * TEST/PGrpIRng.tst: Use aliases defined by mupadinit for standard groups. Minimal test on the number of (irreducible) secondary invariants. * TEST/mupadinit: Ok, does not want to work with aliases, let's uses proc's instead. * TEST/mupadinit: Defined aliases for 3 classical permutation groups. * Makefile: Starting version 0.190. * share/lib/DOMAINS/DOMAIN/PGrpIRng.mu, share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: Functions for constructing secondary invariants (usual product, taken from Secondary.mu) integrated as methods into the new domain for invariant rings of permutation groups. Nicer formating of user information. 2000-05-12 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Fixed buggy use of global variables instead of parameters of the domain. 2000-05-11 Nicolas M. Thiéry * TEST/PGrpMod.tst: Added tests for - method canonics * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Added a method canonics(n). * share/lib/LIBFILES/Garsia.mu, share/lib/LIBFILES/Secondary.mu: fastgroup -> fastGroup * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: New isCanonic method. Removed unused non-local variable. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Removed the crap for remembering orbit size and stuff. New optimized methods isCanonic and orbit. fastgroup renamed to fastGroup. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Overloaded methods orbit and isCanonic to use those of the underlying group. * TEST/mupadinit: Added testargs(). * Makefile: Test stuff. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Removed procedure for fast computation of cycleType, since this will be inherited from Dom::PermutationGroupOnSets. * share/lib/LIBFILES/PerMuVAR.mu: Added Cat::PermutationGroupInvariantRing and Cat::FiniteGroupInvariantRing Added Dom::PermutationGroupInvariantRing. * TEST/PGrpIRng.tst: Tests for: - algebraic operations - hilbert series, secondary invariants series * TEST/IMonAlg.tst: Minor comment. * TEST/PermGrp.tst: Added tests for: - exportation to other CAS * TEST/SymGrp.tst: characteristicPolynomial renamed to charPolynomial. * share/lib/DOMAINS/CATEGORY/FGrpIRng.mu, share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: The secondary invariants series is now a polynomial with integer coefficients. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Fixed non local variable. * share/lib/DOMAINS/CATEGORY/FGrpMod.mu, share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Minor comma bug fix. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Removed all the crap about codes and stuff. * share/lib/DOMAINS/CATEGORY/PGrpIRng.mu: Expr2text is no more required in Invar and Invar2, since group::Invar and group::Invar2 now returns directly strings. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Bug fixes in the methods Invar and Invar2. * share/lib/DOMAINS/CATEGORY/FGrpIRng.mu, share/lib/DOMAINS/CATEGORY/FGrpMod.mu, share/lib/DOMAINS/CATEGORY/PermGrp.mu, share/lib/DOMAINS/CATEGORY/PGrpIRng.mu, share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Moved everything in PGrpMod and FGrpMod that really concerned invariant rings (primary and secondary invariants series, hilbert series, Invar, Invar2, Singular, ...) in the two new categories for invariant rings. Moved everything in PGrpMod that really concerned concerned the underlying permutation group (cycleTypes, ...) into PermGrp. Standardized charPoly into charPolynomial, as in linalg. * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: Removed crap about code, codebase & such. Removed remembering of canonics, orbits & such. Was too complicated. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Fixed non local variable. * share/lib/LIBFILES/PerMuVAR.mu: new Options function, and InvariantMonoidAlgebra domain. * share/lib/LIBFILES/Options.mu: First working version, inspired from its equivalent in GB.mu. Needs documentation. * TEST/PGrpMod.tst: Tests for: - orbit - orbitSize * TEST/IMonAlg.tst: Tests for: - Algebraic operations - chainProduct * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Minor bug fix in the doc. * share/lib/DOMAINS/DOMAIN/PermGrp.mu: Fixed non local variable. * share/lib/DOMAINS/DOMAIN/IMonAlg.mu: Recycled stuff from Dom::InvariantAlgebra. - data structure - algebraic operations Use of the Options routines to process the options: - chainProduct - invariantProduct - Standard * share/lib/DOMAINS/CATEGORY/SemiGrp.mu: Fixed non local variable. 2000-05-10 Nicolas M. Thiéry * TEST/PGrpSets.tst: Added tests for: - initialization from a table - canonical forms * TEST/PGrpMod.tst: Added tests for: - initialization from a table - total orders - group operations - shape operations - Algebraic operations - basic tests * TEST/PermGrp.tst: Added tests for: - Polya Enumeration - canonical forms - basic stuff * TEST/SymGrp.tst: Added tests for: - characteristic polynomial - action on integers and lists - canonical forms - products * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Removed the following methods which fit better in other domains or categories: - CharPoly, - convertGroup, - fastgroup Rewritten methods: - act, canonic Lexicographic order by default. New domain expressions: - basis, invertBasis Updated initialization from a table. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Moved some entries around. New methods stolen from Dom::PermutationGroupModule and such: - canonic (using private method fastgroup) - characteristicPolynomial. * share/lib/DOMAINS/DOMAIN/PermGrp.mu: Added conversion from a table (was formerly implemented in Dom::PermutationModule::convertGroup). * TEST/mupadinit: Basically loads PerMuVAR. * TEST/PGrpMod.tst, TEST/PInvAlg.tst: Very minimal tests. * TEST/PermGrp.tst, TEST/PGrpSets.tst, TEST/SymGrp.tst: Reasonably complete tests * Makefile: "check" dependency: - mupad is now run inside the directory TEST - nicer output * share/lib/LIBFILES/isil-combinat.mu: Added function combinat::cycleType2perm. * share/lib/LIBFILES/PerMuVAR.mu: Added the domain Dom::PermutationGroup and Dom::SymmetricGroup. * share/lib/DOMAINS/DOMAIN/SymGrp.mu: First version: - Inherits implementation from Dom::PermutationGroup - Defines properly the expression size, generators and allElements. - Redefine efficiently the cycleTypes method. * share/lib/DOMAINS/CATEGORY/PermGrp.mu, share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Methods cycleTypes, cycleIndicatorPoly, PolyaSubs and weightEnum moved from PGrpMod.mu to PermGrp. Reason: they can be defined using only the group, without a particular reference to some module on which the group acts. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Several bug fix: this::dimen was not defined, ... * share/lib/DOMAINS/DOMAIN/PGrpSets.mu: New method (stolen from GraphModule and HyperGraphModule): cycleTypes Bug fix: if testargs was false and the size of the subsets was given as an integer, this integer was not converted to a list. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Minor doc update. * share/lib/DOMAINS/CATEGORY/SemiGrp.mu: Better userinfo output. * share/lib/DOMAINS/DOMAIN/PSubGrp.mu: Added check for the number of arguments of the domain constructor. * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Bug fix in the doc. * Makefile: Added check dependency that runs all the tests TEST/*.tst. * share/lib/DOMAINS/DOMAIN/PGrpSets.mu: Bugware around MuPAD 1.4.2 bugs with _seqin sequences. Somewhat better type checking. 2000-05-09 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpSets.mu: First version, which is pretty complete for subsets. Code for loops and oriented subsets is still missing. Domain expressions: - set, size, generators, allElements, underlying Group Domain functions: - induced, act, func_call, generateSubsets (private) * share/lib/DOMAINS/DOMAIN/PermGrp.mu: Unused local variable. * README: Web page update. * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: Removed all the domains member that were actually concerning the group, and not the module. 2000-05-08 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Removed all the domains member that were actually concerning the group, and not the module. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Apparently, more cleanup. New domain functions: - act, actOnList, cycletype * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Use of Dom::PermutationGroupOnSet to create the group. A lot have been removed, since it's taken care of by this domain. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: A lot of further modifications. It seems to work more or less. Needs intensive cleanup and testing. * share/lib/DOMAINS/DOMAIN/PSubGrp.mu: Removed things that are now defined in Dom::PermutationGroup. * share/lib/DOMAINS/DOMAIN/PermGrp.mu: New domain expressions: set, card, generators New domain functions: act, actOnList Faster domain function _invert Cleaner domain allElements expression * share/lib/LIBFILES/PerMuVAR.mu: Added PermutationGroupOnSets. * share/lib/LIBFILES/LinPol.mu: Added BUG notice. To be investigated. 1999-08-10 Nicolas M. Thiéry * share/lib/LIBFILES/PerMuVAR.mu: Standardisation of the names of the domains categories and the corresponding files. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: GrapheModule -> GraphModule. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Start of cleanup. Changement of the arguments: It now takes a Cat::PermutationGroup. This version probably does not work at all. * share/lib/DOMAINS/DOMAIN/PSubGrp.mu: Cleanup in progress. - multiplicativeClosure -> Cat::SemiGroup * share/lib/DOMAINS/CATEGORY/PermGrp.mu: Cleanup in progress. * share/lib/DOMAINS/CATEGORY/GrfMod.mu: Clean-up in progress. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: The PolyaSubs routine was defined outside of the category. It is now defined inside, even if it has not much to do with it except that its used by it. This avoids name space polution. * share/lib/DOMAINS/CATEGORY/PermGrp.mu: First Version, with basic entries. * share/lib/DOMAINS/CATEGORY/SemiGrp.mu: New method: - multiplicativeClosure * share/lib/DOMAINS/CATEGORY/SemiGrp.mu: Standard version from MuPAD-1.4.2, file revision 1.8. * share/lib/LIBFILES/PerMuVAR.mu: First version. Some cleanup is necessary, since there are things around that are not part of PerMuVAR (my own domains and such). * share/lib/DOMAINS/CATEGORY/GrfMod.mu: Just the beginning, with a generator for index <-> position conversions tables. * share/lib/DOMAINS/DOMAIN/PSubGrp.mu: Brand new. Inherits from Dom::PermutationGroup. new method: - multiplicativeClosure - allElements - card - size * share/lib/DOMAINS/DOMAIN/PermGrp.mu: Modifications by Nicolas Thiéry: New methods: - allElements() - fromCycles() - descent() - descentPoly() - selectDescent() - _index() Modified methods: - convert() * share/lib/DOMAINS/DOMAIN/PermGrp.mu: Original version from MuPAD-1.4.2. * share/lib/LIBFILES/Secondary.mu, share/lib/LIBFILES/Garsia.mu: Début d'intégration dans PerMuVAR. À terme, tout doit disparaître. * INSTALL, Makefile, MANIFEST, README: Première version des fichiers d'administration. 1999-08-09 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Initialisation of the group in the "group" method, instead of in the main initialisation. 1999-04-22 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: Bug fix: The numerator is now an expression and not a DOM_POLY. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Changed the methods used for univariate Hilbert Series and secondary invariants series to: - HilbertSeries_FromSecondary - secondaryInvariantsSeries_FromCycleTypes 1999-04-13 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu: SuperHilbertSeries and such no more needed. univariate HilbertSeries: HilbertSeries_Polya. univariate secondaryInvariantsSeries: secondaryInvariantsSeries_FromHilbert Maybe it would be faster to use: - HilbertSeries_FromSecondary - secondaryInvariantsSeries_FromCycleTypes. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: New implementation using cycle types for the secondaryInvariantsRingSeries. HilbertSeries renamed to HilbertSeries_Polya. HilbertSeries is defined by default as HilbertSeries_Polya. * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: Different implementations of the HilbertSeries and SecondaryInvariantsSeries methods, with different names. This allow someone inheriting from this category to choose the implementation, by solely redefining "HilbertSeries"=this::HilbertSeries_Molien. 1999-04-12 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Dont use anymore the bivariate stuff when only monovariate is wanted. The default methods of permutation groups are far much faster. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Option remember for the weightEnum. Doc. 1999-03-28 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Option for working with a subgroup of the permutations of the nodes. Bug fix in the isacyclic method. * share/lib/LIBFILES/LinPol.mu: If they exists, use the usupport and uterms methods. This can be much more efficient, and the order of the terms has no importance. * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: New usupport and uterms methods to efficiently get the support and the terms when the order is not important. 1999-03-27 Nicolas M. Thiéry * share/lib/LIBFILES/LinPol.mu: Local variables. Optimisation of the products of polynomials: avoid computing products of the form p^0 q * share/lib/DOMAINS/DOMAIN/DiGrfMod.mu: New option "noloops" for working in the algebra without the variables x_(i,i). Partialy implemented. The Hilbert Series and the action should work. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: new method is_acyclic, new path for the dataBase. * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: New option to make the computations in the ring of polynomials instead of the ring of invariants polynomials. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Action of the group on the polynoms. * share/lib/LIBFILES/Secondary.mu: Premier grand rangement dans les options. À finir de standardiser. 1999-03-22 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/DiGrfMod.mu: Interface avec graphtool. * share/lib/LIBFILES/LinPol.mu: Découpage en deux morceaux de matrixLsolve. 1999-03-19 Nicolas M. Thiéry * share/lib/LIBFILES/Secondary.mu: Force Sec_min_ld à être une liste. Ca ne gênait pas pour les graphes, mais visiblement, ca gêne pour les digraphes... * share/lib/DOMAINS/DOMAIN/DiGrfMod.mu: Virage d'un certains nombre de procédures qui ne marchent que pour les graphes => Série de Hilbert moins buggée... L'action de Sn fonctionne. Donc on peut faire le calcul des secondaires. 1999-03-18 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/TBasis.mu: Fonctions gauss_insert, ... récupérées de LinPol.mu. * share/lib/DOMAINS/DOMAIN/DiGrfMod.mu: Récupéré brutalement de GrapheModule pendant les US. Il y a probablement plein de méthodes qui ne sont pas valides. Le calcul de série de Hilbert fonctionne. 1999-01-05 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu: - Type checking for some methods ( truc(g: this)) - New entry dataBase for customizing the directory where data are stored. * share/lib/LIBFILES/Garsia.mu: Functions for printing out some statistics. Test function secondary2 to be wiped out soon. 1998-12-25 Nicolas M. Thiéry * share/lib/LIBFILES/Garsia.mu: - Little bug fixes * share/lib/LIBFILES/Garsia.mu: - plenty new statistics - use the complementation for avoiding the computation of almost half the shapes - shapes are now systematically represented by sets instead of lists * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: - new method mapterms - doc for the method mapcoeffs * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: - New complement method. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: The shapes in the finely graded tables are now represented by sets instead of lists. 1998-12-24 Nicolas M. Thiéry * share/lib/LIBFILES/Secondary.mu: - Option remember for the secondaryLevel and secondaryInit procedures. This allows to stop and restart easely the computation. * share/lib/LIBFILES/Garsia.mu: - Option remember of secondaryLevel - extraction of a new procedure secondaryStat for printing statistics for gnuplot. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: I Forgot to close the file at the end in the allGraphs method. * share/lib/LIBFILES/Garsia.mu: New function chooselist to generate the shapes in the order I want. That is in fact in the degrev lex order. [1,2] [1,3] [2,3] ... [8,9] * share/lib/LIBFILES/Garsia.mu: First really working version. Youpi ! Not yet parallelised, but works nicely by spliting the task in many subtasks, one for each shape. * share/lib/LIBFILES/Secondary.mu: - Local variables (NoNL) - Tentative to eliminate the multichains by introducing first in the lbasis the products that reduces theim. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: - methods for computing the fine chain series and the fine secondary series. - local variables * share/lib/LIBFILES/isil-combinat.mu: - Local variables - Faster version of subcompositions, using an internal sub procedure. This currently uses local variables, but should still work properly with lexical variables * share/lib/LIBFILES/LinPol.mu: Local variables. multiply by negative coefficient instead of multiplying and then negating. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: New methods isChain + doc for the shape method * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: local variables + use of Rmult instead of R::mult + direct call to R::_negate + method selectChains * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Fucking non local variables. The k in the construction of G::degrees was somewhat tricky. 1998-12-20 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: More comments. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: new methods computing fine generating series in the Stanley-Reisner ring of the permutation group. - fineChainSeries - fineSecondaryInvariantsSeries * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: New method Singular that output a file for computing the invariants using Singular. 1998-12-17 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: - modification of canonicCanFail so that it can work even if canonic does not use a remember table. * share/lib/LIBFILES/Secondary.mu: - userinfo 8 -> 5. - Error message when the invariant ring is not free over the primaries. * share/lib/LIBFILES/LinPol.mu: Userinfo 8 -> 5. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: I had a kernel error using seq. Ralph told me seq was buggy under Linux, so I replaced it with a map. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: - Bug fix in canonic: it did not use the degree reverse lexicographic order. - Bug fix in forests. 1998-12-16 Nicolas M. Thiéry * share/lib/LIBFILES/isil-combinat.mu: The procedure combinat::isGeneratingPolynomial was completely buggy. * share/lib/LIBFILES/LinPol.mu: Duplicated the procedure gaussLsolve, for use with usual polynoms. This should be temporary, with one unique procedure at the end. * share/lib/DOMAINS/DOMAIN/GrfMod.mu, share/lib/LIBFILES/Secondary.mu: Use of the undocumented option of userinfo: NoNL. shortuserinfo -> trash. * share/lib/LIBFILES/Secondary.mu: Use of shortuserinfo * share/lib/DOMAINS/CATEGORY/PGrpMod.mu, share/lib/DOMAINS/CATEGORY/FGrpMod.mu, share/lib/DOMAINS/DOMAIN/PGrpMod.mu, share/lib/DOMAINS/DOMAIN/GrfMod.mu, share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: - removed all the unecessary uses of proc() ... end_proc(), and ( ... ). I though they were necessary for lazy evaluation, but no ! * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: - primaryInvariantsDegrees moved to Cat::PermutationModule - new entry "dimen" as required by Cat::FiniteGroupeModule - replace the use of proc() ... end_proc() by (...) which is more compact 1998-12-15 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Local variable bug. Fixed. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Added a method to generate a maple file to play with the Invar package. Defined a default method for outputing the group in the Invar format. * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: _plus was buggy and could only deal with the sum of 2 elements. Fixed. It now works with any number of elements. 1998-12-14 Nicolas M. Thiéry * share/lib/LIBFILES/Secondary.mu: use of shortuserinfo instead of printChar * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: New option "GarsiaMult"=TRUE to use the product of Garsia instead of the standard product. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: - new method "shape" (decreasingly sorted list of the valuations) - use of an alias REP instead of extop(x,1) to access internal representation. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Little hacks to make the hilbert series and such work for n=2,3. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Bugfix in _less: testtype instead of testype. * share/lib/LIBFILES/Secondary.mu: Little fixes to make the computation of secondary invariants using groebner basis work again. 1998-12-13 Nicolas M. Thiéry * share/lib/LIBFILES/Secondary.mu: Display of statistic informations for gnuplot. * share/lib/LIBFILES/Secondary.mu: *** empty log message *** * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: - Storage of leading terms and support did not work because there are no reference effect in MuPAD. Thrown away. * share/lib/LIBFILES/LinPol.mu: - Leading terms are stored in the lbasis to avoid recomputation. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: - Precomputed fast version of the degree method. - use of this::fastgroup in the orbit method. - pass extraneous arguments to PermModule. - local variables fix * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Option "order" to choose the order between elements of the module. (lex, invlex, revlex, deglex, ...). * share/lib/LIBFILES/Secondary.mu: Display of various computing times + memory. 1998-12-12 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: bugfix. * share/lib/LIBFILES/Secondary.mu: Extraction of the procedure to compute secondary invariants using gröbner basis from 'secondary'. Procedures for computing secondary invariants using linear algebra, and the InAlg package. This can be done degree by degree. This is faster than the first version (never checked in), and takes enormously less memory. * share/lib/LIBFILES/LinPol.mu: Added similar functions working with any Cat::FiniteMonoidRing(R,S): gaussNormalf, gaussInsert, gauss. Functions dealing with real polynoms are renamed polyGaussNormalf, ... * share/lib/LIBFILES/isil-combinat.mu: 2 bug fixes - wCompositions: returns 0 instead of FAIL if the coefficient is inexistant in the series. - wComposition: the change from decreasing degree to increasing was not complete and so was buggy. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Use of printChar to tell when computing an orbit. Yuck. To be standardized. * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Modification of _power. The usual definition using "repeatedSquaring" makes some non-usefull products by this::one. The current implementation is not really good either (no repeated Squaring). To be done. 1998-12-11 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: New method mu: Minimum degree of an invariant relative to det^{-1}. * share/lib/LIBFILES/isil-combinat.mu: combinat::isGeneratingPolynomial: test if a polynomial has nonnegative integer coefficients. * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: - orbitset -> orbitSet - local variables - also remember the size of the orbit (orbitSize) * share/lib/DOMAINS/DOMAIN/PGrpMod.mu, share/lib/DOMAINS/DOMAIN/PInvAlg.mu, share/lib/DOMAINS/DOMAIN/GrfMod.mu: - orbitset -> orbitSet. - Also remember the size of the orbit (this::orbitSize). * share/lib/LIBFILES/isil-combinat.mu: Now combinat::wComposition is more efficient if the weights are sorted increasingly and not decreasingly. 1998-12-02 Nicolas M. Thiéry * share/lib/LIBFILES/LinPol.mu: Extraction of the routines of gauss. Routines to test if an homgeneous polynom is algebraicaly generated by other polynomials, using linear algebra. * share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: *** empty log message *** * share/lib/DOMAINS/DOMAIN/GrfMod.mu: TeX issues \pgraph instead of \graph. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Fixed bug. It used a global value G::... 1998-11-28 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: - Bug fix in the generation of the group: actionV requires a permutation instead of a list. - Fast cycleTypes computations even in the case n1=n2. 1998-11-24 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu: *** empty log message *** 1998-11-18 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: New FreePoly method that convert a vector in the graphs into a Dom::Polynomial. Thus the result is in a free algebra and the product is not evaluated. This currently uses a global function freeze. Its used to freeze the graphes in the coordinates so that the dont do anything bad there. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Fixed bug in argument testing. * share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: New method InvarPermGroup. Use of permutations as functions instead of lists in actionV. S1 et S2 renamed to Sn1 and Sn2. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Nouvelle methode InvarPermGroup. Utilisation des permutations sous forme fonctionnelle dans actionV. Correction bug de variable non localisée. 1998-11-11 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu: TeX now produce a generic "\graph{...}" instead of forcing "\vcenter\includegraphics". * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Definition of the missing routine to be a Cat::FiniteMonoideRing: - terms, coeff, monomial, mapcoeffs, const * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Bug fix: some routines like _less, degrevlex and such did not always used the _less method of the coefficient ring. 1998-10-30 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Added as a comment some old method for conversion to the Network package. Might be usefull. * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Documentation. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Trees are read from the database. Much faster. 1998-10-29 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Order between elements: - by default this is now the degrevlex order - various other orders are also defined (lex, invlex, revlex + deg...) - canonic returns the biggest element of the orbit instead of the smallest. Also canonic is much faster, but use a specialised method for the order (_REPless) and a specialised copy of the group (fastgroup) * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: - minimal method renamed to canonic. - new canonicCanFail method. Only gives an answer if the result is already in the remember table. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: New extend method. New methods for generating various kinds of trees. * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Doc on what TODO. 1998-10-28 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PInvAlg.mu: Second version that uses internaly tables. This is much faster than the first try that was a subdomain of Dom::FreeModule, and used lists. The product and such works well. There lacks some operations to be a Cat::MonoidRing. 1998-10-26 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: new orbitset method. It returns the orbit of the vector as a set. This is remembered for the minimal element of the orbit. Also, for each element of the orbit, the corresponding minimal is remembered. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: allGraphs is now a method. With an argument, it will read some other data file instead of graphn. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Replaced the variable 'm' by 'Dimen' for homogeneity with the standard packages (Dom::Product, ...). New _less method: vectors are ordered inverse lexicographically instead of lexicographically. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: New TeX method. It includes the graph as a graphic file with includegraphics. 1998-10-25 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: Minimal now uses _less instead of playing with the code. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Hilbert series, secondaryInvariantsSeries and such now uses the faster method bivariateSecondaryInvariants. Basis, change of basis and such for the base of cycles for n=5. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Fixed bug with new: extop(g) returned a Dom::Product instead of a DOM_LIST. Thus, _mult, ... did not work. Convert now accept "this" as a type. 1998-10-14 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Added basis BSRP: Base of Star / Regular, with the regulars parametrized by there coordinates on the vertices 1..n-1. * share/lib/LIBFILES/isil-combinat.mu: Generations of wCombinations by decreasing order. 1998-10-08 Nicolas M. Thiéry * share/lib/LIBFILES/isil-combinat.mu: New functions for generating and counting weighted compositions - combinat::wComposition - combinat::wCompositions New functions for testing reciprocity and unimodality of polynoms - combinat::isUnimodal - combinat::isReciprocal * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: - Options "compact"for PermModules is now a boolean "compactVars"; - The polynomial ring is now this::Poly instead of this::polyRing * share/lib/DOMAINS/DOMAIN/GrfMod.mu: - Options "compact"for PermModules is now a boolean "compactVars"; - The polynomial ring is now this::Poly instead of this::polyRing - New basis BSR (Base of Stars and 0-Regulars) with change of basis for polynomials and such. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu, share/lib/DOMAINS/CATEGORY/FGrpMod.mu: - Options "compact"for PermModules is now a boolean "compactVars"; - The polynomial ring is now this::Poly instead of this::polyRing - Fixed bug in weightEnum (missing z argument for CycleIndicatorPoly) - new expstarInt methods. Reynolds operator as usual, but no division by the cardinal of the group. * share/lib/DOMAINS/DOMAIN/HyGrfMod.mu: - Options "compact" for PermModules is now a boolean "compactVars"; - The polynomial ring is now this::Poly instead of this::polyRing 1998-09-28 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpMod.mu, share/lib/DOMAINS/DOMAIN/HyGrfMod.mu, share/lib/DOMAINS/DOMAIN/GrfMod.mu, share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: Change in the syntax of the PermModule constructor. The new syntax is PermModule(BaseRing, m, opt1=truc, opt2=truc, ...) options: - "group" : define immédiately the group - "index2posRab" : more conversions between index and positions - "compact" : Use compact variable names 1998-09-02 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Typobug fix. 1998-07-03 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Starting options for compact variable names and such. 1998-06-22 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/HyGrfMod.mu: Stupid copy of GrapheModule. Many things are not yet defined, such as the action of the symmetric group, the index2linecol methods and such. Maybe GrapheModule should inherit from this, and share some definitions. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: New entry for interaction with graphlet: - graphtool, PID New methods for interaction with graphlet/... - input, view, edit, readGML New methods for generatings graphs and corresponding linear forms, polynoms: - crossedCycle, complete, tComplete - powersums, tStarsPowersums, primary, primaryReg Various new methods: - prev, allRotations Translation in English of methods names - etoile -> star, Etoile -> tStar, cyclesum -> eCycle * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: Use normal instead of simplify for the computation of the secondary invariants series. Should be a little faster. Still work to do. Should be much faster if specialized to single unknown with integer coeffs. * share/lib/LIBFILES/isil-combinat.mu: New procedure: part2perm returns a permutation of whoose cycle type is a given partition. combinat::partitions returns decreasing partitions instead of increasing ([4,2,1,1] instead of [1,1,2,4]). * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Added the standard scalar product. 1998-06-10 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Nouvelles méthodes "edit" et "input" pour utiliser un programme externe pour éditer et rentrer des graphes. 1998-06-06 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Fixed bug: elem was identical to powersum. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: new methods - view: call graphedit, and then graphlet to view the graph. 1998-06-05 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Fixed little bug (use of variables instead of this::variables). * share/lib/LIBFILES/isil-combinat.mu: combinat::partition: inspiré de maple combinat::centraliserSize: récupéré de HilbertGraphes combinat::powersum, ... * share/lib/DOMAINS/DOMAIN/GrfMod.mu: Transformation of the procedures in HilbertGraphs.mu into methods of the domain Dom::GrapheModule. * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: Little bug fixed. * share/lib/DOMAINS/DOMAIN/GrfMod.mu, share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: Utilisation de la nouvelle catégorie Cat::PermutationGroupModule. Elle permet par exemple un calcul de la série de Hilbert beaucoup plus rapide (2 min/5 Mo contre 4H/87Mo pour bipartis(2,8) :-)). + énumération de Polya, etc. Nouvelles méthodes: - groupSize - cycleTypes (Pour BipartiModule, elle n'est définie que quand n1=n2). * share/lib/DOMAINS/CATEGORY/PGrpMod.mu, share/lib/DOMAINS/CATEGORY/FGrpMod.mu, share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Fonctions symétriques puissances et élémentaires définies dans Cat::PermutationGroupModule. Rajout de "variables" et "polyRing" dans les toBeDefined de Cat::FiniteGroupeModule. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: new cycleTypes method for the Category Cat::Permutation Group Module. PolyRing -> polyRing loadlib("isil-combinat"); * share/lib/DOMAINS/CATEGORY/PGrpMod.mu: New category Cat::PermutationGroupModule. A lot of methods are taken from HilbertGraphs.mu, the former Polya.mu and such. Methods for cycle indicator polynom, fast Hilbert series and such. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: PolyRing -> polyRing group_type -> groupType Use of the new category Cat::PermutationGroupModule. * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: More documentation hilbert -> Hilbert new methods: - groupSize - group, act, etc marked toBeDefined 1998-06-02 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: Reecriture de la methode renvoyant les fonctions symetriques puissances. Elle supposait que l'action du groupe etait transitive. 1998-04-19 Nicolas M. Thiéry * share/lib/DOMAINS/DOMAIN/GrfMod.mu, share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: Usage of userinfo instead of print. * share/lib/DOMAINS/CATEGORY/FGrpMod.mu, share/lib/DOMAINS/DOMAIN/PGrpMod.mu: New methods: code compute the code of a vector. precode/codebase (variations on the last one). minimal compute the miminal element in the orbit. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu, share/lib/DOMAINS/DOMAIN/GrfMod.mu, share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: Completement retravaille pour factoriser le maximum de chose dans PermModule. En particulier tout ce qui est gestion de pos2index/index2pos. Modifs a PermModule: Nouvelle methode: - convertGroup: Conversion d'un element du groupe exprimes comme table index -> index. Methode modifiee - convert: Conversion d'un element de l'espace vectoriel donne sous forme de table index -> valeur. Nouvelles variables: - pos2index - index2pos Modifs a GraphModule et BipartiModule: - Utilisation des nouveautees de PermModule, - Groupe calcule seulement sur demande. => plus besoin de definir deux fois l'action. * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: Completed the reference in the doc. 1998-04-16 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: Debug. Currently working with PermModule, GrapheModule, BipartiModule. * share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: Uniformisation versus GrapheModule-1.4. For balanced bipartite graphs, the exchange of the two parts is now considered in the group. Documentation. * share/lib/DOMAINS/DOMAIN/GrfMod.mu: new methods: - cycle(k): cycle 1,2,3,...,k,1. - cyclesum(k): corresponding invariant polynom - etoile(k): star centered on k - tEtoile(k): transpose of etoile(k) modified methods (see the doc): - primaryInvariantsDegrees Documentation of all the methods. Incompatible changes: indices and revtable renamed to index2linecol and linecol2index with little modifications (see the doc). * share/lib/DOMAINS/DOMAIN/PGrpMod.mu: I inverted the order of the variables in the polynomial ring. So the lexicographic order on the polynomial (heavy bit: first variable) coincide with the lexicographic order on the vectors vecteurs (heavy bit: last coordinate). New methods: powersum(k): kth symetric power function. t(v): Transpose of the vector v. Optimisation of exp. Documentation of all the methods, ... 1998-03-27 Nicolas M. Thiéry * share/lib/DOMAINS/CATEGORY/FGrpMod.mu: Nettoyage apres passage a MuPAD-1.4. * share/lib/DOMAINS/DOMAIN/PGrpMod.mu, share/lib/DOMAINS/DOMAIN/GrfMod.mu, share/lib/DOMAINS/DOMAIN/BiGrfMod.mu: Premières versions expérimentales.