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.
The title is obscure, so I'll explain what I want with a manipulated example:  Here, `AffineVariety` and `ProjectiveVariety` are subtypes of `Variety` and the list should reflect this.
This doesn't work ``` i1 : needsPackage"AssociativeAlgebras"; i2 : R=QQ; i3 : m=matrix{{1_R}} o3 = | 1 | 1 1 o3 : Matrix R
It has been pointed out that the master branch should always compile for people. Since we have overnight builds, we can have those builds track a development branch, and after...
- **bumped minimum flint version to 2.8.5** (released ~2 years ago) - **deprecated support for MPIR**
I've seen this a couple times in recent PPA builds: ```m2 NumericalImplicitization/tests.m2:125:1-139:1 error: -- -- i10 : elapsedTime PW = pseudoWitnessSet(F,I,p, Repeats=>2, Threshold=>3, MaxThreads=>allowableThreads) -- ~ 40 seconds -- --error...
I'll explain via an example: ```m2 i1 : Truthy = new Type of List; i2 : Truthy == Boolean := (T, B) -> T#0 === B; i3 : T =...
See the discussion at #578 . Decree that `select` no longer works for hash tables and introduce new functions `selectKeys` and `selectValues`. Maybe also `selectPairs`.
The Mora algorithm in M2 is supposed to return a minimal Groebner/standard basis, but sometimes it doesn't. As an example: ``` R=QQ{x,y,z} i=ideal"xyz+z5,2x2+y3+z7,3z5+y5" transpose gens gb i -- this is...
The Mora algorithm in M2 should return the minimal generators in the local ring. But it is not doing so. As a simple example: ``` R = (ZZ/31991){x,y} I =...
``` R = QQ[x,y] K = frac R m = matrix {{x}} n = mutableMatrix m --This works on matrices as usual lift(m, R) R_0 * m --But fails for...