MatchingPowers - A Macaulay2 package for computing the matching powers of monomial ideals #3475

The error message was essentially the same for mutable lists and mutable hash tables, so we combine them. We also drop toExternalString(Type), since Type is a subclass of MutableHashTable, and we can just use inheritance.

We just use the same method as we use for mutable lists and hash tables.

…rics.m2

…e elimination ideal inconsistencies from msolve

…n; moved TESTs to a separate file

… changed verbosity/threads as suggested c.f. antonleykin#28

stdout may still not print until the end if it isn't flushed. Also, use printerr for "running" message and display exit status on error.

It wasn't added until Arb 2.22.0. We add a check to configure to avoid a surprise linking error later on.

It expects a single string, so we were getting "no method" errors trying to use the | operator between a string and a sequence.

This allows us to use inheritance for getting the qname of hypertext types (e.g, MaybeQuotedTT is a child of TT and should inherit its qname).

They are for "keyboard input", and so it makes sense to be quoted since users would be likely typing the content verbatim. We'll also be switching to using KBD for the "ways to use" lists in documentation nodes, and this will enable "* String" to work.

This will keep adjacent KBD elements in lists from colliding.

If version is less 0.7.0, then build it

We just want something that returns a DIV, and calling help() during a test can run out of memory on some systems.

They're now autoconf substitution variables that are included in a generated .m2 file rather than #define's intended for version.dd.

Co-authored-by: Mahrud Sayrafi <[email protected]>

See the added test for the example that was failing before, which was a free complex whose concentration was not 0 to n.

Added the method wellformedBundleFiltrations, updated documentation accordingly and added a corresponding test. Several methods make the implicity assumption that the filtration steps are stored in an ascending manner. This is not true for bundles which are created by the methods dual or tensor (maybe others) from the package ToricVectorBundles. The method wellformedBundleFiltrations ensures that the filtration steps are stored in a well-formed manner, suitable for the methods of this package.

Co-authored-by: Mahrud Sayrafi <[email protected]>

e.g. fixes "toString locate symbol firstFunction".

This would only be used if x ; y was converted into a binaryCode object, but it's converted into a semiCode object instead.

Usually set by endPackage, but that isn't called for User

Returns value of history_length variable from readline history.

When reading the history from a file, we need to add the number of lines loaded from previous sessions when calling getHistory to get the correct lines of code. Closes: Macaulay2#3415

We don't know how to represent arbitrary objects as strings at this low level, but this takes care of two very common cases.

e.g. A+B (where A and B are undefined symbols)

This way, we can call importFrom_Core from init.m2 without sacrificing the ability to modify the list of preloaded package. Closes: Macaulay2#3410

This function is only useful inside Core itself. Indeed, calling it after startup does nothing, as the start functions have already been run. Also, it didn't do what the documentation purported that it did (calling the function after restarting). Instead, users should add additional startup code to init.m2.

[skip ci]

[ci skip]

Most of the tests fail using the default 400000 kB. Closes: Macaulay2#3428 [ci skip]

It's exported by Core

Avoids error when calling checkLowerBound "CSDP" using CSDP package in Fedora rawhide.

This way, "tests" will work like other similar functions like "methods" and "about".

Avoids unnecessary parentheses in output of "tests".

Rather than storing the filename and line number separately, we store a FilePosition containing both of them. We update locate(TestInput) to use this. We also remove the redundant source file stamp from the code -- there's no reason to also store the file location here. Finally, we remove the NewFromMethod for constructing a TestInput from a sequence. There was really no reason to use this, as we only construct a TestInput object once, inside TEST.

Now returns source code of test. Update an error message when "check" is called with the Verbose option that previously used the old toString behavior.

Now returns a DIV like other "code" methods.

Now that the test inputs are stored in a list, we can just use the length of the list.

This way, we can access its argument while it's still a Code object and properly determine its location rather than guessing.

check(2, "LLLBases") wasn't previously being registered since TEST and the test string were on different lines. Now it's picked up, but it raises an error (unknown key: Engine), so we skip it

Add support for creating matrices with Constant entries. Also add a unit test.

…ingTorMap, horsehoeResolution. Fixed bug in mult of complex maps with numbers, bug in homomorphism

…isms

…s us to remove the dependency of Polyhedra on IntegralClosure and ReesAlgebra (which in turn was making the incorporatino of the Complexes package quite difficult).

…ll run correctly.

…unctions: status, rank, transpose, nullhomotopy (synonym of nullHomotopy). Allow complex to take a single matrix. Do not compute remainder in one version of nullHomotopy(serious performance degradation). Moved Ext(Module, Module) functionality from the Core to Complexes. Added minimalBetti fixes.

…ree source was incorrect. freeResolution(Strategy => Syzygies) incorrectly handled resolutions of length 0. Tests and doc were updated for these.

… changed calls in AInfinity to use this simpler algorithm. Also added in doc for associatedGradedRing

…orname{Hom}, imported a test from Core related to total Ext

…then displays that the argument is a complex, a complex, a module (doubled complex). It appears that is a bug that will get fixed before the next version, so we change this to be correct once that bug fix is in.

We were trying to concatenate a list of nets, but "concatenate" expects a list of strings. So we use "stack" instead.

A Macaulay2 package for computing the homological shift ideals of a monomial ideal of a polynomial ring

A Macaulay2 package for computing the matching powers of monomial ideals

Commits on Sep 4, 2024

fixes Macaulay2#3451

mahrud authored and d-torrance committed Sep 4, 2024

Configuration menu

View commit details

Copy full SHA for 207cf44

Browse repository at this point

Copy the full SHA

207cf44 View commit details

Browse the repository at this point in the history

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

MatchingPowers - A Macaulay2 package for computing the matching powers of monomial ideals #3475

MatchingPowers - A Macaulay2 package for computing the matching powers of monomial ideals #3475

Commits on Aug 6, 2024

Commits on Aug 7, 2024

Commits on Aug 8, 2024

Commits on Aug 9, 2024

Commits on Aug 11, 2024

Commits on Aug 12, 2024

Commits on Aug 13, 2024

Commits on Aug 14, 2024

Commits on Aug 15, 2024

Commits on Aug 18, 2024

Commits on Aug 21, 2024

Commits on Aug 22, 2024

Commits on Aug 23, 2024

Commits on Aug 24, 2024

Commits on Aug 25, 2024

Commits on Aug 26, 2024

Commits on Aug 27, 2024

Commits on Aug 29, 2024

Commits on Aug 31, 2024

Commits on Sep 2, 2024

Commits on Sep 4, 2024

Commits on Sep 6, 2024

Commits on Sep 11, 2024

Commits on Sep 12, 2024