Math.RootLoci.Motivic.Homology

Motivic classes in homology

Documentation

interpretSingleLam :: (Dim -> KRing Integer) -> SingleLam -> KRing Integer

csmPn :: Dim -> KRing Integer

csm_xlam_P1 :: Partition -> KRing Integer

CSM class in homology

csm_xlam_P1_cohom :: Partition -> ZMod G

CSM class in cohomology (via Poincare duality)

test_motivic_csm_vs_aluffi :: Int -> Bool

Compares Aluffi's CSM formula to the motivic algorithm (up to partitions of size n)

type KRing c

Arguments

 = Univariate c "u"

lim_n H_*(Sym^n(P1))

type GRing c

Arguments

 = Poly c "u"

lim_{n1,n2,...} H_*(Sym^n1(P1) x Sym^n2(P1) x ... )

embedInf :: KRing c -> GRing c

project1 :: GRing c -> KRing c

delta2 :: Ring c => KRing c -> GRing c

deltaN :: Ring c => Int -> KRing c -> GRing c

psi2 :: Ring c => GRing c -> KRing c

psiNaive :: Ring c => Int -> GRing c -> KRing c

psiAny :: Ring c => GRing c -> KRing c

omegaNaive :: Ring c => Int -> KRing c -> KRing c

omegaH :: Ring c => Int -> KRing c -> KRing c

separate1st :: forall c n. Ring c => GRing c -> GRing (KRing c)

unify1st :: forall c n. Ring c => GRing (KRing c) -> GRing c

unify1st2nd :: forall c n. Ring c => GRing (GRing c) -> GRing c

crossKs :: Ring c => [KRing c] -> GRing c

kkToG2 :: Ring c => KRing (KRing c) -> GRing c

unifyKK :: Ring c => KRing (KRing c) -> KRing c

Orphan instances

Ring c => Omega (KRing c)

Methods

omega :: Int -> KRing c -> KRing c

Ring c => Psi (GRing c) (KRing c)

Methods

psi :: GRing c -> KRing c

SingleToMulti (KRing c) (GRing c)

Methods

singleToMulti :: KRing c -> GRing c