projects / ajpastor / diff_defined_functions.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92cd183) | patch
Added the method random_element to the class ddRing
authorAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Tue, 19 Jun 2018 09:36:31 +0000 (11:36 +0200)
committerAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Tue, 19 Jun 2018 09:36:31 +0000 (11:36 +0200)
commita793098e268aab551f6ebb56919b75f8f96ba5a8
tree12844b724f999f7401029c0cab973089fab93880tree | snapshot
parent92cd18341ccff00a6d173783c6942590a3a4d9e8commit | diff
Added the method random_element to the class ddRing
ajpastor/dd_functions/ddFunction.py diff | blob | history
releases/diff_defined_functions__0.5.zip diff | blob | history
releases/old/diff_defined_functions__0.5__18.06.19_11:36:31.zip [new file with mode: 0644] blob