Well, sign for AlgebraicNumber is less defined than for complex
numbers:
Mark,
In fact, the only reason why you need AlgebraicNumber is probably
because of the use of the length function to get the length of the
vector and that the length function is only implemented if the R in
Vector(R) has RadicalCategory.
I don't, however, see any reason to use Float anywhere in your code. You
basically use it only for implementing the sign function.
Better would perhaps be to require that R already exports a function
sign; % -> Integer
that would also remove the headache made by Waldek above. Or better
said, it moves it from your package to the respective field you are
working in. If the field has no idea what a sign is, then it's anyway
hard to introduce one in your package.
BTW, is there any reason that you require just R: Ring and not
immediately R: Field in the argument type of TestPackage? Or even
Join(Field,OrderedRing)?
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.
