Given a GKM variety $X$ this function computes the KClass of the structure sheaf $O_X$. In terms of the localization map, $O_X$ corresponds to the constant function $1$.
i1 : X = projectiveSpace 3; |
i2 : C = trivialKClass X; |
i3 : peek C
o3 = KClass{KPolynomials => HashTable{set {0} => 1} }
set {1} => 1
set {2} => 1
set {3} => 1
variety => a GKM variety with an action of a 4-dimensional torus
|
The object trivialKClass is a method function.