PolynomialRing(PolynomialRing(ZZ, "x", sparse=False), "a", sparse=False))
Dokchitser_AlgebraicNumber_Root = AlgebraicNumberString_Root
class Dokchitser_AlgorithmLabel(LabelString):
pass
#### Not precise ####
class Custom_GroupLabel(LabelString):
pass
Dokchitser_Character = FiniteSequence(Anything)
#### Not precise ####
class IndexAt1(Int):
pass
LenPair = Dict({"len": Int, "val": TooLargeInt})
Dokchitser_ArtinRepresentation = Dict({
"_id": Anything,
"Dim": Int,
"Indicator": Int,
"Conductor": TooLargeInt,
"HardFactors": FiniteSequence(IndexAt1),
class CycleType(FiniteSequence(Int)):
pass
Dokchitser_AlgebraicNumber_MinPol = PolynomialAsString(
PolynomialRing(PolynomialRing(ZZ, "x", sparse=False), "a", sparse=False))
class Dokchitser_AlgorithmLabel(LabelString):
pass
#### Not precise ####
class Custom_GroupLabel(LabelString):
pass
Dokchitser_Character = FiniteSequence(Anything)
#### Not precise ####
class IndexAt1(Int):
pass
LenPair = Dict({"len": Int, "val": TooLargeInt})
Galois_Conjugate = Dict({
"LocalFactors": FiniteSequence(Anything),
"Character": Anything,
"Sign": Int,
"HardFactors": FiniteSequence(IndexAt1),
"GalOrbIndex": Int