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.
A defect in the way we organize packages is that a package may be present in the packages directory but not on the list of packages to be distributed, and...
The [documentation for `substitute`](https://faculty.math.illinois.edu/Macaulay2/doc/Macaulay2-1.10/share/doc/Macaulay2/Macaulay2Doc/html/_substitute.html) says "If the values of all of the variables are in a different ring, then the result will be in that ring." Then below this there's...
I tried this on M2: ``` R=QQ[x,y,MonomialOrder=>Lex,Inverses=>true]; selectVariables({0},R) ``` and obtained as the second output: stdio:12:1:(3): error: Inverses => true not compatible with GRevLex It seems that selectVariables is not...
... such as for elements of `(frac (QQ[a])) [x,y,z]` or `(toField (QQ[a]/f))[x,y,z]`. For the former case, clear denominators of the coefficients. For the latter, "factory" provides the functionality. In the...
Can tests actually be functions? See the last line below. ``` i5 : installPackage "Foo" --installing package Foo in ../../../Library/Application Support/Macaulay2/local/ --using package sources found in /Users/dan/src/M2/M2-Macaulay2/M2/Macaulay2/packages/ --copying auxiliary source...
When writing a package that introduces symbolic name for optional parameters to functions, it can be a burden to document them and to worry about whether they conflict with other...
On an airplane, before paying for internet service, all web accesses are diverted to the registration page: ``` i5 : getWWW "http://yahoo.com/" o5 = HTTP/1.1 302 Found Server: squid/3.5.2 Date:...
This operation on ideals is not well defined, i.e., equal ideals don't provide equal results. We should make it mathematically sensible. ``` Ideal ^ Array := (I, e) -> (...
For ideals I==J it might be faster to compare gb's rather than to perform all the reductions performed by isSubset(I,J) and isSubset(J,I). Why is the code here commented out?: ```...
It looks like mutable lists grow their length by only one at a time. Perhaps the length should double when it needs to increase. Or just warn users to amortize...