Martin Rubey <[email protected]> writes: | 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?
But, the mathematical notion of ring uses equality in a very essential way. If you remove equality, how do you ensure that ring axioms are verified? -- Gaby -- 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.
