I strongly support Johannes' request. In particular, I think that the compilation should even fail if not all functions are implemented. It shouldn't be too hard for a programmer to write dummy functions if something is unimplemented like
foo(x: X): Y == error "foo is not implemented" but if something is missing and this is only visible if an enduser hits that missing function, is somewhat embarrassing. Ralf On 11/08/2015 02:06 PM, Prof. Dr. Johannes Grabmeier privat wrote: > Would it be very tedious to change the output of errors like this one > > (67) -> ive :: ECTD > Internal Error > The function retractIfCan with signature hashcode is missing from > domain ExtendedIndexedVector > (CyclicTwoDimensionalVelocity (Fraction (Integer)))(CyclicGroup4d)4 > > to AXIOM/FriCAS notation, in particular printing out the signature, e.g. > > > Internal Error > The function retractIfCan with signature > > retractIfCan : > IndexedVector(CyclicTwoDimensionalVelocity(Fraction(Integer)),CyclicGroup4d,4) > -> Union(%,"failed") > > is missing from domain > > > ExtendedIndexedVector(CyclicTwoDimensionalVelocity(Fraction(Integer)),CyclicGroup4d,4) > > > This would be great! > > What also would be helpful, if a partially implemented domain would > return on special request or/and at the end of the compilation a list of > all unimplemented functions and where they are coming from, also all > implemented functions and where they are implemented. > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
