One Hat Cyber Team
Your IP :
216.73.216.14
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
doc
/
Macaulay2
/
Core
/
tests
/
View File Name :
cox.m2
-- Date: Wed, 27 Aug 2003 14:14:09 -0400 -- From: David Cox <dac@cs.amherst.edu> -- To: dan@math.uiuc.edu -- CC: David Cox <dac@cs.amherst.edu> -- Subject: Re: monomial orders for Macaulay 2 -- In-Reply-To: <200308271730.h7RHUpl07280@u00.math.uiuc.edu> -- Content-Type: text/plain; charset=ISO-8859-1; format=flowed -- Content-Transfer-Encoding: 7bit -- -- Dear Dan: Up and Down are great. The example we do using Macaulay 2 is -- the following very simple computation: -- R = QQ[a..d, MonomialOrder => {Position => Down}] M = matrix{{a^2+b^2, a^3 - 2*b*c*d, a - b},{c^2 - d^2, b^3 + a*c*d, c+d}} gens gb M -- -- The answer appears as equation (2.10) on page 205 of Using Algebraic -- Geometry. We also do this example in Singular (and, in the 2nd edition, -- also in Maple). In all three computations, we use TOP downward grevlex. -- It would be wonderful if you could check this in Macaulay 2. -- Many thanks, David -- end -- Local Variables: -- compile-command: "make -C $M2BUILDDIR/Macaulay2/packages/Macaulay2Doc/test cox.out " -- End: