Struct GaloisRepresentation 

pub struct GaloisRepresentation {
    pub galois_group: String,
    pub dimension: usize,
    pub coefficient_ring: String,
    pub is_irreducible: bool,
    pub is_geometric: bool,
}

A continuous Galois representation ρ: G_K → GL_n(R).

Fields

galois_group: String

The Galois group G_K (described by the field K).

dimension: usize

The dimension n.

coefficient_ring: String

The coefficient ring R (e.g., “Z_ell”, “Q_ell”, “C”).

is_irreducible: bool

Whether the representation is irreducible.

is_geometric: bool

Whether the representation is geometric (de Rham, Hodge-Tate).

Implementations

impl GaloisRepresentation

pub fn new( gal_group: impl Into<String>, dim: usize, ring: impl Into<String>, ) -> Self

Create a Galois representation.

pub fn cyclotomic(ell: u64) -> Self

The ℓ-adic cyclotomic character χ_ℓ: G_ℚ → ℤ_ℓ^×.

pub fn from_elliptic_curve(curve: &str, ell: u64) -> Self

The ℓ-adic Tate module representation of an elliptic curve E.

pub fn irreducible(self) -> Self

Mark as irreducible.

Trait Implementations

impl Clone for GaloisRepresentation

fn clone(&self) -> GaloisRepresentation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for GaloisRepresentation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.