Home
Graph Query
Download
About
Search
Login
Division with remainder for modules Rt (Algorithm ): compute a normal form modulo a list of module generators
Propose a change of the label:
Original label: Division with remainder for modules Rt (Algorithm ): compute a normal form modulo a list of module generators
New label:
Class:
Algorithm