Ahh, I *was* doing something stupid! Thank you Bill, it seems so
obvious now you've pointed it out.
Thanks,
Paul
On 11 Aug 2015, at 22:06, Bill Page wrote:
The problem is that the return type of 'coefficient' when called with
'Symbol' is of type 'Polynomial Fraction Integer'.
Try it this
The problem is that the return type of 'coefficient' when called with
'Symbol' is of type 'Polynomial Fraction Integer'.
Try it this way:
-- test2.input -
R ==> Fraction Integer
listCoeffs: Polynomial(R) -> List(R)
listCoeffs p ==
v : Symbol := variables(p).1
Hi All,
Does anybody understand why the following fails?
-- test2.spad --
)abbrev package TEST2 Test2
Test2 : Exports == Implementation where
R ==> Fraction Integer
Exports == with
listCoeffs: Polynomial(R) -> List(R)
Implementation == add
listCoe
