2009-05-29 huffman define dist for products
2009-05-29 huffman move dist operation to new metric_space class
2009-05-28 huffman remove hard tabs, fix indentation
2009-05-28 huffman use class field_char_0
2009-05-28 huffman merged
2009-05-28 huffman generalize dist function to class real_normed_vector
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip