next | previous | forward | backward | up | top | index | toc | Macaulay2 website

TateOnProducts :: tateData

tateData -- reads TateData from the cache of an appropriate ring

Synopsis

Usage:

T = tateData S
Inputs:
- S, a ring, such as produced by productOfProjectiveSpaces
Outputs:
- T, a hash table

Description

The function productOfProjectiveSpaces creates two rings and store various data in their cache table, which tateData reads.

i1 : (S,E) = productOfProjectiveSpaces{1,2}

o1 = (S, E)

o1 : Sequence

i2 : T = tateData S

o2 = MutableHashTable{...3...}

o2 : MutableHashTable

i3 : peek T

o3 = MutableHashTable{BeilinsonBundles => MutableHashTable{}}
                      CohomRing => ZZ[h, k]
                      Rings => (S, E)

i4 : T === S.TateData

o4 = true

i5 : peek E.TateData

o5 = MutableHashTable{BeilinsonBundles => MutableHashTable{}}
                      CohomRing => ZZ[h, k]
                      Rings => (S, E)

i6 : T === E.TateData

o6 = true

See also

productOfProjectiveSpaces -- Cox ring of a product of projective spaces and it Koszul dual exterior algebra

Ways to use `tateData` :

"tateData(Ring)"

For the programmer

The object tateData is a method function.