2009-05-29 | huffman | define dist for products | changeset | files |
2009-05-29 | huffman | move dist operation to new metric_space class | changeset | files |
2009-05-28 | huffman | remove hard tabs, fix indentation | changeset | files |
2009-05-28 | huffman | use class field_char_0 | changeset | files |
2009-05-28 | huffman | merged | changeset | files |
2009-05-28 | huffman | generalize dist function to class real_normed_vector | changeset | files |
Loading... |