S.D.Mechveliani ([EMAIL PROTECTED]) wrote:
: I wrote to list, and you reply privately.
Ooops. I thought I group replied. I'll forward to
the list.
: I think that it is good for the list to know that someone else
: appreciates the need of dynamic parameters in domain ...
Which is why I decided to add something to the discussion.
: But I an dumb at your > or constant :: a -> c ->
:
: For example, zero (2,3) = (0,0) gives zero for Int x Int.
: And how to use `constant' ?
Say you have a constant c in some ring k and you want to
lift it (I think that's the proper term) to the polynomial
ring k[X] then you can if you have a polynomial, say p, in
k[X] already. Just use: constant p c.
Regards,
Marc
--
Marc van Dongen, CS Dept | phone: +353 21 4903578
University College Cork, NUIC | Fax: +353 21 4903113
College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
