changed definition of square-free-factorization: now [(p1,e1),...,(pn,en)] encodes p1^e1 * ... * pn^en
(it was p1^Suc e1 * ... * pn^Suc en before)
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFPf1f16c6ba99c: added "showl", a class similar to "show", but using String.literal instead…
- Branches
- Unknown
- Tags