Module ideal 

Modules

rotation

Structs

IdealCheckError

ImpossibleIdeal

A dummy ideal. Convenient when ideal checks have to be ignored.

Traits

Ideal

A trait for types describing ideals.

IdealCheck

A trait for ideals that implement membership check for an algebraic structure T.

Type Aliases

DegreeOneIdeal

A type alias for RotationIdeal with W = 1, i.e. ideals of the form (X - a).