Vec16 | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
Vec2 | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
Vec32 | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
Vec4 | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
Vec64 | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
Vec8 | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
VecCount | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
VecElem | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
VecRep | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
Void# | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
void# | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |