Changes between Version 31 and Version 32 of Ticket #10193


Ignore:
Timestamp:
06/02/13 07:31:03 (7 years ago)
Author:
vdelecroix
Comment:

Hi Travis,

I've folded your review patch in and made changes to that (very) poorly written sentence I wrote.

Perfect! I am not sure it was yours (and your english is for sure better than mine). I remember the first time I learn how to do a parent and a category: I found useful when they were specifications and pointers ! Best Vincent

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10193

    • Property Status changed from needs_review to positive_review
  • Ticket #10193 – Description

    v31 v32  
    1 The patch creates the category {{{SetsWithGrading}} and also puts WeightedIntegerVectors() into this category. There is also an example (non negative integers, graded by themselves).
     1The patch creates the category `SetsWithGrading` (with an example: non negative integers, graded by themselves) and puts `WeightedIntegerVectors` into this category.
    22
    33See also: #10194