Preface |
|
v | |
|
|
xv | |
Part I Introducing Macaulay |
|
2 | (323) |
|
Ideals, Varieties and Macaulay 2 |
|
|
3 | (14) |
|
|
|
|
|
A Curve in Affine Three-Space |
|
|
3 | (1) |
|
Intersecting Our Curve With a Surface |
|
|
4 | (2) |
|
Changing the Ambient Polynomial Ring |
|
|
6 | (2) |
|
Monomials Under the Staircase |
|
|
8 | (4) |
|
Pennies, Nickels, Dimes and Quarters |
|
|
12 | (5) |
|
|
15 | (2) |
|
Projective Geometry and Homological Algebra |
|
|
17 | (24) |
|
|
|
|
|
|
18 | (2) |
|
The Cotangent Bundle of P3 |
|
|
20 | (4) |
|
The Cotangent Bundle of a Projective Variety |
|
|
24 | (2) |
|
Intersections by Serre's Method |
|
|
26 | (2) |
|
|
28 | (13) |
|
Appendix A. How the ``Mystery Variety'' was Made |
|
|
37 | (3) |
|
|
40 | (1) |
|
Data Types, Functions, and Programming |
|
|
41 | (14) |
|
|
|
|
|
|
|
|
|
|
41 | (3) |
|
|
44 | (2) |
|
|
46 | (2) |
|
|
48 | (4) |
|
|
52 | (1) |
|
Pointers to the Source Code |
|
|
53 | (2) |
|
|
53 | (2) |
|
Teaching the Geometry of Schemes |
|
|
55 | (18) |
|
|
|
|
|
|
|
|
|
|
55 | (1) |
|
|
56 | (2) |
|
|
58 | (2) |
|
|
60 | (1) |
|
|
61 | (1) |
|
|
62 | (1) |
|
|
63 | (1) |
|
|
64 | (1) |
|
|
65 | (3) |
|
|
68 | (5) |
|
|
70 | (3) |
Part II Mathematical Computations |
|
|
|
73 | (28) |
|
|
|
|
|
|
|
|
|
The Basics of Monomial Ideals |
|
|
74 | (3) |
|
|
77 | (6) |
|
|
83 | (6) |
|
|
89 | (6) |
|
|
95 | (6) |
|
|
99 | (2) |
|
From Enumerative Geometry to Solving Systems of Polynomial Equations |
|
|
101 | (30) |
|
|
|
|
|
|
101 | (2) |
|
Solving Systems of Polynomials |
|
|
103 | (9) |
|
Some Enumerative Geometry |
|
|
112 | (2) |
|
|
114 | (7) |
|
|
121 | (10) |
|
|
128 | (3) |
|
Resolutions and Cohomology over Complete Intersections |
|
|
131 | (48) |
|
|
|
|
|
|
|
|
|
|
133 | (6) |
|
|
139 | (2) |
|
|
141 | (4) |
|
|
145 | (5) |
|
Computation of Ext Modules |
|
|
150 | (7) |
|
|
157 | (13) |
|
Invariants of Pairs of Modules |
|
|
170 | (9) |
|
|
176 | (1) |
|
|
177 | (2) |
|
Algorithms for the Toric Hilbert Scheme |
|
|
179 | (36) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Generating Monomial Ideals |
|
|
182 | (6) |
|
|
188 | (5) |
|
|
193 | (6) |
|
The Coherent Component of the Toric Hilbert Scheme |
|
|
199 | (16) |
|
Fourier-Motzkin Elimination |
|
|
206 | (5) |
|
Minimal Presentation of Rings |
|
|
211 | (2) |
|
|
213 | (2) |
|
Sheaf Algorithms Using the Exterior Algebra |
|
|
215 | (36) |
|
|
|
|
|
|
|
|
|
|
215 | (3) |
|
Basics of the Bernstein-Gel'fand-Gel'fand Correspondence |
|
|
218 | (4) |
|
The Cohomology and the Tate Resolution of a Sheaf |
|
|
222 | (4) |
|
Cohomology and Vector Bundles |
|
|
226 | (4) |
|
|
230 | (6) |
|
|
236 | (5) |
|
|
241 | (10) |
|
|
247 | (4) |
|
Needles in a Haystack: Special Varieties via Small Fields |
|
|
251 | (30) |
|
|
|
|
|
|
|
|
|
How to Make Random Curves up to Genus 14 |
|
|
253 | (10) |
|
Comparing Green's Conjecture for Curves and Points |
|
|
263 | (4) |
|
Pfaffian Calabi-Yau Threefolds in P6 |
|
|
267 | (14) |
|
|
277 | (4) |
|
D-modules and Cohomology of Varieties |
|
|
281 | (44) |
|
|
|
|
|
|
282 | (3) |
|
The Weyl Algebra and Grobner Bases |
|
|
285 | (7) |
|
Bernstein-Sato Polynomials and Localization |
|
|
292 | (12) |
|
Local Cohomology Computations |
|
|
304 | (9) |
|
Implementation, Examples, Questions |
|
|
313 | (12) |
|
|
321 | (4) |
Index |
|
325 | |