Anton Leykin
Anton Leykin
See the example in the doc: https://faculty.math.illinois.edu/Macaulay2/doc/Macaulay2-1.19/share/doc/Macaulay2/Bertini/html/_bertini__Refine__Sols.html @JoseMath
@DanGrayson wrote https://github.com/Macaulay2/M2-merge to automate insertion of M2 input/output in LaTeX articles. It would be nice to have the output produced by `texMath` and automatically processed. @pzinn, that would be...
This is a proposal to 1. find symbols that are frequently used by package authors (e.g., for method/option names) 2. define them in the `Core` (in case of methods we...
The monomial cones in the decomposition come out not disjoint: ``` i1 : QQ[x,y,z]; standardPairs monomialIdeal(x*y^3*z, x*y^2*z^2) 2 o2 = {{1, {y, z}}, {1, {x, z}}, {y, {x, z}}, {1,...
For a package containing an unexported method `bla` defined for an exported type `T` we have `methods T` listing `bla`. The lines to blame involve calling `pairs T` and were...
(This is a fresh take on https://github.com/Macaulay2/M2/pull/2912) `Ideal` is a type of `LeftIdeal` now. * Most functions are defined for `LeftIdeal`; * the ones that make sense only for a...
``` 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...
@JoseMath `check "Bertini"` fails. We (@timduff35 and I) tried to look into `TST/bertiniRefineSols.tst.m2` but couldn't reconcile what is coded in the package with Bertini documentation.
We want to implement coarse parallelization via basic MPI routines --- collaborators are welcome. See the commentary in `packages/MPI.m2` To implement: - [x] Basic message-passing functions in the kernel -...
It appears that one can override methods implemented internally, but can't use them. ``` toList Matrix := M -> flatten entries M M = matrix{{1}} class M toList M stdio:4:1:(3):...