Module divisibility 

Contains the trait divisibility::DivisibilityRing for rings that provide information about divisibility of their elements.

Modules

generic_testsgeneric_tests

Structs

PreparedDivisor

Struct for ring elements that are stored with associated data to enable faster divisions.

Traits

DivisibilityRing

Trait for rings that support checking divisibility, i.e. whether for x, y there is k such that x = ky.

DivisibilityRingStore

Trait for RingStores that store DivisibilityRings. Mainly used to provide a convenient interface to the DivisibilityRing-functions.

Domain

Trait for rings that are integral, i.e. have no zero divisors.