currently, we have three operations that compute a norm, lenght, absolute
value:
abs:
[1] D -> D from D
if D has COMPCAT(D1) and D1 has COMRING and D1 has RNS
[5] D -> D from D if D has RNS
length:
[3] D -> D1 from D
if D has VECTCAT(D1) and D1 has TYPE and D1 has RADCAT and
D1 has RING
norm:
[5] D -> D1 from D if D has COMPCAT(D1) and D1 has COMRING
I find especially the name length for vectors unintuitive, and suggest to
rename it to norm. Furthermore, I think that Complex should export
DirectProductCategory, shouldn't it?
Finally, I think that VSPACE should have a descendent NormedVectorSpace that
exports norm, and VECTCAT should possibly be a NormedVectorSpace. That's a
tricky question however, which has to be seen in conjunction with
MatrixCategory and RectangularMatrixCategory.
Designers, step forward please.
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
-~----------~----~----~----~------~----~------~--~---
