Paul Zinn-Justin
Paul Zinn-Justin
Example of a problem with the `Graphs` package: ``` i1 : needsPackage "Graphs" o1 = Graphs o1 : Package i2 : G=graph{{a,1}}; i3 : H=graph{{b,2}}; i4 : cartesianProduct(G,H) stdio:4:1:(3): error:...
This is related to the discussion of why it's so slow to create high rank modules (tangentially related to #3001). I don't understand this behaviour: ``` i1 : M=ZZ^6 6...
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...
found by @mahrud in the discussion of #1273 ``` i1 : debugLevel=101; R=QQ[x] o2 = R o2 : PolynomialRing i3 : smithNormalForm matrix{{x^3+1},{x^2+1}} -- count = 0 -- lead terms...
edited: after M2internals discussion Normal (nonmutable) matrices are sparse, but creating large modules is an issue right now, making it impossible to create very large sparse matrices -- this is...
``` i1 : f=method(Dispatch=>{Thing,Type}) o1 = f o1 : MethodFunction i2 : f(1,1) stdio:2:1:(3): error: null: expected argument 2 to be a type, but it was: 1 ``` note the...
`AssociativeAlgebras` crashes pretty much every time one tries to compute a GB. Some examples: ``` i1 : needsPackage "AssociativeAlgebras" o1 = AssociativeAlgebras o1 : Package i2 : R=ZZ o2 =...
Is this too early to submit bugs for `AssociativeAlgebras`? I have found quite a few. Here's one that's been bothering me. I tried to build the group algebra of the...
#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]...
I recently got reminded of an issue that's been bothering me for years: why does `coefficients` return the coefficients of a polynomial not as elements of the coefficient ring, but...