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.
On Ubuntu 19.04 make check fails in mathicgb: ``` g++ -DPACKAGE_NAME=\"mathicgb\" -DPACKAGE_TARNAME=\"mathicgb\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"mathicgb\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DHAVE_CXX11=1 -DPACKAGE=\"mathicgb\" -DVERSION=\"1.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1...
In addition to the operators I added recently in #3183 and #3193, I'd like to add the following, but they involve subtle breaking changes or carefully making things remain backwards...
I don't understand what is going wrong here: ```m2 needsPackage "NormalToricVarieties" P1 = toricProjectiveSpace 1 P2 = toricProjectiveSpace 2 f = inducedMap map(P2, P1, matrix{{-2},{1}}) S = ring P1 pushForward_f...
Sometimes writing `sum apply(L, a -> f(a))` gets too tedious, so we have defined syntax like `sum(L, a -> f(a))`. However, doing this to every similar function (e.g. `directSum`) is...
#3177 let M2 create fraction fields of iterated rings. Even though this works now, there is an issue which is not easily fixed: promotion. For example: ``` i1 : R=QQ[x]...
These two are surprisingly annoying: ```m2 i1 : ideal 0 == 0 * ideal vars(QQ[x]) stdio:1:10:(3): error: expected ideals for the same ring i2 : ideal 1 == ideal 1_(QQ[x])...
In some rare instances, the lineality space of a fan containing a single cone is different than the lineality space cone. This prevents adding cones to the fan that one...
Hi all, when computing a certain Ext (a canonical module) of a homogenous equation with negative degrees, I get an unexpected zero. ``` i1 : S = QQ[X,T,Degrees=>{1,-1}] o1 =...
input: ``` R = QQ[x,y,z, Degrees => {25,72,29}]; P = ker map(QQ[t],R,{t^(25),t^(72),t^(29)}); primaryDecomposition(P^3) ``` output: `[stdio:3:20:(3)](https://www.unimelb-macaulay2.cloud.edu.au/#editor:stdio:3:20:(3)): error: array index 0 out of bounds 0 .. -1 ` This used to...
input: ``` Qi = toField( QQ[i]/(i^2+1) ) R = Qi[u,v] (u + v) / i ``` output: ``` -- SIGSEGV -* stack trace, pid: 12251 0# 0x000000000064E665 in /usr/bin/M2-binary 1#...
