On 23/03/14 15:54, Amr Sabry wrote:
> Oh I am developing and testing using 2.3.3. --Amr
>
You can make your module work on 2.3.2.1 simply by changing line 172 to
(p₁ ℚ/ p₂) {p} = p₁ ℚ* (ℚR p₂ {p})
and line 24 to
normalize {m} {n} {0} {_} {()} _
I'm somewhat surprised 2.3.3 doesn't complain about line 24, I should
probably upgrade.
--
Mateusz K.