projects / ajpastor / diff_defined_functions.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c261ae) | patch
Added the method random_element to the class DDRing
authorAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Tue, 19 Jun 2018 09:24:34 +0000 (11:24 +0200)
committerAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Tue, 19 Jun 2018 09:24:34 +0000 (11:24 +0200)
commitac3682813da3e9400fd19d5e13d2d6ca2e7d557b
tree2380e633424b57a9f2a41a0b4872c58b06ba5474tree | snapshot
parent2c261aec964f0ee89f1989bec03458ef474a5406commit | diff
Added the method random_element to the class DDRing
ajpastor/dd_functions/ddFunction.py diff | blob | history