actually I would like to have a notation like (8) -> u : Vector Integer := [2,3,4]
(8) [2,3,4] Type: Vector(Integer) (9) -> v : Vector Integer := [2,-1,3] (9) [2,- 1,3] Type: Vector(Integer) (10) -> <u,v> // instead of dot(u,v) (10) 13 Type: PositiveInteger Am Dienstag, 18. November 2008 15:14 schrieb Johannes Grabmeier: > 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 -~----------~----~----~----~------~----~------~--~---
