projects / ajpastor / diff_defined_functions.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac36828) | patch
Revert "Added the method random_element to the class DDRing"
authorAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Tue, 19 Jun 2018 09:29:26 +0000 (11:29 +0200)
committerAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Tue, 19 Jun 2018 09:29:26 +0000 (11:29 +0200)
commit92cd18341ccff00a6d173783c6942590a3a4d9e8
treeff4a1672c108f2ebd1dd07facd18393c7c59b456tree | snapshot
parentac3682813da3e9400fd19d5e13d2d6ca2e7d557bcommit | diff
Revert "Added the method random_element to the class DDRing"

This reverts commit ac3682813da3e9400fd19d5e13d2d6ca2e7d557b.
ajpastor/dd_functions/ddFunction.py diff | blob | history