Macaulay2 is a mathematical programming language particularly for algebraic geometry and commutative algebra.
Questions tagged [macaulay2]
14 questions
1
vote
1 answer
Use Macaulay2 to show that a quotient ring is a field
I am new to Macaulay2. I tried to use the following command to show that a quotient ring S=ZZ_977[x]/<7x^11+4x^5-23x^4+x-27> is a field:
i2 : S = ZZ[x]/<7*x^11+4*x^5-23*x^4+x-27>
o2 = S
IsField S
But it doesn't work. I looked it up on internet…
J.doe
- 225
- 1
- 2
- 9
1
vote
1 answer
How to compute S-pairs in Macaulay2?
Buchberger's algorithm requires computing S-pairs (more on page 83 of Ideals, Varities and Algorithm by Cox et all 2008, 3rd edition)
S(f,g)=LCM(LT(f),LT(g))/LT(f) *f - LCM(LT(f),LT(g))/LT(g) * g
where LCM is the least common multiple (equivalent…
hhh
- 50,788
- 62
- 179
- 282
1
vote
2 answers
How to factor polynomial with other polynomials?
This is a question on division algorithm. Consider polynomial f=-4x^4y^2z^2+y^6+3z^5 and polynomials G={y^6-z^5, x*z-y^2, x*y^4-z^4, x^2*y^2-z^3 *x^3-z^2}.
How can you factor f with respect to G computationally such that the linear combination…
hhh
- 50,788
- 62
- 179
- 282
0
votes
1 answer
Build Error Installing Macaulay2 on Arch Linux
When running makepkg for Macaulay2, I get the following error:
+ rm -f '/home/user-name/macaulay2/src/M2/M2/usr-host/lib/*.la'
/usr/bin/install -c -d /home/user-name/macaulay2/src/M2/M2/usr-host/bin
/usr/bin/install: cannot create directory…
fish_monster
- 103
- 4
0
votes
0 answers
Reversed patch detected: Skipping patch error in build process
When trying to build Macaulay2, in the process I got the following error:
patching file M2/Macaulay2/e/monoid.cpp
Reversed (or previously applied) patch detected! Skipping patch.
What does this mean? And how do I resolve this?
fish_monster
- 103
- 4
0
votes
1 answer
How to enumerate all Grassmannian and it’s index and k and n in a table format?
Would like to enumerate all Grassmannian and its index and k and n
For Schubert function use
And how to Find the index
I find blog use
H^(0,0)
H^(1,1)
Until the number from ascending to descending
But it seems only return two numbers
Martin Lee
- 43
- 7
0
votes
1 answer
Issues with Downloading Macaulay 2
I am new to Macaulay 2 and running into trouble in attempting to download it.
Apparently since I am running Windows 7, I need to download a program called "Cygwin" in order to install M2 on my computer. I downloaded Cywgin and am currently…
AnotherPerson
- 141
- 3
0
votes
2 answers
Constructing a vector from a sequence in MacAulay2
I am in the following situation:
S=QQ[x_0..x_n];
for i from 0 to n do for j from i to n do d_{i,j} = x_i*x_j;
Now I would like to construct a vector whose elements are…
BlaCa
- 103
- 4
0
votes
1 answer
Polynomial reduction: polynomial in terms of other polynomials?
Consider each function below such as f, f2, f3 and f4 with the basis I. How can we express each f such that f_i=\sum a_i I_i and each a_i\geq 0?
Example
We demonstrate the polynomials below with M2 and Mathematica.
Macaulay2:
i1 :…
hhh
- 50,788
- 62
- 179
- 282
0
votes
2 answers
Constants in terms of ideal: "stdio:4:11:(3): error: can't promote number to ring" in Macaulay2
I am trying to demonstrate Handelman's theorem and the example 1 here with Macaulay2. I cannot understand the error in defining the ideal for the polytope restricted by the intervals.…
hhh
- 50,788
- 62
- 179
- 282
0
votes
1 answer
How to specify arbitrary monomial ordering in Macaulay2?
Suppose you are given an arbitrary order such as $w>x>y>z>a$ order. You can do renaming so that it becomes lex or similar errorsome renaming things to satisfy some of the more typical monomial orderings such as lex, glex and grevlex here. Is there…
hhh
- 50,788
- 62
- 179
- 282
-1
votes
1 answer
Calculate the first cohomoly group of a sheaf of quotients in Macaulay2
I want to calculate the cohomology of the sheaf Q in the exact sequence on $\mathbb P^3$:
0\rightarrow\mathcal O(-1)\rightarrow \mathcal O^{\oplus 4}\rightarrow Q\rightarrow 0
To do it, I want to calculate the cohomology of Q, using Macaulay2.
I…
Protágoras
- 1
- 2
-1
votes
1 answer
macaulay 2 for algebraic and geometric methods in statistics
Consider the vector h = (1, 1, 1, 2, 2, 2) and the matrix A =
2 0 0 1 1 0
0 2 0 1 0 1
0 0 2 0 1 1
write code in Macaulay 2 version 1.21 to Compute generators for the toric ideals IA and IA,h.
What familiar statistical model is the discrete…
-1
votes
1 answer
Divide all elements of ideal with polynomial in Macaulay 2?
On computing basis of ideal quotient (Ideal, Varities, and Algorithms p.197, 3rd edition), one needs to divide ideal with a polynomial. How can you do it in Macaulay 2?
hhh
- 50,788
- 62
- 179
- 282