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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
-- Copyright 1995 by Daniel R. Grayson
needs "expressions.m2"
needs "methods.m2"
ScriptedFunctor = new Type of MutableHashTable
ScriptedFunctor.synonym = "scripted functor"
globalAssignment ScriptedFunctor
precedence ScriptedFunctor := x -> 70
net ScriptedFunctor := lookup(net,Type)
toString ScriptedFunctor := lookup(toString,Type)
expression ScriptedFunctor := x -> new Holder from { x }
methodOptions ScriptedFunctor := H -> null
protect argument
protect subscript
protect superscript
ScriptedFunctor ^ Thing := (G,i) -> (
if G#?superscript
then G#superscript i
else error("no method for ", toString G, "^", toString i)
)
ScriptedFunctor _ Thing := (G,i) -> (
if G#?subscript
then G#subscript i
else error("no method for ", toString G, "_", toString i)
)
ScriptedFunctor Thing := (G,X) -> (
if G#?argument
then G#argument X
else error("no method for ", toString G, " ", toString X)
)
args := method()
args(Thing,Sequence) := (i,args) -> prepend(i,args)
args(Thing,Thing) := identity
args(Thing,Thing,Sequence) := (i,j,args) -> prepend(i,prepend(j,args))
args(Thing,Thing,Thing) := identity
id = new ScriptedFunctor from {
subscript => (
(x) -> (
r := lookup(id,class x);
if r =!= null then r x
else error ("no method 'id_' found for item of class ", toString class x)))
}
HH = new ScriptedFunctor from {
subscript => (
i -> new ScriptedFunctor from {
superscript => (
j -> new ScriptedFunctor from {
argument => (
X -> cohomology args(i,j,X)
)
}
),
argument => (
X -> homology args(i,X)
)
}
),
superscript => (
j -> new ScriptedFunctor from {
subscript => (
i -> new ScriptedFunctor from {
argument => (
X -> homology args(j,i,X)
)
}
),
argument => (
X -> cohomology args(j,X)
)
}
),
argument => (
args -> homology(args)
)
}
homology(ZZ,Sequence) := opts -> (i,X) -> homology prepend(i,X)
cohomology(ZZ,Sequence) := opts -> (i,X) -> cohomology(prepend(i,X), opts)
-- Local Variables:
-- compile-command: "make -C $M2BUILDDIR/Macaulay2/m2 "
-- End:
|
