Exemplo n.º 1
0
    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),
Exemplo n.º 2
0
class CycleType(FiniteSequence(Int)):
    pass
Exemplo n.º 3
0
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