M2
M2 copied to clipboard
Macaulay2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
I am trying to resurrect some older packages to place into M2. The package format for this package is likely no longer correct (I'm not sure of this yet). But...
Sometimes, calling `loadPackage` can fail, saying it cannot be reloaded. This error occurred in a set of packages I wrote a few years ago. I have boiled it down to...
For example: ```m2 i1 : locate makeDocumentTag (sin, Number) o1 = /usr/share/Macaulay2/typicalvalues.m2:271:0 o1 : FilePosition ``` That file doesn't exist! It should be `/usr/share/Macaulay2/Core/typicalvalues.m2`. I think the problem is that...
We add support for FLINT's real and complex ball types to the interpreter. (Prior to FLINT 3, they were available in the [Arb](https://www.arblib.org/) library, so we'll need to link against...
I think the following is messed up, but can't figure out why. [Change QQ to ZZ/5 to see something which makes sense and should be a specialization of this.] -----------------------------------------------------------------...
The function `isPatternAvoiding` (and the related `avoidsAllPatterns`) from the `MatrixSchubert` package sometimes gives the incorrect output. For example: ``` i1 : needsPackage("MatrixSchubert"); i2 : isPatternAvoiding({3,1,2,4},{3,1,2}) o2 = true i3 :...
I've discovered this in the `PushForward` package, but I believe the issue is with `kernel`. Notably, sometimes `pushFwd` gives the wrong answer and other times it has an error. This...
Normaliz just had a new [release](https://github.com/Normaliz/Normaliz/releases/tag/3.10.0), which I bottled for brew a day later. The new version apparently breaks at least one example: `normalToricRing(Ideal,Thing)`. Also see: https://github.com/Normaliz/Normaliz/issues/204#issuecomment-1413387222
Very frequently in math, given an object (say divisor) D and an equivalence relation D~D', we denote the equivalency class with [D]. I think it would be cool if we...
This is the first PR for converting the ChainComplex and ChainComplexMap types from the Core to the types Complex, ComplexMap in Complexes package. Here are the steps we envision to...