Ralf Hemmecke <[email protected]> writes: >> Float is different because nobody really expect exact answers from >> Float, and also because errors accumulate in complex way. > > I still wouldn't want Float to belong to Group. If some domains claim to > fulfill the axioms the Group imposes, then they actually should. No > exception. > >> For TaylorSeries some results are exact, and it is easier to control >> approximation error. > > It's still not a Ring.
Hm, but when removing "=", it is a ring, no? (same for expression, where there is however a problem with division, of course.) 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.
