1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
document {
Key => "rings",
"Macaulay2 differs from other computer algebra systems such as
Maple and Mathematica, in that before making a polynomial,
you must create a ring to contain it, deciding first
the complete list of indeterminates and the type of coefficients
permitted. Recall that a ring is a set with addition and multiplication operations
satisfying familiar axioms, such as the distributive rule.
Examples include the ring of integers (", TO "ZZ", "), the
ring of rational numbers (", TO "QQ", "), and the most
important rings in Macaulay2, polynomial rings.",
PARA{},
"The sections below describe the types of rings available and how to use them.",
Subnodes => {
"Rings",
TO "basic rings of numbers",
TO "integers modulo a prime",
TO "finite fields",
TO "polynomial rings",
TO "monoid",
TO "monomial orderings",
TO "graded and multigraded polynomial rings",
TO "quotient rings",
TO "manipulating polynomials",
TO "factoring polynomials",
"Fields",
TO "fraction fields",
TO "finite field extensions",
"Other algebras",
TO "exterior algebras",
TO "symmetric algebras",
TO "tensor products of rings",
TO "Weyl algebras",
-- TO "Schur rings",
TO "associative algebras",
},
PARA{},
"For additional common operations and a comprehensive list of all routines
in Macaulay2 which return or use rings, see ", TO "Ring", "."
}
document { -- this node is used as an example in the node: Key
Key => "chain complexes",
"For additional common operations and a comprehensive list of all routines
in Macaulay2 which return or use chain complexes or maps between chain complexes, see ",
TO "ChainComplex", " and ", TO "ChainComplexMap", ".",
Subnodes => {
TO "free resolutions of modules",
TO "extracting information from chain complexes",
TO "making chain complexes by hand",
TO "manipulating chain complexes",
TO "maps between chain complexes",
},
}
document {
Key => "varieties",
HEADER2 "An overview",
Subnodes => {
-- Mike wanted this: TO "algebraic varieties",
TO "coherent sheaves",
TO "Variety"
},
}
-- Local Variables:
-- compile-command: "make -C $M2BUILDDIR/Macaulay2/m2 "
-- End:
|
