On Thursday 19 Jan 2012 17:16:05 Ralf Hemmecke wrote:
> > I was thinking of switching to doubleFloat as floating point weights
> > seem more common in the literature?
>
> Why restrict to floating points? Make the type of the weight a domain
> parameter.
>
> Ralf

Ah yes .... it would have to be a category that supports '+' and
'<' ... which is why Waldek suggested OrderedAbelianMonoid!

I'm with you both now, thanks for pointing that out, I would have
missed it otherwise.

Martin

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.

Reply via email to