* given prime? uses a statistical method, the definition is also not
met and should possibly be stated as:
++ prime?(x) tests if x can not be written as the product of two
++ non-units of the ring (with very small probability)
This is similar to '+' and '*' in Float: both give approximate
result but we still claim that Float is a Field, and do not put
disclaimer in AbelianGroup (and SemiGroup)...
I wouldn't say this is similar. For prime?$Integer there is a
deterministic correct algorithm. It's only that for efficiency reasons
FriCAS (and most other systems) rather implement a probabilistic test.
Addition in Float is not associative, so Float cannot be a Semigroup.
In the future I'll push stronger for removing the Field property from
Float. (Think about computing a Gröbnerbasis with polynomials over
Float. On identical input, one can end up with completely different
results just by using different critical pair selection strategies in
Buchbergers algorithm.)
Ralf
--
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.
