Hallo,
there seems to be improvement potential in the interpreter output )display,
look at:
(209) -> )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
This is confusing, as there is the undefined symbol D2, actually D2 must be an
element of NNI
In both signature, D1 conditions could simplify to
"and D1 has RING" has RING has TYPE anyway.
o.k. this is probably more efford.
Mit freundlichen Grüßen
Johannes Grabmeier
Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-991-2979584, Tel. +49-(0)-171-5503789
Tel. +49-(0)-991-3615-100 (d), Fax: +49-(0)-1803-5518-17745
Mit freundlichen Grüßen
Johannes Grabmeier
Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-991-2979584, Tel. +49-(0)-171-5503789
Tel. +49-(0)-991-3615-100 (d), Fax: +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.
