I agree that this should carefully be redesigned. Don't forget the scalarproduct in this context, which is called "dot" in AXIOM.
(1) -> )d op dot There are 2 exposed functions called dot : [1] (D,D) -> D1 from D if D has DIRPCAT(D2,D1) and D1 has TYPE and D1 has RING [2] (D,D) -> D1 from D if D has VECTCAT(D1) and D1 has TYPE and D1 has RING Am Dienstag, 18. November 2008 14:23 schrieb Martin Rubey: > 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 > > > -- Mit freundlichen Grüßen Johannes Grabmeier Prof. Dr. Johannes Grabmeier Köckstr. 1, D-94469-Deggendorf Tel.-pv. +49-(0)-991-2979-584, Tel.-mob. 0171-550-3789 Tel.-d +49-(0)-991-3615-141, Sekr. -154 Fax-p: +49-(0)-1803-5518-17745 --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
