Module extension

Module extension 

Source
Expand description

Contains the algorithm for solving linear systems over free ring extensions.

Functionsยง

solve_right_over_extensionunstable-enable
Availability