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.
Somewhat annoyingly, the following code yields an error ``` needsPackage "FastNonminimal" R = ZZ/101[x,y,z]; I = ideal(x,y,z); res I; r = res(I,FastNonminimal=>true); betti(r,Minimize=>true); ``` Running this gives ``` error: cannot...
Since #3013 was merged several pieces of code I use have all ground to a halt. Previously, a change I introduced in #2766 caused `submatrix` to call `reduce`, which slowed...
Piggy-backing off of https://github.com/Macaulay2/M2/issues/3061#issuecomment-1886091039, the behavior when dividing by zero in integer and polynomial division is inconsistent. Sometimes we get an error and sometimes we don't: ```m2 i1 : 1...
For optional arguments that take in boolean values, currently you must type: ```m2 func(blah, Minimize => true) ``` but it would be nice if you could just type ```m2 func(blah,...
The key line in `Hom(M, N)` runs: ```m2 H := trim kernel (transpose presentation M ** N); ``` I suspect `trim` is there to remove generators that give zero homomorphisms,...
Here is a strategy for basis which I would have thought engine should already take advantage of: Suppose $S$ is a multigraded ring with $S_0 = k$ and $M$ is...
Did this just recently start to be an error, rather than a warning? I pulled from development earlier today (before the flurry of merged pull requests), and I get the...
``` i1 : W1 = QQ[x,dx,WeylAlgebra=>{x=>dx}] o1 = W1 o1 : PolynomialRing, 1 differential variable(s) i2 : W2 = QQ[x,dx,WeylAlgebra=>{x=>dx},Degrees=>{1,-1}] o2 = W2 o2 : PolynomialRing, 1 differential variable(s) i3...
I have a module which was computed very painstakingly, so immediately afterwards I stored the module externally in a file that's about 95MB. The presentation is a 2055x15981 matrix over...
This is a minor annoyance, but there are no methods for applying `|` or `||` to matrices. there are functions `concatRows` and `concatCols` in `Core` but they're not exported, and...
