Fergus Henderson ([EMAIL PROTECTED]) wrote:
[snip]
: > * `zero x' fits the aim of implicit dynamic domains.
:
: This one is much more interesting.
I am not sure if I understand this but I also used
zero :: a -> a
to create polynopmials as opposed to a function
zero :: a
The application
zero p
created a zero polynomial with certain ``built-in''
properties like a term-order it inherited from p.
Regards,
Marc van Dongen
--
Marc van Dongen, CS Dept | phone: +353 21 4903578
University College Cork, NUIC | Fax: +353 21 4903113
College Road, Cork, Ireland | Email: [EMAIL PROTECTED]