mohamed-barakat/CombinatoricsForHomalg — pull request #10 by sebastianpos (2014-02-26 10:21:44+00:00)
Title: One, Multiplication with rational elements

- fixed bug in One( IsElementOfGradedRelativeRingRep )
- added mulitplication( IsRat, IsElementOfGradedRelativeRingRep )